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

Reduce container-like domains when they contain bottom #20

Open Xazax-hun opened 8 months ago

Xazax-hun commented 8 months ago