Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / coalgcompare @ master

Name Size
coalgcompare.ml 17.8 KB

Latest revisions

# Date Author Comment
f24367c4 04/06/2017 05:57 PM Hans-Peter Deifel

Add command line flag for fragment

The user can now choose which fragment of the mu-calculus the reasoner
uses. More specialized fragments can have better performance
characteristics.

a57eb439 03/21/2017 09:12 PM Hans-Peter Deifel

Add vim modeline to all OCaml files

4bfb63a1 07/20/2014 11:05 AM Thorsten Wißmann

Remove unneeded variables

85f4551b 05/01/2014 05:27 PM Thorsten Wißmann

Print time durations as float

f82f09b7 05/01/2014 04:46 PM Thorsten Wißmann

Add coalgcompare frontend

View revisions

Also available in: Atom