Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format
Other
7 stars 4 forks source link

tslpreprocess and negative values #34

Closed santolucito closed 1 year ago

santolucito commented 2 years ago
always guarantee {
  [z <- 3 * -7 ];
}

should we expect this to work?

santolucito commented 2 years ago

at the moment we get

[z <- mult int3() -7 ];
wonhyukchoi commented 1 year ago

Fixed in #45.