isabelle: Graph

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 -30 tip

prefer robust Timing_Properties.get;
9 days ago, by wenzelm
unused (see also 88dfbc382a3d);
9 days ago, by wenzelm
more accurate markup for command timing, notably for theory pseudo-command in batch-build, but also for accidental occurrences of command keywords (e.g. in command definition);
9 days ago, by wenzelm
more detailed Command_Timings: count actual commands from theory body individually;
9 days ago, by wenzelm
basic setup for build progress with nodes_status;
9 days ago, by wenzelm
clarified signature;
10 days ago, by wenzelm
tuned;
10 days ago, by wenzelm
clarified signature: prefer explicit operations;
10 days ago, by wenzelm
clarified signature: explicit domain for Nodes_Status operations;
10 days ago, by wenzelm
more robust mutable state;
10 days ago, by wenzelm
tuned;
10 days ago, by wenzelm
clarified timing protocol: expose termination of all commands, regardless of timing;
10 days ago, by wenzelm
tuned comments;
11 days ago, by wenzelm
more robust: post after state change;
11 days ago, by wenzelm
tuned;
11 days ago, by wenzelm
clarified protocol: post authentic properties from Protocol.Command_Timing, which includes positions from ML;
11 days ago, by wenzelm
tuned signature: more explicit operations;
11 days ago, by wenzelm
obsolete (see also 3391a493f39a);
11 days ago, by wenzelm
tuned;
11 days ago, by wenzelm
tuned
7 days ago, by nipkow
added defs
7 days ago, by nipkow
splitted vampire_smt in two versions: vampire_smt_dt natively handles datatypes and vampire_smt_nodt does not
12 days ago, by desharna
Added support for Vampire as an SMT solver. (experimental)
12 days ago, by Elisabeth Lempa
merged
2 weeks ago, by wenzelm
more informative Node_Status;
2 weeks ago, by wenzelm
incorporate timing into Node_Status, while the default threshold leads to empty command_timings;
2 weeks ago, by wenzelm
more robust: total "apply", with subtle change of semantics;
2 weeks ago, by wenzelm
more scalable timing, as part of incremental document_status;
2 weeks ago, by wenzelm
tuned signature: more explicit operations;
2 weeks ago, by wenzelm
tuned signature: more explicit operations;
2 weeks ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 tip

isabelle