simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

in _tags, add more warnings and stronger inlining

Browse source
This commit is contained in:
Simon Cruanes 2014-11-03 15:19:42 +01:00
parent 45d120ac80
commit ccb521e41f
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
_tags
View file

@ -1,3 +1,10 @@
<smt/*.cmx>: for-pack(Msat) <smt/*.cmx>: for-pack(Msat)
<sat/*.cmx>: for-pack(Msat) <sat/*.cmx>: for-pack(Msat)
# enable stronger inlining everywhere
<common/**/*.cmx>: inline(15)
<sat/**/*.cmx>: inline(10)
<smt/**/*.cmx>: inline(10)
# more warnings
<**/*.ml>: warn_K, warn_Y, warn_X