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

Support assertions #7

Open Xazax-hun opened 1 year ago

Xazax-hun commented 1 year ago

Add assertions about the current state in the tr language. This could provide an opportunity for static analysis to emit warnings when if an assertion might or will fail.

Xazax-hun commented 7 months ago

Since we have bril as a demo language, we should have assertions in bril instead of tr.