Project

General

Profile

Activity

From 06/17/2014 to 07/16/2014

07/16/2014

03:37 PM Revision 1c4f2133 (cool): Omit benchmarks in static tarball
Thorsten Wißmann
03:35 PM Revision a9243a88 (cool): Fixup coalg-example call
Thorsten Wißmann
03:35 PM Revision 9066f726 (cool): Add script for static tarball creation
Thorsten Wißmann
02:59 PM Revision b03cc745 (cool): Use generic functor parsing in coalg
Thorsten Wißmann
02:50 PM Revision db23edf7 (cool): Implement more generic functor parsing/printing
Thorsten Wißmann
02:28 PM Revision 68ba7342 (cool): Implement sortTable generation
Thorsten Wißmann
01:53 PM Revision 9a28ed81 (cool): Fix testcase for K*KD and add K+KD cases
Thorsten Wißmann
01:53 PM Revision 3879f710 (cool): Implement parsing of complex functors
Thorsten Wißmann
12:58 PM Revision 57224165 (cool): Reconfigure setup.ml on _oasis change
Thorsten Wißmann
12:08 PM Revision 672429b4 (cool): Make Or-step in And-Or-rules lazy
Thorsten Wißmann
12:08 PM Revision c41abd35 (cool): Add testcases for K×KD (i.e. for fusion)
Thorsten Wißmann
12:08 PM Revision 01bf25db (cool): Add many comments in CoAlgReasoner.ml
Thorsten Wißmann
12:08 PM Revision c68a1021 (cool): Add more comments to CoAlgReasoner.ml
Thorsten Wißmann
12:08 PM Revision b36e57bc (cool): Remove Disjunctive ruleEnumerations
Propagation of satisfiability and unsatisfiability does not cover
disjunctions and I don't get how propagation works,...
Thorsten Wißmann
12:08 PM Revision 69243f7f (cool): Generalize ruleEnumeration by introducing lazylist
Introduce a new generic data type lazylist, e.g. used for lazy rule
enumerations.
Thorsten Wißmann
12:08 PM Revision a9949a25 (cool): Use lazylists to remove redudancy
Thorsten Wißmann
12:08 PM Revision e8afbb67 (cool): Make insertRule more disjunctive-aware
Thorsten Wißmann
12:08 PM Revision 5043b258 (cool): Add more testcases for K
Thorsten Wißmann
12:08 PM Revision 269d93e5 (cool): Introduce junctions (Disjunction, Conjunction)
Thorsten Wißmann

07/15/2014

11:47 PM Revision acc47724 (cool): Make Or-step in And-Or-rules lazy
Thorsten Wißmann
11:30 PM Revision 6a87d644 (cool): Use lazylists to remove redudancy
Thorsten Wißmann
10:03 PM Revision a1e7b9b7 (cool): Generalize ruleEnumeration by introducing lazylist
Introduce a new generic data type lazylist, e.g. used for lazy rule
enumerations.
Thorsten Wißmann
09:41 PM Revision f5e17a6b (cool): Remove Disjunctive ruleEnumerations
Propagation of satisfiability and unsatisfiability does not cover
disjunctions and I don't get how propagation works,...
Thorsten Wißmann

07/14/2014

10:54 PM Revision a5642329 (cool): Add more comments to CoAlgReasoner.ml
Thorsten Wißmann
09:37 PM Revision 4eaab241 (cool): Add many comments in CoAlgReasoner.ml
Thorsten Wißmann

07/11/2014

07:06 PM Revision 76234774 (cool): Add more testcases for K
Thorsten Wißmann
03:01 AM Revision e5426cbb (cool): Make insertRule more disjunctive-aware
Thorsten Wißmann
03:01 AM Revision 5ebac877 (cool): Some partial progress, DONT MERGE TO MASTER
Thorsten Wißmann
03:01 AM Revision b856538d (cool): Make junctions compile
Thorsten Wißmann
03:01 AM Revision f71032c3 (cool): Add smallest DL98 testcases to testsuite
Thorsten Wißmann

07/10/2014

10:32 PM Revision 7fe1f7bb (cool): Add dummy Makefile
Thorsten Wißmann
 

Also available in: Atom