Commit Graph

173 Commits

Author SHA1 Message Date
Eric Mertens
f9215e1b63 align 2023-12-04 17:08:08 -08:00
Eric Mertens
829c9aafce simplify 2023-12-04 16:29:48 -08:00
Eric Mertens
d66b3d3561 use a counter 2023-12-04 15:45:17 -08:00
Eric Mertens
410790fd73 2023_04 2023-12-04 15:06:48 -08:00
574b8c3ebc 2023-02 2023-12-02 20:15:21 -08:00
Eric Mertens
f12f1d6f67 spelling 2023-05-03 14:09:22 -07:00
Eric Mertens
fce18c81b3 boost for parsing 2022-11 2023-05-03 14:08:50 -07:00
Eric Mertens
f4e7713231 numeric separators 2023-05-03 10:56:52 -07:00
b4e2592c81 2016-01 2023-04-08 16:54:22 -07:00
c221dc9bf2 extract parser driver 2023-04-08 12:08:51 -07:00
Eric Mertens
a38a105e6f cleanups 2023-04-07 09:45:55 -07:00
Eric Mertens
930a02622d fiddle 2023-04-07 09:07:32 -07:00
a1bd117b56 z3 compat 2023-04-06 21:07:44 -07:00
Eric Mertens
509672bc9e try out z3 for 21 2023-04-06 20:58:54 -07:00
Eric Mertens
d137b29608 Catch more exceptions 2023-04-06 12:53:23 -07:00
df4c18e47b 21 working 2023-04-04 21:11:22 -07:00
Eric Mertens
c825b34d47 21 wip 2023-04-04 20:58:59 -07:00
Eric Mertens
00b5e86b4b fix thrown exception 2023-04-04 08:57:50 -07:00
aef729afe4 simpler 2023-04-04 08:57:00 -07:00
Eric Mertens
c95b0b2daa 15 part 1 2023-04-03 16:57:36 -07:00
f18d9043a9 15 wip 2023-04-03 08:09:47 -07:00
9b4c881903 extract generator code into library 2023-04-02 15:30:34 -07:00
Eric Mertens
4d884d7b1c mess with some coroutines 2023-04-02 14:42:46 -07:00
Eric Mertens
ffbb5c9fb2 capitalization mistake 2023-03-29 12:02:27 -07:00
Eric Mertens
62944c8f1c 14 2023-03-29 12:02:14 -07:00
Eric Mertens
a5fe5c007f comments 2023-03-29 09:50:48 -07:00
Eric Mertens
a6b6ea5ed0 extra test cases 2023-03-28 16:53:07 -07:00
Eric Mertens
d14908f954 unused import 2023-03-28 16:49:24 -07:00
Eric Mertens
2db5c84bf8 13: fancier boost index() 2023-03-28 16:49:04 -07:00
Eric Mertens
ff7439a922 qi parser for 13 2023-03-28 16:37:47 -07:00
Eric Mertens
d5cd72f4bc make 13 more efficient! (no more temporaries) 2023-03-27 15:59:12 -07:00
Eric Mertens
0ebaa66b24 Fuss with 12 2023-03-27 14:11:40 -07:00
Eric Mertens
de2117327e fiddle with 2022-12 2023-03-22 14:02:29 -07:00
Eric Mertens
de648bc578 2021-03 2023-02-02 08:50:03 -08:00
Eric Mertens
1dee5072ff typo 2023-02-02 07:57:37 -08:00
Eric Mertens
57004e1a79 16 2023-02-01 11:23:04 -08:00
Eric Mertens
586b3244a4 factor out getopt processing 2023-02-01 09:40:22 -08:00
d63e62f1a7 16 2023-01-31 21:29:04 -08:00
8004218a79 remove unique_ptr from main 2023-01-31 20:46:03 -08:00
Eric Mertens
c074e66157 more command line arguments 2023-01-31 10:17:01 -08:00
Eric Mertens
df195e65b5 Don't bother supporting a filename 2023-01-31 09:44:30 -08:00
Eric Mertens
2f7949b8da make output stream a Main parameter 2023-01-31 09:15:25 -08:00
Eric Mertens
c6264a2a1b Use a common main 2023-01-31 08:59:09 -08:00
542ccc7884 16 2023-01-30 21:07:23 -08:00
Eric Mertens
94f5cb3eb4 redundant comment 2023-01-30 12:34:04 -08:00
Eric Mertens
39c3d59370 documentation and tiny speedup 2023-01-30 12:25:39 -08:00
Eric Mertens
30709c7bd7 documentation 2023-01-29 16:47:44 -08:00
499fa902fd 2022-16 documentation 2023-01-29 12:16:47 -08:00
6dac2534ab 2022-16 2023-01-28 14:46:00 -08:00
Eric Mertens
b92a50d546 wip 2022-16 2023-01-28 08:39:08 -08:00