Instruction Bounds - Githubissues

costa-group / gasol-optimizer

GNU General Public License v3.0

107 stars 9 forks source link

Instruction Bounds #10

Closed alexcere closed 2 years ago

alexcere commented 2 years ago

[x] Static analysis for detecting lower bounds
[x] Static analysis for detecting upper bounds
[x] Tests for ensuring both analysis are correctly implemented
[x] Instruction Bound object to abstract the bounds generation
[x] Add bounds to the encoding