1
I Use This!
Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 30, 2024 — Aug 30, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Fix error in test case wrt use of mod operator More... about 3 years ago
Compute the rem/mod ranges properly More... about 3 years ago
Add test case More... about 3 years ago
Add support for automated sdl2if and sdl2promela testing More... about 3 years ago
Update run_tests.sh More... about 3 years ago
Update Makefile More... about 3 years ago
Update run_tests.sh More... about 3 years ago
Update run_tests.sh More... about 3 years ago
Update run_tests.sh More... about 3 years ago
Merge pull request #86 from jsoref/spelling More... about 3 years ago
Fix function type datmodel generation when saving More... about 3 years ago
Detect and ignore missing exported procedure body More... about 3 years ago
Fix fowarding of data type pool in ogParser More... about 3 years ago
spelling: actual More... about 3 years ago
spelling: will More... about 3 years ago
spelling: without More... about 3 years ago
spelling: vertical More... about 3 years ago
spelling: usage More... about 3 years ago
spelling: types More... about 3 years ago
spelling: this More... about 3 years ago
spelling: switch More... about 3 years ago
spelling: pass More... about 3 years ago
spelling: opengeode More... about 3 years ago
spelling: oops More... about 3 years ago
spelling: lowercase More... about 3 years ago
spelling: level More... about 3 years ago
spelling: language More... about 3 years ago
spelling: identifier More... about 3 years ago
spelling: higher More... about 3 years ago
spelling: forty More... about 3 years ago