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

Partial analysis results #8

Open Xazax-hun opened 1 year ago

Xazax-hun commented 1 year ago

Even when the analysis did not converge, we should have a way to return partial results.