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 7 of 108 Search / Filter on:
Some lemmas moved in from Winding_Number_Eval	paulson	More...				about 1 month ago
tuned messages;	wenzelm	More...				about 1 month ago
prefer native platform;	wenzelm	More...				about 1 month ago
obsolete;	wenzelm	More...				about 1 month ago
proper electron_resources for macos;	wenzelm	More...				about 1 month ago
tuned output;	wenzelm	More...				about 1 month ago
more robust: self-contained Node.js setup;	wenzelm	More...				about 1 month ago
Node_Context.setup: support more packages;	wenzelm	More...				about 1 month ago
clarified signature: more explicit type Node_Context;	wenzelm	More...				about 1 month ago
clarified signature;	wenzelm	More...				about 1 month ago
tuned messages;	wenzelm	More...				about 1 month ago
more uniform treatment of platforms: only one is active at a time;	wenzelm	More...				about 1 month ago
clarified signature: prefer versatile Isabelle_Platform;	wenzelm	More...				about 1 month ago
proper guard;	wenzelm	More...				about 1 month ago
proper platform_ext for macos;	wenzelm	More...				about 1 month ago
more recent node_version, to make build on macos work properly: 22.17.0 happens to be the version that is built into vscodium;	wenzelm	More...				about 1 month ago
more thorough treatment of platform = Platform.family;	wenzelm	More...				about 1 month ago
clarified platform check: discontinue notion of Platform.Family.linux as "master platform";	wenzelm	More...				about 1 month ago
self-contained node setup, using consolidated LTS version in contrast to 20.18 from vscodium/docs/howto-build.md;	wenzelm	More...				about 1 month ago
tuned whitespace;	wenzelm	More...				about 1 month ago
clarified platform information;	wenzelm	More...				about 1 month ago
platform-specific build context;	wenzelm	More...				about 1 month ago
less verbose by default;	wenzelm	More...				about 1 month ago
tuned comments;	wenzelm	More...				about 1 month ago
just cosmetic changes	paulson	More...				about 1 month ago
declare default code equations before custom attributes	haftmann	More...				about 1 month ago
proofs: maybe_handle_interrupt	Gerwin Klein	More...				about 1 month ago
tuned	haftmann	More...				about 1 month ago
prefer attribute for default singleton code equation	haftmann	More...				about 1 month ago
merged	paulson	More...				about 2 months ago

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