issues
search
reb-ddm
/
analyzer
Static analysis framework for C
https://goblint.in.tum.de
MIT License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Overflow handling in `lin2vareq` and `affeq`
#13
reb-ddm
closed
8 months ago
0
Z.Overflow
#12
alina-weber
opened
9 months ago
0
NOTES
#11
reb-ddm
opened
10 months ago
2
assign_var_parallel_with()
#10
alina-weber
opened
10 months ago
1
assign_var_parallel()
#9
alina-weber
opened
10 months ago
0
assign_texpr()
#8
reb-ddm
opened
11 months ago
0
show()
#7
alina-weber
opened
11 months ago
0
implement the VarManagement
#6
reb-ddm
opened
11 months ago
0
look into handling the overflow
#5
reb-ddm
opened
11 months ago
0
look into the coefficient extension
#4
reb-ddm
opened
11 months ago
0
look into benchmarking
#3
reb-ddm
opened
11 months ago
0
choose a data type for our abstract domain
#2
reb-ddm
closed
11 months ago
0
implement meet and join
#1
reb-ddm
opened
11 months ago
0