balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,530 Commits 2 Branches 0 Tags 65 MiB
8237947c4d
Commit Graph

5 Commits

Author SHA1 Message Date
Lesenechal Remi
fcb1c4ab77 add --contatenate option to cover.sh script 2020-01-09 22:19:40 +01:00
Christian Rinderknecht
6a1939553e Added --messages. 2020-01-07 22:26:47 +00:00
Christian Rinderknecht
ea4eb76013 I added support for unlexing to CameLIGO. Fixed cover.sh. 2019-12-26 13:23:32 +01:00
Christian Rinderknecht
072dea757c [WIP] Adding the infrastructure for supporting the incremental API of Menhir. 
* I added CLI option "--mono" to select the monolithic API of Menhir.
  * I added a field "win" to the state of the lexer (a two-token
    window for error reporting).
  * I escaped LIGO strings before making them OCaml strings (for
    example for printing).
 2019-12-20 16:44:03 +01:00
Christian Rinderknecht
00f2e253f3 Generating .msg files and extracting from them LIGO source files. 2019-12-18 21:21:39 +01:00