- refactor reduce boilerplate by automatic conversions
Yaroslav Bolyukin 2023-08-13 #027693d
- Merge pull request #118 from CertainLach/feature/upstream-std-sync
Yaroslav Bolyukin 2023-07-17 #47e40b2
Allow '=' within the body of --tla-code
Yaroslav Bolyukin 2023-07-13 #e98be8b
- test for = character in tla body
expelledboy 2023-06-20 #9872fc2