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
minor performance tuning;
wenzelm
More... 8 days ago
more operations, following Properties.make_XYZ in ML;
wenzelm
More... 8 days ago
tuned;
wenzelm
More... 8 days ago
unused;
wenzelm
More... 8 days ago
brand history only at end of theory
haftmann
More... 11 days ago
c-parser: allow ' in Isabelle identifiers in FNSPEC
Gerwin Klein
More... 12 days ago
util: provide FNSPEC for __unreachable
Gerwin Klein
More... 12 days ago
arm,irq: use UNREACHBLE in unimplemented functions
Gerwin Klein
More... 12 days ago
github: add new platforms to CI
Gerwin Klein
More... 12 days ago
consider nat as a datatype in the SMT-LIB module
desharna
More... 12 days ago
syscall: handle spurious IRQ for preemption
Gerwin Klein
More... 12 days ago
proper SMT file names in Mirabelle
desharna
More... 13 days ago
splitted option "smt_debug_files" into "smt_problem_dest_dir" and "smt_proof_dest_dir"
desharna
More... 13 days ago
documented SMT solver "dummy_smtlib"
desharna
More... 13 days ago
don't early error on SMT_Failure.Other_Failure
desharna
More... 14 days ago
added script file missing from 4f15c5c3781f
desharna
More... 14 days ago
merged
desharna
More... 14 days ago
fixed problem with time_fun in locales
nipkow
More... 15 days ago
added a dummy SMT solver to more efficiently generate SMT-LIB problem files with Mirabelle
desharna
More... 16 days ago
more Java heap space for the sake of Isabelle/AFP cluster build stability, but this is better changed elsewhere; enforce rebuild of Isabelle/ML;
wenzelm
More... 19 days ago
merged
wenzelm
More... 20 days ago
build_progress with percentage;
wenzelm
More... 20 days ago
clarified signature: prefer static percentage;
wenzelm
More... 20 days ago
more informative Progress.Nodes_Status;
wenzelm
More... 20 days ago
tuned
nipkow
More... 20 days ago
more informative Command_Span.Theory_Span;
wenzelm
More... 20 days ago
tuned;
wenzelm
More... 20 days ago
added defs
nipkow
More... 20 days ago
more accurate theory timing, based on sum of command timings; remove obsolete protocol message;
wenzelm
More... 20 days ago
support for detailed build progress;
wenzelm
More... 21 days ago