Issues
- 0
Procedure for writing results
#158 opened - 0
Timeout
#157 opened - 0
true and false and keyword variables
#150 opened - 0
Weird analysis behavior
#149 opened - 0
Inconsistency with detecting infinity
#148 opened - 0
empty brackets
#115 opened - 0
Contributing guide
#113 opened - 0
release workflow++
#104 opened - 0
add software version to machine details
#101 opened - 0
pycparser-fake-libc
#90 opened - 0
- 1
make a release
#84 opened - 0
Example numbers
#83 opened - 1
single variable assignment
#82 opened - 0
Minimal evaluation result
#80 opened - 1
handling of headers and typedefs
#77 opened - 0
create_vector
#74 opened - 0
Conditionally evaluate choices
#66 opened - 0
Update examples
#59 opened - 0
Minor issues related to Analysis.py
#56 opened - 0
Refactor pycparser use
#54 opened - 6
delta_iter
#52 opened - 0
Detecting function arguments
#51 opened - 3
- 1
- 6
Ignoring declarations (updated 8/27)
#43 opened - 1
Mixing two operations in one statement
#37 opened - 3
- 2
Additional braces mess the analysis
#25 opened - 1
Correctly applying E2 or overlooking it?
#24 opened - 8
Re-organize example folder
#21 opened - 4
Profiling simplification
#17 opened - 18
Simplify sums
#16 opened - 5
while_correction behavior
#14 opened - 23
- 4
Additional methods for the Matrix
#12 opened - 15
Variable mismatch / ignored
#11 opened - 7
uncovered case for simple program
#10 opened - 3
Braces mandatory around statements
#7 opened - 2
for loop analysis is broken
#5 opened - 2
Analysis fails on empty main
#4 opened - 1
Add license
#1 opened