| Branch: | Revision:

cool / src / lib / @ bc0691dc

History | View | Annotate | Download (5.16 KB)

# Date Author Comment
3cd07e5d 05/03/2017 03:26 PM Hans-Peter Deifel

Replace String.split_on_char with custom implementation

String.split_on_char was introduced in OCaml 4.04, but we want to
support 4.02.

4c23563e 04/06/2017 05:57 PM Hans-Peter Deifel

Generalize command line argument parsing

Adds a new module CoolUtils.Args that implements a generic command
line argument parser. This makes it easier to add new options to the
main program.

aa4d3606 04/06/2017 05:57 PM Hans-Peter Deifel

Add CoolUtils.TList.combinations function

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

Add vim modeline to all OCaml files

c2cc0c2e 02/05/2015 04:00 AM Thorsten Wißmann

Add basic debugging repl

c4abe601 05/04/2014 05:38 PM Thorsten Wißmann

Improve error messages and role parsing

ff936590 04/23/2014 10:08 PM Thorsten Wißmann

Parse OWL prefixes

7f2800d0 04/23/2014 12:37 PM Thorsten Wißmann

Add OWL frontend

7c4d2eb4 04/23/2014 11:21 AM Thorsten Wißmann

Separate cool into library and coalg frontend