Project

General

Profile

Revision:

Revisions

# Date Author Comment
bd573393 01/26/2014 04:27 PM Thorsten Wißmann

Glue GMLMIP tool into coalg

d4135ed7 01/26/2014 03:59 PM Thorsten Wißmann

Add onestep.h onestep.cpp

e9710fed 01/26/2014 02:47 PM Thorsten Wißmann

Rename onestep.cpp -> onestep-example.cpp

c082e65c 01/26/2014 08:57 AM Thorsten Wißmann

Add option to enforce entire exploration

With this option, the entire level of modality depth 1 is explored and
all satisfying assignments are listed.

cf1343c5 01/26/2014 08:31 AM Thorsten Wißmann

Limit satisfiability to one modality step

e0ac602c 01/26/2014 07:29 AM Thorsten Wißmann

Remove recursive_satisfiability_check

096d86b2 01/26/2014 05:57 AM Thorsten Wißmann

Implement basic rule utility

af276a36 01/26/2014 03:06 AM Thorsten Wißmann

Name GML modalities MoreThan and MaxExcept

This should simplify writing the actual rule for GML.

b1b3ac53 01/26/2014 02:13 AM Thorsten Wißmann

makefile: make rules phony to enforce rebuild

Make some GMLMIP makefile rules as phony to enforce recompilation of
some dependency object files.

be46aaab 01/26/2014 12:37 AM Thorsten Wißmann

Build with debug flags -g

Remove this again before running tests.

45d7cebd 01/26/2014 12:37 AM Thorsten Wißmann

Remove redundancy from makefiles

29b2e3f3 01/25/2014 02:42 PM Thorsten Wißmann

Extend framework to GML

The actual for GML is still missing.

a4a5213e 01/25/2014 11:18 AM Thorsten Wißmann

Remove old clean.sh compile.sh

They are replaced by make and make clean in the GMLMIP directory.

1462c694 01/25/2014 11:14 AM Thorsten Wißmann

Mark IFormula destructor as virtual

This avoids compile warnings and ensures correct behaviour for future
IFormula subclasses implementing a destructor.

f791f9ff 01/25/2014 11:13 AM Thorsten Wißmann

Add more dependencies to Makefile

ff424750 01/25/2014 10:47 AM Thorsten Wißmann

Add onestep test utility

44176cb1 01/25/2014 10:46 AM Thorsten Wißmann

GMLMIP: Add .gitignore

aaa43ff5 01/25/2014 10:46 AM Thorsten Wißmann

Some whitespace and indentation fixups

0b085fb9 01/25/2014 10:46 AM Thorsten Wißmann

GMLMIP: Makefile optimizations

07c53791 01/25/2014 12:22 AM Thorsten Wißmann

Fixup GMLMIP makefiles

7a96ea0b 01/25/2014 12:21 AM Thorsten Wißmann

Make GMLMIP compile

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

Add GMLMIP-0.1 tool

fb697230 01/19/2014 03:37 PM Thorsten Wißmann

Add TArray.to_string helper

a817ee25 01/19/2014 03:29 PM Thorsten Wißmann

Implement TArray.all correctly

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

Extend INSTALL by examples

(576-600/638) Per page: 25, 50, 100

Also available in: Atom