-
Notifications
You must be signed in to change notification settings - Fork 225
Insights: AbsInt/CompCert
Overview
-
0 Active issues
-
- 1 Merged pull request
- 0 Open pull requests
- 0 Closed issues
- 0 New issues
Could not load contribution data
Please try again later
1 Pull request merged by 1 person
-
More conservative value analysis of pointer equality
#516 merged
Jul 26, 2024
10 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Type checking and preservation proof for LTL
#206 commented on
Jul 24, 2024 • 0 new comments -
RFC: stable memory block names for globals
#220 commented on
Jul 24, 2024 • 0 new comments -
Remove dependency on proof irrelevence axiom
#230 commented on
Jul 24, 2024 • 0 new comments -
Change stack and register models to bytes instead of values
#245 commented on
Jul 24, 2024 • 0 new comments -
Removing the global environment from Smallstep.semantics
#258 commented on
Jul 24, 2024 • 0 new comments -
Integers.v: add unsigned_inj
#289 commented on
Jul 24, 2024 • 0 new comments -
[draft] Preliminary support for building with Dune
#345 commented on
Jul 24, 2024 • 0 new comments -
Add __builtin_trap to x86
#357 commented on
Jul 24, 2024 • 0 new comments -
Add explicit tail calls to Clight and C#minor
#422 commented on
Jul 24, 2024 • 0 new comments -
Implement RISC-V ASM-to-JSON conversion
#506 commented on
Jul 24, 2024 • 0 new comments