From 4c5924782d6ff939e7c9ca77a59f351f00bf308c Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Sat, 25 Feb 2017 23:29:59 -0800 Subject: [PATCH] mark off implies todo --- stl/parser.py | 1 - 1 file changed, 1 deletion(-) diff --git a/stl/parser.py b/stl/parser.py index 9604132..20e8d66 100644 --- a/stl/parser.py +++ b/stl/parser.py @@ -3,7 +3,6 @@ # TODO: break out into seperate library # TODO: allow multiplication to be distributive # TODO: support reference specific time points -# TODO: add Implies and Iff syntactic sugar # TODO: add support for parsing Until # TODO: support variables on both sides of ineq # TODO: Allow -x = -1*x