search

zkincaid / duet

Duet: static analysis for unbounded concurrency
http://duet.cs.toronto.edu
MIT License
23 stars 16 forks source link

termination reasoning #13

Closed happypig95 closed 4 years ago

happypig95 commented 5 years ago

current .merlin does not work well for me (I'm using merlin+VS Code on mac) especially for the ppx libraries. I have used a script that invokes ocamlfind and automatically add the paths of all libraries into the the merlin file but the paths are local so it might be a good idea not to include that file here. In the near future there might be changes to the test suites and the regression tests as well.

zkincaid commented 5 years ago

You should also revise the regression tests as we discussed on Friday.