Commit Graph

4078 Commits

Author SHA1 Message Date
Denis Merigoux
785d2d2311 Better syntax highlighting 2020-03-10 16:47:50 +01:00
Denis Merigoux
fed849201e Added proper syntax highlighting + Utf8 support complete! 2020-03-09 19:14:06 +01:00
Denis Merigoux
b435e01d5b Added missing dependencies 2020-03-09 12:07:36 +01:00
Denis Merigoux
0dafd2c9f5 Bump dune version and autoformat! 2020-03-09 12:01:56 +01:00
Denis Merigoux
6c0097e12e Instructions 2020-03-08 06:54:35 +01:00
Denis Merigoux
c4ff3a18e9 Parsed entire thing 2020-03-08 06:49:29 +01:00
Denis Merigoux
f09fb793ef Blocked at multiple consequences definitions for rules 2020-03-08 06:36:47 +01:00
Denis Merigoux
6595ccbcf4 More parsing 2020-03-08 06:06:32 +01:00
Denis Merigoux
ddc44d27fd More parsing 2020-03-08 05:27:46 +01:00
Denis Merigoux
681b1f76ae More parsing again 2020-03-08 05:12:12 +01:00
Denis Merigoux
1475c98ea4 More parsing 2020-03-08 05:01:26 +01:00
Denis Merigoux
e901408620 Beginning to parse 2020-03-08 04:28:45 +01:00
Denis Merigoux
71e5d89fac Successfully weaved all text 2020-03-07 18:30:37 -08:00
Denis Merigoux
c6a9b0b8f9 Weaving to LaTeX 2020-03-07 18:20:04 -08:00
Denis Merigoux
56bc45db9d Improved architecture 2020-03-07 16:52:31 -08:00
Denis Merigoux
12cee7627b Parses multiple article headings 2020-03-07 15:31:47 -08:00
Denis Merigoux
833a4d4edf Replace old code by dual lexer prototype 2020-03-07 15:21:55 -08:00
Denis Merigoux
661fda93f3 Better syntax highlightingx 2020-03-07 11:15:32 -08:00
Denis Merigoux
97adf28303 Brouillon document pour juristes 2020-03-06 21:58:20 -08:00
Raphaël Monat
230cbada36 Moving to Format.printf (instead of Printf and all string conversions) 2019-12-22 12:52:31 +01:00
Denis Merigoux
0ccae5d73b Removed merlin files 2019-09-19 16:37:16 +02:00
Denis Merigoux
1bb6d7def5 More precision on installation 2019-09-04 11:02:49 +02:00
Denis Merigoux
095f0a8de1 Code reorg 2019-09-04 10:32:33 +02:00
Denis Merigoux
f4ce991d68 Dropping verif conditions raising only informative errors 2019-08-15 22:21:06 -07:00
Denis Merigoux
b585e34388 Added error for division by 0 2019-08-15 21:55:31 -07:00
Denis Merigoux
e75431cb02 Removed assertion bug but there appears to have a division by 0 bug... 2019-08-15 19:17:16 -07:00
Denis Merigoux
32b1f339fd Interpreter for verifisc but translation seems to be buggy 2019-08-15 19:16:13 -07:00
Denis Merigoux
82dcdbcfbc The backend name should be verifisc, since specifisc will be the name of the high-level language 2019-08-14 18:50:41 -07:00