Georges Dupéron
|
02785aa754
|
Added failwith to camligo
|
2019-06-05 19:21:15 +02:00 |
|
Galfour
|
1fa727061b
|
add test hierarchy
|
2019-06-05 06:43:33 +00:00 |
|
Galfour
|
6febd855c4
|
fix ligodity; add it to the bin; add source locations; merge
|
2019-06-01 11:29:31 +00:00 |
|
Galfour
|
055bee804e
|
fix ligodity issues
|
2019-05-31 22:03:06 +00:00 |
|
Galfour
|
320d0c1a72
|
various refactorings to prepare tests; tests for ligodity don't pass
|
2019-05-31 19:56:51 +00:00 |
|
Galfour
|
5b42d72e41
|
propagate source code locations from ligodity
|
2019-05-28 16:34:53 +00:00 |
|
Galfour
|
c085dae123
|
remove annotations from ast_simplified; make annotation expression explicit; locally very limited propagation of constraints in binding cases
|
2019-05-23 06:22:58 +00:00 |
|
Galfour
|
9d873c382b
|
remove statements from everywhere (very atomic commit)
|
2019-05-22 00:46:59 +00:00 |
|
Galfour
|
2a091edbc0
|
transpile to mini_c expressions
|
2019-05-20 16:17:26 +00:00 |
|
Georges Dupéron
|
c43570a82d
|
Move into src/; add vendors/ subfolder, add CI script.
|
2019-05-14 17:53:44 +02:00 |
|