Open Hub
Open Hub

 Settings |  Report Duplicate

2
I Use This!
Very High Activity

Commits : Listings

Analyzed about 5 hours ago. based on code collected 1 day ago.
Oct 12, 2024 — Oct 12, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Updating default.xml
seL4 CI
More... 1 day ago
Updating default.xml
seL4 CI
More... 4 days ago
Updating default.xml
seL4 CI
More... 4 days ago
[CI] Update seL4 to cpp-compatible version
seL4 CI
More... 4 days ago
bump kernel revision to 'b60b6652a arm,am335x: avoid continue for binary verification'
Gerwin Klein
More... 4 days ago
[CI] Update default.xml. Changed: seL4
seL4 CI
More... 4 days ago
Updating default.xml
seL4 CI
More... 4 days ago
merged
wenzelm
More... 4 days ago
less wasteful Java heap (see also 10458e80b4a9, 3deead057a16, 06a05e098347);
wenzelm
More... 4 days ago
bump kernel revision to 'a117712c1 Make fastpath_restore match restore_user_context'
Gerwin Klein
More... 4 days ago
more scalable process_output via external file;
wenzelm
More... 4 days ago
Updating default.xml
seL4 CI
More... 5 days ago
Updating default.xml
seL4 CI
More... 5 days ago
[CI] Update seL4 to cpp-compatible version
seL4 CI
More... 5 days ago
minor performance tuning: properties from Prover.Protocol_Output are not automatically cached (because they are usually non-persistent);
wenzelm
More... 6 days ago
more robust: proper session.synchronized;
wenzelm
More... 6 days ago
clarified signature: more explicit types;
wenzelm
More... 6 days ago
clarified signature: more explicit types;
wenzelm
More... 6 days ago
merged
desharna
More... 6 days ago
generate t.set_finite for bnf that always have finite sets (⁨Author: Jan van Brügge⁩)
desharna
More... 6 days ago
less ambitious default options;
wenzelm
More... 6 days ago
update for release;
wenzelm
More... 7 days ago
revert 3deead057a16 for the sake of isabelle-dev;
wenzelm
More... 7 days ago
Added tag Isabelle2025-1-RC0 for changeset 3deead057a16
wenzelm
More... 7 days ago
revert 06a05e098347 for the sake of Isabelle2025-1-RC0;
wenzelm
More... 7 days ago
more robust: avoid overlap of finished_theories with nodes_status_progress, notably for Isabelle/AFP cluster build;
wenzelm
More... 7 days ago
tuned;
wenzelm
More... 8 days ago
more reactive revoke operation;
wenzelm
More... 8 days ago
minor performance tuning;
wenzelm
More... 8 days ago
tuned signature;
wenzelm
More... 8 days ago