General

Profile

Hans-Peter Deifel

  • Email: hpd@hpdeifel.de
  • Registered on: 05/28/2015
  • Last connection: 12/07/2016

Issues

Projects

  • COOL (Manager, 11/30/2016)
  • MBProg (Manager, 05/29/2015)

Activity

11/16/2017

11:13 AM COOL Revision a80babbf (cool): benchmarks: Rename gen.ml to aconjunctive_mu_generator.ml
Also disables the build of the corresponding executable by
default (can be reenabled with the flat 'benchmarks').

10/15/2017

05:05 PM COOL Revision 994d7911 (cool): Move aconjunctive formula generator to benchmarks/

10/10/2017

09:34 PM COOL Revision 3dc07cf8 (cool): Fix bug in detClosure

04/21/2017

10:24 PM COOL Revision 867cefeb (cool): Add script to generate test formulas
- gen.ml: Generates a specific set of formulas, usable for
benchmarking cool against pgsolver
10:23 PM COOL Revision 64adaa3d (cool): Disable debug output
10:23 PM COOL Revision 2400280e (cool): Fix alternation level computation
10:22 PM COOL Revision c6fcba65 (cool): Disable backjumping for now

04/20/2017

08:25 AM COOL Revision cd0ce0b5 (cool): Calculate alternation level for every formula

04/12/2017

01:01 AM COOL Revision b1e625e9 (cool): Only iterate through open states in PG solution
06:34 PM COOL Revision aa97b631 (cool): Remove last call to propagateUnsatMu

Also available in: Atom