Timeline


and

03/16/09:

14:28 Ticket #94 (Remove code duplication in checker.ml) closed by broeni
fixed
14:27 Changeset [18724] by broeni
got rid of most of the duplicated code concerning the checkers in …
14:27 Changeset [18723] by broeni
changed new a little bit
12:46 Changeset [18716] by broeni
base work for the non-dup checker file

03/08/09:

09:52 Ticket #94 (Remove code duplication in checker.ml) created by hritcu
The functions check_spass and check_echecker duplicate a lot of their …

03/07/09:

15:49 Ticket #49 (Support timeouts for provers) closed by hritcu
fixed
15:49 Changeset [18462] by hritcu
Added support for time-outs -- for SPASS and eprover (fixes Ticket #49). …

03/05/09:

13:33 Ticket #93 (Make compile have linear complexity by discharging obligations on the fly) closed by hritcu
fixed
13:33 Changeset [18414] by hritcu
Made the compile have linear complexity by discharging obligations on the …
13:32 Ticket #93 (Make compile have linear complexity by discharging obligations on the fly) created by hritcu
The fix of Ticket #89 introduced huge performance problems -- we generate …
11:28 Ticket #92 (Prover errors should be fatal) created by hritcu
If the prover raises an error (and I don't mean because it couldn't prove …

03/03/09:

10:19 Ticket #91 (Named arguments for zk and ver constructors ???) created by hritcu
This could improve readability for statements with n>15 arguments
Note: See TracTimeline for information about the timeline view.