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

merged
7 days ago, by wenzelm
build_progress with percentage;
7 days ago, by wenzelm
clarified signature: prefer static percentage;
7 days ago, by wenzelm
more informative Progress.Nodes_Status;
7 days ago, by wenzelm
more informative Command_Span.Theory_Span;
7 days ago, by wenzelm
tuned;
8 days ago, by wenzelm
more accurate theory timing, based on sum of command timings;
8 days ago, by wenzelm
support for detailed build progress;
9 days ago, by wenzelm
proper symbolic_path for nodes_domain;
9 days ago, by wenzelm
tuned;
9 days ago, by wenzelm
tuned signature;
9 days ago, by wenzelm
clarified signature;
9 days ago, by wenzelm
more thorough Command.State.exit vs. Command.init_state: avoid loss of information in Document.State.end_theory (notably Command_Timings);
9 days ago, by wenzelm
clarified internal protocol: accept is_theory, reject add_markup;
9 days ago, by wenzelm
more concise storage of Command.State: omit pointless status: List[Markup];
9 days ago, by wenzelm
avoid shortcuts based on potentially expensive equality test;
9 days ago, by wenzelm
clarified signature: more explicit type Progress.Nodes_Status;
10 days ago, by wenzelm
prefer robust Timing_Properties.get;
10 days ago, by wenzelm
unused (see also 88dfbc382a3d);
10 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);
10 days ago, by wenzelm
more detailed Command_Timings: count actual commands from theory body individually;
10 days ago, by wenzelm
basic setup for build progress with nodes_status;
10 days ago, by wenzelm
clarified signature;
10 days ago, by wenzelm
tuned;
10 days ago, by wenzelm
clarified signature: prefer explicit operations;
11 days ago, by wenzelm
clarified signature: explicit domain for Nodes_Status operations;
11 days ago, by wenzelm
more robust mutable state;
11 days ago, by wenzelm
tuned;
11 days ago, by wenzelm
clarified timing protocol: expose termination of all commands, regardless of timing;
11 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);
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
tuned
7 days ago, by nipkow
added defs
8 days ago, by nipkow
splitted vampire_smt in two versions: vampire_smt_dt natively handles datatypes and vampire_smt_nodt does not
13 days ago, by desharna
Added support for Vampire as an SMT solver. (experimental)
13 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
more scalable Command.State.document_status: prefer incremental update;
2 weeks ago, by wenzelm
clarified signature: more abstract type Command.State, without hasCode/equals to avoid semantic confusion;
2 weeks ago, by wenzelm
unused;
2 weeks ago, by wenzelm
clarified signature: more explicit types;
2 weeks ago, by wenzelm
clarified signature: more explicit data;
2 weeks ago, by wenzelm
clarified signature: more uniform Node_Status.make vs. Overall_Timing.make;
2 weeks ago, by wenzelm
tuned signature: more explicit operations;
2 weeks ago, by wenzelm
clarified signature: more explicit operations;
2 weeks ago, by wenzelm
more uniform treatment of timing threshold;
2 weeks ago, by wenzelm
more direct timing message, based on command_states (in contrast to 604da273e18d), following e69ebc4782a3;
2 weeks ago, by wenzelm
more uniform treatment of threshold for command timings;
2 weeks ago, by wenzelm
clarified signature: more thorough treatment of all command_states;
2 weeks ago, by wenzelm
clarified signature and persistent data;
2 weeks ago, by wenzelm

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

isabelle