issues
search
Xazax-hun
/
domains-oxide
Toy language to help experiment with numerical domains for abstract interpretation
Apache License 2.0
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update cairo-rs requirement from 0.19.1 to 0.20.0
#26
dependabot[bot]
opened
1 week ago
0
Update itertools requirement from 0.12.0 to 0.13.0
#25
dependabot[bot]
closed
2 months ago
0
Update fixedbitset requirement from 0.4.2 to 0.5.1
#24
dependabot[bot]
closed
4 months ago
1
Update priority-queue requirement from 1.2.3 to 2.0.2
#23
dependabot[bot]
closed
4 months ago
0
Update fixedbitset requirement from 0.4.2 to 0.5.0
#22
dependabot[bot]
closed
4 months ago
1
Update cairo-rs requirement from 0.18.0 to 0.19.1
#21
dependabot[bot]
closed
5 months ago
0
Reduce container-like domains when they contain bottom
#20
Xazax-hun
opened
6 months ago
0
Add complement support to the set domains
#19
Xazax-hun
opened
6 months ago
0
Update itertools requirement from 0.11.0 to 0.12.0
#18
dependabot[bot]
closed
8 months ago
0
Update number-theory requirement from 0.0.23 to 0.0.24
#17
dependabot[bot]
closed
8 months ago
0
Add guidance about persistent data structures
#16
Xazax-hun
opened
8 months ago
0
Add RangeSet Domain
#15
Xazax-hun
opened
9 months ago
0
Bump actions/checkout from 3 to 4
#14
dependabot[bot]
closed
10 months ago
0
Update cairo-rs requirement from 0.17.0 to 0.18.0
#13
dependabot[bot]
closed
12 months ago
0
Update itertools requirement from 0.10.5 to 0.11.0
#12
dependabot[bot]
closed
1 year ago
0
Add WTO based worklist
#11
Xazax-hun
opened
1 year ago
1
Update number-theory requirement from 0.0.21 to 0.0.23
#10
dependabot[bot]
closed
1 year ago
0
Update number-theory requirement from 0.0.21 to 0.0.22
#9
dependabot[bot]
closed
1 year ago
1
Partial analysis results
#8
Xazax-hun
opened
1 year ago
0
Support assertions
#7
Xazax-hun
opened
1 year ago
1
Support conditions in loop/alternative as an extension
#6
Xazax-hun
closed
6 months ago
1
Figure out if we can generate the inequalities for dataflow
#5
Xazax-hun
opened
1 year ago
0
Add fixed-point iteration that works on the edges instead of the nodes
#4
Xazax-hun
opened
1 year ago
0
Add transfer function utilities
#3
Xazax-hun
opened
1 year ago
0
IntoIterator for CFG
#2
Xazax-hun
opened
1 year ago
1
Add better diagnostics
#1
Xazax-hun
opened
1 year ago
0