seL4

Settings | Report Duplicate

2

I Use This!

Very High Activity

Commits : Listings

Analyzed about 16 hours ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Oct 12, 2024 — Oct 12, 2025 Showing page 8 of 108 Search / Filter on:
Tidied a few messy proofs	paulson	More...				about 2 months ago
partial update for vscodium-1.103.25610: only for linux;	wenzelm	More...				about 2 months ago
more verbose;	wenzelm	More...				about 2 months ago
more explicit messages, notably errors;	wenzelm	More...				about 2 months ago
clarified signature: more explicit operations;	wenzelm	More...				about 2 months ago
tidied a few messy proofs	paulson	More...				about 2 months ago
clarified show_results to serve as guard for interactive mode -- avoid printing internal consts, e.g. in 'record' or 'datatype', where Specification.definition is used as convenience for class instantiation (see also 889d5cdc034b, 951abf9db857, ecf80e37ed1a);	wenzelm	More...				about 2 months ago
tuned whitespace;	wenzelm	More...				about 2 months ago
JAWS works as well, e.g. using its free license for 40min; tuned comments;	wenzelm	More...				about 2 months ago
[CI] Update default.xml. Changed: l4v	seL4 CI	More...				about 2 months ago
explicit singleton default code equation declaration where appropriate	haftmann	More...				about 2 months ago
preprocessing to execute bounded set comprehensions over tuples and triples	haftmann	More...				about 2 months ago
update jedit-20250825, according to patches;	wenzelm	More...				about 2 months ago
more accessible File Browser: proper AccessibleName / setLabelFor for various components;	wenzelm	More...				about 2 months ago
misc tuning;	wenzelm	More...				about 2 months ago
observe buffer.isReadOnly;	wenzelm	More...				about 2 months ago
aarch64 design: use requalify_types correctly	Gerwin Klein	More...				about 2 months ago
more accessible operations: AccessibleEditableText;	wenzelm	More...				about 2 months ago
arm,am335x: avoid continue for binary verification	Gerwin Klein	More...				about 2 months ago
SimplExport: fix debug theory	Gerwin Klein	More...				about 2 months ago
asmrefine: strengthen ptr_safe tactic	Gerwin Klein	More...				about 2 months ago
merged	paulson	More...				about 2 months ago
Tweaks to ugly proofs	paulson	More...				about 2 months ago
configs: add remaining verified Arm configs	Gerwin Klein	More...				about 2 months ago
more robust: proper checks;	wenzelm	More...				about 2 months ago
more complete operations: handle AccessibleText.WORD via jEdit operations (with their known limitations concerning non-trivial Unicode);	wenzelm	More...				about 2 months ago
update jedit-20250824, according to patches;	wenzelm	More...				about 2 months ago
tuned signature: more public;	wenzelm	More...				about 2 months ago
more accurate Unicode operations, based on existing TextArea.LineCharacterBreaker;	wenzelm	More...				about 2 months ago
more robust: hardwired default for locale-specific operations seen in jEdit sources (e.g. BreakIterator.getCharacterInstance);	wenzelm	More...				about 2 months ago

←
1
2
3
4
5
6
7
8
9
10
11
12
…
107
108
→