Open Hub
Open Hub

 Settings |  Report Duplicate

2
I Use This!
Very High Activity

Commits : Listings

Analyzed about 16 hours ago. based on code collected 2 days ago.
Oct 12, 2024 — Oct 12, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
proper symbolic_path for nodes_domain;
wenzelm
More... 21 days ago
tuned;
wenzelm
More... 21 days ago
tuned signature;
wenzelm
More... 21 days ago
clarified signature;
wenzelm
More... 21 days ago
more thorough Command.State.exit vs. Command.init_state: avoid loss of information in Document.State.end_theory (notably Command_Timings);
wenzelm
More... 22 days ago
clarified internal protocol: accept is_theory, reject add_markup;
wenzelm
More... 22 days ago
more concise storage of Command.State: omit pointless status: List[Markup];
wenzelm
More... 22 days ago
avoid shortcuts based on potentially expensive equality test;
wenzelm
More... 22 days ago
clarified signature: more explicit type Progress.Nodes_Status;
wenzelm
More... 22 days ago
prefer robust Timing_Properties.get;
wenzelm
More... 22 days ago
unused (see also 88dfbc382a3d);
wenzelm
More... 22 days ago
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);
wenzelm
More... 22 days ago
more detailed Command_Timings: count actual commands from theory body individually;
wenzelm
More... 22 days ago
basic setup for build progress with nodes_status;
wenzelm
More... 23 days ago
clarified signature;
wenzelm
More... 23 days ago
tuned;
wenzelm
More... 23 days ago
clarified signature: prefer explicit operations;
wenzelm
More... 23 days ago
clarified signature: explicit domain for Nodes_Status operations;
wenzelm
More... 23 days ago
more robust mutable state;
wenzelm
More... 23 days ago
tuned;
wenzelm
More... 23 days ago
clarified timing protocol: expose termination of all commands, regardless of timing;
wenzelm
More... 24 days ago
tuned comments;
wenzelm
More... 24 days ago
more robust: post after state change;
wenzelm
More... 24 days ago
tuned;
wenzelm
More... 24 days ago
clarified protocol: post authentic properties from Protocol.Command_Timing, which includes positions from ML;
wenzelm
More... 24 days ago
tuned signature: more explicit operations;
wenzelm
More... 24 days ago
obsolete (see also 3391a493f39a);
wenzelm
More... 24 days ago
tuned;
wenzelm
More... 24 days ago
splitted vampire_smt in two versions: vampire_smt_dt natively handles datatypes and vampire_smt_nodt does not
desharna
More... 25 days ago
Added support for Vampire as an SMT solver. (experimental)
Elisabeth Lempa
More... 25 days ago