Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
merged
2011-04-19, by berghofe
- renamed enum type class to spark_enum, to avoid confusion with
2011-04-19, by berghofe
use "Spec_Rules" for finding axioms -- more reliable and cleaner
2011-04-19, by blanchet
optimize trivial equalities early in Nitpick -- it shouldn't be the job of the peephole optimizer
2011-04-19, by blanchet
remove a few Nitpick calls in examples -- another step toward making them run faster
2011-04-19, by blanchet
check arity of bound variables to avoid generating too large Kodkod problems -- an issue that arose in the context of TPTP/CASC
2011-04-19, by blanchet
eliminated Codegen.mode in favour of explicit argument;
2011-04-19, by wenzelm
less bulky "_position", for improved readability of parse trees;
2011-04-19, by wenzelm
added more elementary Skip_Proof.make_thm_cterm;
2011-04-19, by wenzelm
explicit markup for loose bounds;
2011-04-19, by wenzelm
prefer internal types, via Simple_Syntax.read_typ;
2011-04-19, by wenzelm
eliminated obsolete Proof_Syntax.strip_sorts_consttypes;
2011-04-19, by wenzelm
split Type_Infer into early and late part, after Proof_Context;
2011-04-19, by wenzelm
minor tuning and modernization;
2011-04-19, by wenzelm
slightly more special eq_list/eq_set, with shortcut involving pointer_eq;
2011-04-19, by wenzelm
simplified check/uncheck interfaces: result comparison is hardwired by default;
2011-04-19, by wenzelm
updated some theory primitives, which now depend on auxiliary context;
2011-04-19, by wenzelm
more precise treatment of existing type inference parameters;
2011-04-19, by wenzelm
pretty_abbrev: read abbreviation more directly;
2011-04-18, by wenzelm
tuned signature;
2011-04-18, by wenzelm
raised timeouts further, for SML/NJ!
2011-04-18, by krauss
Package prefix is now taken into account when looking up user-defined
2011-04-18, by berghofe
merged
2011-04-18, by wenzelm
recovered Theory.check_def: full name needs to be determined from background thy, not auxiliary ctxt (broken in 774df7c59508, caused Nitpick.all_axioms_of to produce bad results);
2011-04-18, by wenzelm
scheduler for Mutabelle regression
2011-04-18, by krauss
tool for importing nightly isatest logs
2011-04-18, by krauss
adding bounded_forall tester
2011-04-18, by bulwahn
creating generic test_term function; corrected instantiate_exhaustive_datatype; tuned
2011-04-18, by bulwahn
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip