bin
|
prefix the debug logs
|
2023-12-13 17:16:38 -05:00 |
lib
|
fix Ir.Bop codegen bugs
|
2023-12-13 17:13:30 -05:00 |
.gitignore
|
spice lang parser and lexer
|
2023-11-23 23:11:30 -05:00 |
.ocp-indent
|
ocp-indent no maximum
|
2023-12-02 17:16:45 -05:00 |
dune-project
|
spice lang parser and lexer
|
2023-11-23 23:11:30 -05:00 |
format.sh
|
switch formatter to ocp-indent
|
2023-12-02 17:02:40 -05:00 |
spice.opam
|
regenerated spice.opam i guess
|
2023-12-02 13:49:36 -05:00 |