teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

mark off implies todo

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2017-02-25 23:29:59 -08:00
parent 21ff366d24
commit 4c5924782d
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
stl/parser.py
View file

@ -3,7 +3,6 @@
# TODO: break out into seperate library # TODO: break out into seperate library
# TODO: allow multiplication to be distributive # TODO: allow multiplication to be distributive
# TODO: support reference specific time points # TODO: support reference specific time points
# TODO: add Implies and Iff syntactic sugar
# TODO: add support for parsing Until # TODO: add support for parsing Until
# TODO: support variables on both sides of ineq # TODO: support variables on both sides of ineq
# TODO: Allow -x = -1*x # TODO: Allow -x = -1*x