Figure out if we can generate the inequalities for dataflow

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

Figure out if we can generate the inequalities for dataflow #5

Open Xazax-hun opened 1 year ago

Xazax-hun commented 1 year ago

Currently, we can compute and visualize results. It might be nice to be able to generate the equations that are being solved, it might be insightful in some cases.