Project

General

Profile

Activity

From 01/01/2014 to 01/30/2014

01/30/2014

11:16 PM Revision bb7f1f31 (cool): generates tboxes
Daniel Gorin
05:05 PM Revision 06bd2098 (cool): Fix genericGML
Thorsten Wißmann
04:50 PM Revision d7274f6c (cool): Merge from daniel
Thorsten Wißmann
04:47 PM Revision f4f9a650 (cool): BUGFIX: GML formulas were wrong
Daniel Gorin
04:46 PM Revision b09ef622 (cool): Add genericGML
Thorsten Wißmann
04:32 PM Revision 03c3af48 (cool): Merge branch changes from daniel
Thorsten Wißmann
04:30 PM Revision 2be59dcf (cool): BUGFIX: CL formulas were being generated with an extra agent
Daniel Gorin
04:26 PM Revision 605a10cd (cool): Reduce set of agents to 5
It simplifies many things Thorsten Wißmann
04:19 PM Revision 9a1f1a68 (cool): Fixup GML-GMLMIP conversion
Variable numbers should not be 0, so shift them by 1 on conversion, then
shift them back.
Thorsten Wißmann
03:41 PM Revision f828ad2f (cool): Close the subformula closure by negation
Thorsten Wißmann
03:25 PM Revision 8e79646a (cool): Add genericCL
Thorsten Wißmann
02:21 PM Revision 75263302 (cool): don't generate agent 0 on cl formulas
Thorsten Wißmann
02:04 PM Revision 87926e98 (cool): Compute NNF of morethan correctly
Thorsten Wißmann
12:38 PM Revision 247d1da0 (cool): Update glpk version depenency 4.35
Thorsten Wißmann
12:33 PM Revision 9c2018ff (cool): Add genericK
Thorsten Wißmann
12:10 PM Revision 123bbbec (cool): can now have top-level conjunctions and disjunctions
Daniel Gorin
02:54 AM Revision 156d3986 (cool): Update install-remote.sh
Thorsten Wißmann
02:18 AM Revision a0cce6f5 (cool): Add randcool utility
Thorsten Wißmann

01/29/2014

08:42 PM Revision ad3ec9e9 (cool): Iterate correctly over ocaml list
This means that you have to set the pointer one step further at the end
of each loop iteration.
Thorsten Wißmann
08:31 PM Revision 36c51d79 (cool): Gather possible GML rules with a new method
Thorsten Wißmann
07:53 PM Revision 4706decb (cool): Make CoAlgLogics with GML rules compile
Thorsten Wißmann
07:12 PM Revision 7b0020d2 (cool): Reset setofconclusions again
Thorsten Wißmann
05:57 PM Revision 79c5fa44 (cool): Translate GMLMIP formulas back
Thorsten Wißmann
05:37 PM Revision 639f6985 (cool): Resolve bdd variable numbers
Thorsten Wißmann
05:00 PM Revision aaf9d965 (cool): Make things cleaner
Thorsten Wißmann
04:22 PM Revision 74749114 (cool): Improve onestep-example output
Thorsten Wißmann
04:17 PM Revision 7c405625 (cool): Hack GML-onstep rule into GMLMIP
Thorsten Wißmann
03:09 PM Revision 32795582 (cool): Reset GMLMIP sourcecode
Thorsten Wißmann
02:32 PM Revision ad63163e (cool): Improve K formula generator
Thorsten Wißmann
07:16 AM Revision b59059c4 (cool): Many statistics optimizations
Thorsten Wißmann
05:25 AM Revision d35bfedf (cool): Add tatl-compatibility-wrapper.sh script
Thorsten Wißmann
05:25 AM Revision f725ccae (cool): Many new benchmarking features
Thorsten Wißmann
03:42 AM Revision aa4c9413 (cool): Add install-remote.sh helper script
Thorsten Wißmann
03:27 AM Revision 15e273f9 (cool): Improve and fixup cool2tatl.sh
Thorsten Wißmann
02:39 AM Revision 1ec1a764 (cool): Implement nnf printing
Thorsten Wißmann
02:12 AM Revision 79c4b11b (cool): Add cool2tatl.sh utility script
Thorsten Wißmann

01/28/2014

12:40 AM Revision c16fd631 (cool): Many benchmark bugfixes and optimizations
Thorsten Wißmann
12:39 AM Revision 6ff93163 (cool): Add some example benchmarks
Thorsten Wißmann
12:07 AM Revision fbdaf510 (cool): Make seed configurable
Thorsten Wißmann
11:56 PM Revision a9356d5a (cool): Undo static linking
It only makes problems.... Thorsten Wißmann
11:51 PM Revision 3068712a (cool): Add coalgcompare subroutine genCL
Thorsten Wißmann
11:41 PM Revision 7993e0bf (cool): Add basic CL-formula generation method
Thorsten Wißmann
11:40 PM Revision 82cbf879 (cool): Disable debug compile flag -g everywhere
Thorsten Wißmann
11:38 PM Revision f467aedf (cool): Enable static linking
Thorsten Wißmann
11:14 PM Revision 9e6f9c0a (cool): Ensure check_satisfiability is called in onestep()
Avoid that the actuall reasoner call is removed together with the
assert() on the use of heavy compiler optimization ...
Thorsten Wißmann
10:45 PM Revision 76df93ff (cool): Rename utils subdir to cool2tatl
Thorsten Wißmann
10:05 PM Revision b270676a (cool): Add cool2tatl.hs utility
Thorsten Wißmann
07:53 PM Revision 9b58f1e4 (cool): First working K testbenches
Thorsten Wißmann
07:36 PM Revision de854a5a (cool): Do automated K testing
Thorsten Wißmann
06:23 PM Revision 60671427 (cool): Link gmlmip.o again
Thorsten Wißmann
05:23 PM Revision 93d587d0 (cool): Add gmlmip files
Thorsten Wißmann
04:29 PM Revision fb3f56bf (cool): Better help message
Thorsten Wißmann
04:28 PM Revision 46d4b2bf (cool): Add prov task
Thorsten Wißmann
04:16 PM Revision cae4b8d1 (cool): Normalize agent list
Thorsten Wißmann
04:07 PM Revision e2dc68f7 (cool): Enforce agents to be of the list --agents
Thorsten Wißmann
03:45 PM Revision 845adfba (cool): Make agent list configurable via --agents
Thorsten Wißmann
03:09 PM Revision 2cef7a7c (cool): Make coalgcompare compile again
Thorsten Wißmann
02:03 PM Revision fd6d3318 (cool): Add lambdas for partial constructor application
Thorsten Wißmann
02:02 PM Revision 1e892e16 (cool): Temporarily disable gmlmip.ml
It's, because the repo lacks it. Thorsten Wißmann

01/27/2014

04:00 PM Revision 17ed0ef0 (cool): Coalgcompare changes
Thorsten Wißmann
02:27 PM Revision d511285a (cool): Add FaCT++ config for testing purposes
Thorsten Wißmann
02:05 PM Revision 9e70511b (cool): Deactivate old generate part
Thorsten Wißmann
02:00 PM Revision ba5b0017 (cool): Improve Makefile
Thorsten Wißmann
01:59 PM Revision 0280f3df (cool): Make onestep-example more flexible
Thorsten Wißmann

01/26/2014

08:52 PM Revision 32289e1a (cool): Add some basic GML framework in coalg
Thorsten Wißmann
08:51 PM Revision a8244198 (cool): Some GMLMIP improvements
Thorsten Wißmann
04:27 PM Revision bd573393 (cool): Glue GMLMIP tool into coalg
Thorsten Wißmann
03:59 PM Revision d4135ed7 (cool): Add onestep.h onestep.cpp
Thorsten Wißmann
02:47 PM Revision e9710fed (cool): Rename onestep.cpp -> onestep-example.cpp
Thorsten Wißmann
08:57 AM Revision c082e65c (cool): Add option to enforce entire exploration
With this option, the entire level of modality depth 1 is explored and
all satisfying assignments are listed.
Thorsten Wißmann
08:31 AM Revision cf1343c5 (cool): Limit satisfiability to one modality step
Thorsten Wißmann
07:29 AM Revision e0ac602c (cool): Remove recursive_satisfiability_check
Thorsten Wißmann
05:57 AM Revision 096d86b2 (cool): Implement basic rule utility
Thorsten Wißmann
03:06 AM Revision af276a36 (cool): Name GML modalities MoreThan and MaxExcept
This should simplify writing the actual rule for GML. Thorsten Wißmann
02:13 AM Revision b1b3ac53 (cool): makefile: make rules phony to enforce rebuild
Make some GMLMIP makefile rules as phony to enforce recompilation of
some dependency object files.
Thorsten Wißmann

01/25/2014

12:37 AM Revision be46aaab (cool): Build with debug flags -g
Remove this again before running tests. Thorsten Wißmann
12:37 AM Revision 45d7cebd (cool): Remove redundancy from makefiles
Thorsten Wißmann
02:42 PM Revision 29b2e3f3 (cool): Extend framework to GML
The actual for GML is still missing. Thorsten Wißmann
11:18 AM Revision a4a5213e (cool): Remove old clean.sh compile.sh
They are replaced by make and make clean in the GMLMIP directory. Thorsten Wißmann
11:14 AM Revision 1462c694 (cool): Mark IFormula destructor as virtual
This avoids compile warnings and ensures correct behaviour for future
IFormula subclasses implementing a destructor.
Thorsten Wißmann
11:13 AM Revision f791f9ff (cool): Add more dependencies to Makefile
Thorsten Wißmann
10:47 AM Revision ff424750 (cool): Add onestep test utility
Thorsten Wißmann
10:46 AM Revision aaa43ff5 (cool): Some whitespace and indentation fixups
Thorsten Wißmann
10:46 AM Revision 44176cb1 (cool): GMLMIP: Add .gitignore
Thorsten Wißmann
10:46 AM Revision 0b085fb9 (cool): GMLMIP: Makefile optimizations
Thorsten Wißmann

01/24/2014

12:22 AM Revision 07c53791 (cool): Fixup GMLMIP makefiles
Thorsten Wißmann
12:21 AM Revision 7a96ea0b (cool): Make GMLMIP compile
Thorsten Wißmann
12:03 AM Revision e034e268 (cool): Add GMLMIP-0.1 tool
Thorsten Wißmann

01/19/2014

03:37 PM Revision fb697230 (cool): Add TArray.to_string helper
Thorsten Wißmann
03:29 PM Revision a817ee25 (cool): Implement TArray.all correctly
Thorsten Wißmann

01/17/2014

07:17 PM Revision 0dfb55b5 (cool): Extend INSTALL by examples
Thorsten Wißmann
06:54 PM Revision 45d554b0 (cool): Add bsetMakeRealEmpty creating an entirely empty bset
It really is empty, while bsetMake creates a bset only containing True. Thorsten Wißmann
06:35 PM Revision 920df71c (cool): Allow CL als functor name for coalg
Thorsten Wißmann
06:34 PM Revision 98af95fb (cool): Initiallize arrayDestAg correctly
This avoids coalg from segfaulting. Thorsten Wißmann
01:57 PM Revision 56208143 (cool): Implement rule for CL
Thorsten Wißmann

01/16/2014

05:49 PM Revision 5e185dd3 (cool): More own helper functions
Thorsten Wißmann

01/15/2014

08:57 PM Revision e4cd869a (cool): A bit of cleaning code
Thorsten Wißmann
05:33 PM Revision a0cffef0 (cool): Implement maximal disjoint agent sets using cliques
Thorsten Wißmann
12:35 PM Revision 6fad6e7e (cool): Correctly link against ocamlgraph
Thorsten Wißmann
12:08 PM Revision 672e60fa (cool): Remove graphlib from repo
Thorsten Wißmann

01/14/2014

01:57 PM Revision 7369dd14 (cool): Add CoAlgLogicUtils for helper functions
Thorsten Wißmann
09:01 AM Revision 140c015b (cool): Link against ocaml graph library
Thorsten Wißmann

01/13/2014

01:41 PM Revision b7c3a47e (cool): More helper functions
Thorsten Wißmann
01:09 PM Revision 812ddc5d (cool): More helper functions
Thorsten Wißmann
11:10 AM Revision 2f2b7629 (cool): Rename hashConsing -> HashConsing
Thorsten Wißmann
09:05 AM Revision 45ac4ddb (cool): Rename miscSolver -> MiscSolver
Thorsten Wißmann
08:49 AM Revision 9793e062 (cool): Add subset and bsetlen helper functions
Thorsten Wißmann

01/12/2014

11:17 PM Revision 8d8f2640 (cool): Make haskell version of maxdisj work
Thorsten Wißmann

01/10/2014

02:45 PM Revision a08fbced (cool): Let it compile even if mkRule_CL is not ready
Thorsten Wißmann

01/09/2014

05:37 PM Revision 999ced14 (cool): Add first disjoint-list notes
Thorsten Wißmann
02:08 PM Revision d9fa5123 (cool): Add comments for CL rules
Thorsten Wißmann
01:07 PM Revision 4fd82fa1 (cool): Add parameter for functor
Thorsten Wißmann
12:47 PM Revision 9f1d62d6 (cool): Do not unnecessarily call make itself from make
This also makes the PARALLEL flag unnecessary. To do parallel build just
pass -j4 directly to make.
Thorsten Wißmann
12:35 PM Revision 7aa620ce (cool): Add pretty printer functionality
Thorsten Wißmann
11:01 AM Revision f1fa9ad5 (cool): Add syntax elements for CL
- Add ENFORCES/ALLOWS to formula type
- Add HCENFORCES/HCALLOWS to hcFormula_node type
- Add EnforcesF/AllowsF to...
Thorsten Wißmann
 

Also available in: Atom