Project

General

Profile

Activity

From 04/17/2017 to 05/16/2017

05/16/2017

07:39 PM Revision e3cf4ca2 (cool): translation calculates fisher ladner closure correctly
Kristin Braun
02:03 PM Revision 267e3fcf (cool): .
Kristin Braun

05/11/2017

03:52 PM Revision 89613c41 (cool): tried to use Fischer-Ladner Closure but not working yet
Kristin Braun

05/04/2017

04:06 PM Revision 0f9140ab (cool): part 1 and 3 of translation
Kristin Braun

05/03/2017

03:47 PM Revision a91110f4 (cool): first part of translations is implemented
Kristin Braun
03:26 PM Revision 3cd07e5d (cool): Replace String.split_on_char with custom implementation
String.split_on_char was introduced in OCaml 4.04, but we want to
support 4.02.
Hans-Peter Deifel

04/21/2017

12:52 AM Revision 7776135e (cool): Move verifyFormula after simplification
Hans-Peter Deifel
11:16 PM Revision a60f4851 (cool): Enforce aconjunctivity globally
In the future, we would need a switch for that Hans-Peter Deifel
10:24 PM Revision 867cefeb (cool): Add script to generate test formulas
- gen.ml: Generates a specific set of formulas, usable for
benchmarking cool against pgsolver
Hans-Peter Deifel
10:23 PM Revision 64adaa3d (cool): Disable debug output
Hans-Peter Deifel
10:23 PM Revision 2400280e (cool): Fix alternation level computation
Hans-Peter Deifel
10:22 PM Revision c6fcba65 (cool): Disable backjumping for now
Hans-Peter Deifel
02:10 PM Revision acd285b4 (cool): Temporarily add some debug output
Hans-Peter Deifel
02:10 PM Revision ac55ab4a (cool): Fix priority for empty foci
Hans-Peter Deifel
11:43 AM Revision 83e87153 (cool): Swap priorities of partial permutations
Since the automaton must be complemented, our priorities have to be
just the other way round.
Hans-Peter Deifel
11:39 AM Revision e3905995 (cool): Include priority of nodes in dot output
Hans-Peter Deifel
11:39 AM Revision af2f4755 (cool): Correctly add new formulas if deferral changes
Hans-Peter Deifel
08:25 AM Revision 6054c1ec (cool): Enable new focus tracking by default
- In the future this should only happen if the formula is not
alternation free, but aconjunctive (or via a cli-switch)
Hans-Peter Deifel
08:17 AM Revision a2b07f24 (cool): Fix a few bugs with the new focus tracker
Hans-Peter Deifel

04/20/2017

12:20 AM Revision f4bfec73 (cool): Actually use depth first tracking
Hans-Peter Deifel
12:05 AM Revision e3a4d293 (cool): Implement depth-first tracking for deferral sets
Hans-Peter Deifel
12:04 AM Revision 9b05e638 (cool): Initialize arrayAlternationLevel
was accidentally left uninitialized Hans-Peter Deifel
11:45 PM Revision 65e44e2d (cool): First try at depth first tracking
Hans-Peter Deifel
06:28 PM Revision 6bfe1352 (cool): Properly calculate priority for partial permutations
- Compute n based on the size of the Fischer-Ladner-Closure and
maximum alternation depth of the input formula
- Ha...
Hans-Peter Deifel
06:18 PM Revision 5a7548b8 (cool): Calculate and save alternation depth of input formula
Hans-Peter Deifel
04:24 PM Revision 6c039e3a (cool): Implement equality and hashing for partial permutations
Hans-Peter Deifel
03:44 PM Revision dc5d9271 (cool): First implementation of tracking for partial permutation
Hans-Peter Deifel
03:44 PM Revision d517658d (cool): Expose computed alternation level for other modules
Hans-Peter Deifel
08:25 AM Revision cd0ce0b5 (cool): Calculate alternation level for every formula
Hans-Peter Deifel

04/19/2017

05:16 PM Revision 38828d40 (cool): Actually used polymorphic focus tracking
Hans-Peter Deifel
09:16 AM Revision af6ede09 (cool): Modularize reasoner by focus tracking strategy
Hans-Peter Deifel
 

Also available in: Atom