Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive

Commits : Listings

Analyzed about 3 hours ago. based on code collected about 9 hours ago.
Aug 01, 2025 — Aug 01, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Fix a surprising stray-character bug
adamch
More... about 20 years ago
Bug in Big_int code generation
adamch
More... about 20 years ago
Improvements to x86 types
adamch
More... about 20 years ago
Update some Util and Bitvector stuff to support MemoryTypes
adamch
More... about 20 years ago
Fix up camlp4 stuff to work with latest OCaml
adamch
More... about 20 years ago
Final commit before ICFP paper
adamch
More... over 20 years ago
Updated handling of conditional jumps to allow updating of register types
adamch
More... over 20 years ago
Added SimpleCond
adamch
More... over 20 years ago
Added conditional jump support to TypeSystem
adamch
More... over 20 years ago
Successful handling of function return
adamch
More... over 20 years ago
Successfully checked a call with return pointer considered
adamch
More... over 20 years ago
Changed signature of viewShiftOfJump to allow dealing with continuations
adamch
More... over 20 years ago
Allow return pointer as PC in abstract states
adamch
More... over 20 years ago
Track return pointer value
adamch
More... over 20 years ago
Track saved EBP value
adamch
More... over 20 years ago
Checking calls without returns, while still allocating space for return pointer
adamch
More... over 20 years ago
Checked a call without any return
adamch
More... over 20 years ago
Modified StackTypes to explicitly track that callers' stack frames are not touched
adamch
More... over 20 years ago
Two more small test cases
adamch
More... over 20 years ago
Expand .cvsignore
adamch
More... over 20 years ago
Remove auto-generated file
adamch
More... over 20 years ago
Verified empty.c with new architecture
adamch
More... over 20 years ago
Some support for specifying initial states and jump coverage checking
adamch
More... over 20 years ago
Support for checking compatibility of Maps
adamch
More... over 20 years ago
Support for checking compatibility of abstract states
adamch
More... over 20 years ago
Got a verifier running with some debug output
adamch
More... over 20 years ago
Preliminary StackTypes
adamch
More... over 20 years ago
Preliminary StackTypes
adamch
More... over 20 years ago
Preliminary functor for building abstractions from type systems
adamch
More... over 20 years ago
Fixed code segment abstraction functor
adamch
More... over 20 years ago