Mon, 26 Jul 2010 11:09:44 +0200 use Natural as index type for Haskell and Scala
haftmann [Mon, 26 Jul 2010 11:09:44 +0200] rev 37964
use Natural as index type for Haskell and Scala
Sun, 25 Jul 2010 15:43:53 +0200 merged
blanchet [Sun, 25 Jul 2010 15:43:53 +0200] rev 37963
merged
Fri, 23 Jul 2010 21:29:29 +0200 keep track of clause numbers for SPASS now that we generate FOF rather than CNF problems;
blanchet [Fri, 23 Jul 2010 21:29:29 +0200] rev 37962
keep track of clause numbers for SPASS now that we generate FOF rather than CNF problems; this is rather involved because the Flotter FOF-to-CNF translator is normally implicit. We must make this an explicit step and parse the Flotter output to find out which clauses correspond to which formulas.
Fri, 23 Jul 2010 15:04:49 +0200 first step in using "fof" rather than "cnf" in TPTP problems
blanchet [Fri, 23 Jul 2010 15:04:49 +0200] rev 37961
first step in using "fof" rather than "cnf" in TPTP problems
Fri, 23 Jul 2010 14:07:35 +0200 fix polymorphic "val"
blanchet [Fri, 23 Jul 2010 14:07:35 +0200] rev 37960
fix polymorphic "val"
Sat, 24 Jul 2010 18:08:43 +0200 temporarily deactivating check for Scala
haftmann [Sat, 24 Jul 2010 18:08:43 +0200] rev 37959
temporarily deactivating check for Scala
Sat, 24 Jul 2010 18:08:41 +0200 another refinement chapter in the neverending numeral story
haftmann [Sat, 24 Jul 2010 18:08:41 +0200] rev 37958
another refinement chapter in the neverending numeral story
Mon, 26 Jul 2010 17:59:26 +0200 inductive_cases: crude parallelization via Par_List.map;
wenzelm [Mon, 26 Jul 2010 17:59:26 +0200] rev 37957
inductive_cases: crude parallelization via Par_List.map;
Mon, 26 Jul 2010 17:41:26 +0200 modernized/unified some specifications;
wenzelm [Mon, 26 Jul 2010 17:41:26 +0200] rev 37956
modernized/unified some specifications;
Mon, 26 Jul 2010 13:50:52 +0200 Thy_Info.loaded_files: Thy_Load.loaded_files depends on master -- i.e. no files for finished theory;
wenzelm [Mon, 26 Jul 2010 13:50:52 +0200] rev 37955
Thy_Info.loaded_files: Thy_Load.loaded_files depends on master -- i.e. no files for finished theory;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip