jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Minor fix to Merlin improvements.

Browse source
This commit is contained in:
Timothy Bourke 2017-01-21 17:56:13 +01:00 committed by Gwenaël Delaval
parent f8afddd0d9
commit 66da5f4b5c
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
compiler/.merlin
View file

@ -16,6 +16,10 @@ B _build/obc/c
B _build/obc/java
B _build/obc/main
B _build/obc/transformations
B _build/utilities
B _build/utilities/ctrln
B _build/utilities/global
B _build/utilities/minils
S global
S heptagon
S heptagon/analysis