Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / michael-emmi/bam-bam-boogieman issues and pull requests
#23 - Shadow assume statements derived from invertvalue instructions
Pull Request -
State: closed - Opened by shaobo-he over 2 years ago
- 1 comment
#21 - Do not generate shadow procedures for `corral_atomic_*`
Pull Request -
State: closed - Opened by shaobo-he almost 3 years ago
#19 - Do not generate shadow procedures for `corral_atomic_*`
Pull Request -
State: closed - Opened by shaobo-he about 3 years ago
- 1 comment
#15 - Update rake requirement from ~> 10.0 to ~> 12.3
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#13 - Packaging
Pull Request -
State: closed - Opened by michael-emmi almost 7 years ago
#12 - Cost modeling
Pull Request -
State: closed - Opened by michael-emmi almost 7 years ago
#9 - Shadowing static initalization: a kludge.
Pull Request -
State: closed - Opened by fdupress almost 8 years ago
- 1 comment
#8 - Do not delay assertions when no declassification is involved.
Pull Request -
State: closed - Opened by fdupress about 9 years ago
#7 - Correct shadowing of havoc statements.
Pull Request -
State: closed - Opened by fdupress about 9 years ago
- 1 comment
#6 - Correctly shadow if-then-else expressions.
Pull Request -
State: closed - Opened by fdupress about 9 years ago
#5 - Sound(er) and more precise handling of special procedures.
Pull Request -
State: closed - Opened by fdupress about 9 years ago
#4 - Fix handling of shadowing for exempt calls.
Pull Request -
State: closed - Opened by fdupress about 9 years ago
#3 - Use shadow_copy instead of shadow when argument may not be a variable.
Pull Request -
State: closed - Opened by fdupress about 9 years ago