Barnard-PL-Labs / tsltools

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

add support for no spaces in tslmt preprocessor #37

Closed santolucito closed 1 year ago

santolucito commented 1 year ago

[ x <- (x+1)] will fail, but [x <- (x + 1)] is ok

wonhyukchoi commented 1 year ago

Fixed in #45.