Project

General

Profile

Statistics
| Branch: | Revision:

cool / INSTALL @ master

History | View | Annotate | Download (2.15 KB)

# Date Author Comment
c9ed384b 03/22/2017 02:09 PM Hans-Peter Deifel

Merge branch 'remove-gmlmip'

48e6299b 03/22/2017 02:05 PM Hans-Peter Deifel

Remove GMLMIP from INSTALL file

It's not needed any more

2bda8737 03/21/2017 07:39 PM Hans-Peter Deifel

Add emacs mode lines to various files

f05f5d4c 09/17/2015 03:34 PM Christoph Egger

Ubuntu instructions work as well on debian

c148a597 09/15/2015 03:28 PM Christoph Egger

sparsehash debian package has been renamed to libsparsehash-dev

f60698a6 09/15/2015 03:27 PM Christoph Egger

Add minisat dependency to ubuntu list

c49eea11 01/22/2015 06:58 PM Thorsten Wißmann

Implement raw syntax for constant functors

69a71d22 01/22/2015 01:15 PM Thorsten Wißmann

Add more documentatoin about installing and hacking

57192479 07/17/2014 10:50 AM Thorsten Wißmann

Update dependencies in INSTALL file

233d5f2b 05/16/2014 09:17 PM Thorsten Wißmann

Mention the testsuite in the INSTALL file

cac42fce 05/01/2014 05:09 PM Thorsten Wißmann

Add build flat for static linking

2340c194 04/23/2014 11:24 AM Thorsten Wißmann

Update INSTALL to oasis build process

6fb39da4 03/31/2014 03:12 PM Thorsten Wißmann

Add wrapper Makefile in root directory

07c21167 03/31/2014 03:09 PM Thorsten Wißmann

Move sources of coalg to src subfolder

247d1da0 01/30/2014 12:38 PM Thorsten Wißmann

Update glpk version depenency 4.35

e034e268 01/25/2014 12:03 AM Thorsten Wißmann

Add GMLMIP-0.1 tool

0dfb55b5 01/17/2014 07:17 PM Thorsten Wißmann

Extend INSTALL by examples

6fad6e7e 01/15/2014 12:35 PM Thorsten Wißmann

Correctly link against ocamlgraph

f1fa9ad5 01/09/2014 11:01 AM Thorsten Wißmann

Add syntax elements for CL

- Add ENFORCES/ALLOWS to formula type
- Add HCENFORCES/HCALLOWS to hcFormula_node type
- Add EnforcesF/AllowsF to formulaType type
- Add CoalitonLogic to the list of functors ("sorts")
- Parse [{ }] and <{ }> terms
- Do hashing of those...
7625cc6d 10/03/2013 11:25 PM Thorsten Wißmann

Add basic INSTALL instructions