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