pyup-bot
|
b0eb9c2247
|
Update pytest-xdist from 1.20.1 to 1.23.0
|
2018-09-24 17:37:17 -07:00 |
|
pyup-bot
|
938b07d46f
|
Update pytest-isort from 0.1.0 to 0.2.1
|
2018-09-24 17:37:16 -07:00 |
|
pyup-bot
|
96cb9cb4cd
|
Update pytest-flake8 from 0.9 to 1.0.2
|
2018-09-24 17:37:14 -07:00 |
|
pyup-bot
|
ca38cf56f5
|
Update pytest-cov from 2.5.1 to 2.6.0
|
2018-09-24 17:37:13 -07:00 |
|
pyup-bot
|
df6b2bdac6
|
Update pytest from 3.2.3 to 3.8.1
|
2018-09-24 17:37:11 -07:00 |
|
pyup-bot
|
ee5df99f48
|
Update hypothesis from 3.32.1 to 3.73.0
|
2018-09-24 17:37:10 -07:00 |
|
pyup-bot
|
7869a880f7
|
Update parsimonious from 0.7.0 to 0.8.1
|
2018-09-24 17:37:08 -07:00 |
|
pyup-bot
|
24380ebc80
|
Update funcy from 1.9.1 to 1.10.3
|
2018-09-24 17:37:07 -07:00 |
|
pyup-bot
|
d156d1b958
|
Update attrs from 18.1.0 to 18.2.0
|
2018-09-24 17:37:06 -07:00 |
|
Marcell Vazquez-Chanlatte
|
6075df175b
|
forgot to add sugar module + fix breakage due to sugar module
|
2018-09-24 17:27:57 -07:00 |
|
Marcell Vazquez-Chanlatte
|
7002246850
|
document utilities and python api
|
2018-09-24 17:11:24 -07:00 |
|
Marcell Vazquez-Chanlatte
|
aa6ebbfc67
|
added details in readme about using parse api for modal operators
|
2018-09-24 16:36:41 -07:00 |
|
Marcell Vazquez-Chanlatte
|
b7f17c1322
|
start developing readme
|
2018-09-24 16:29:39 -07:00 |
|
Marcell Vazquez-Chanlatte
|
a4f68c84cf
|
Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic
|
2018-09-24 15:30:42 -07:00 |
|
Marcell Vazquez-Chanlatte
|
1e5119c196
|
add interval
|
2018-09-24 15:30:25 -07:00 |
|
Marcell Vazquez-Chanlatte
|
4a3dee2660
|
Update README.md
|
2018-09-24 15:19:15 -07:00 |
|
Marcell Vazquez-Chanlatte
|
6747021605
|
add wording to logo
|
2018-09-24 15:17:30 -07:00 |
|
Marcell Vazquez-Chanlatte
|
5c0fbe246c
|
updated logo
|
2018-09-24 15:16:34 -07:00 |
|
Marcell Vazquez-Chanlatte
|
de793ba9bb
|
Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic
|
2018-09-24 11:03:33 -07:00 |
|
Marcell Vazquez-Chanlatte
|
874a3c29c6
|
added logo + set proper version
|
2018-09-24 11:03:18 -07:00 |
|
Marcell Vazquez-Chanlatte
|
6355e33623
|
Update README.md
|
2018-09-24 01:20:54 -07:00 |
|
Marcell Vazquez-Chanlatte
|
7ca635aa9d
|
explicitly add attrs==18.1.0 as requirement
|
2018-09-24 01:08:35 -07:00 |
|
Marcell Vazquez-Chanlatte
|
a9bdc93f50
|
use discrete-signals github
|
2018-09-24 01:05:49 -07:00 |
|
Marcell Vazquez-Chanlatte
|
417d17781e
|
remove residule traces dependencies
|
2018-09-24 01:02:00 -07:00 |
|
Marcell Vazquez-Chanlatte
|
266898c8ec
|
pinned attrs version in requirements.txt
|
2018-09-24 00:58:42 -07:00 |
|
Marcell Vazquez-Chanlatte
|
dd6bd4b6be
|
reimplement evaluation using discrete-signals library
|
2018-09-24 00:55:43 -07:00 |
|
Marcell Vazquez-Chanlatte
|
cfbdabf517
|
bump traces
|
2018-09-18 23:22:25 -07:00 |
|
Marcell Vazquez-Chanlatte
|
1b18efadfa
|
flake8
|
2018-09-18 23:19:58 -07:00 |
|
Marcell Vazquez-Chanlatte
|
25dfee86b0
|
Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic
|
2018-09-18 23:13:55 -07:00 |
|
Marcell Vazquez-Chanlatte
|
b66476e439
|
Update README.md
|
2018-09-18 23:12:23 -07:00 |
|
Marcell Vazquez-Chanlatte
|
472fd45ce2
|
Integrate attr libraries
|
2018-09-17 22:43:21 -07:00 |
|
Marcell Vazquez-Chanlatte
|
fb2e79b807
|
propogate TRUE/FALSE encoding changes
|
2018-09-08 00:47:45 -07:00 |
|
Marcell Vazquez-Chanlatte
|
a72a1a1665
|
fix travis + change parsing of true/false
|
2018-09-08 00:34:20 -07:00 |
|
Marcell Vazquez-Chanlatte
|
98824c9ba1
|
continue refactoring to optimize for mtl
|
2018-09-06 11:09:01 -07:00 |
|
Marcell Vazquez-Chanlatte
|
5fd66cfd2c
|
flake8 fixes + unregister LinEq in boolean eval
|
2018-09-06 01:28:19 -07:00 |
|
Marcell Vazquez-Chanlatte
|
d2cd678018
|
Remove LinEq type
|
2018-09-06 01:24:42 -07:00 |
|
Marcell Vazquez-Chanlatte
|
b9b10ac835
|
simplify parser + start removing lineq code
|
2018-09-06 01:19:06 -07:00 |
|
Marcell Vazquez-Chanlatte
|
7798fe679e
|
added horizon option to discretize
|
2018-05-04 19:50:04 -07:00 |
|
Marcell Vazquez-Chanlatte
|
c1a6e18068
|
default call time is 0
|
2017-12-16 14:31:12 -08:00 |
|
Marcell Vazquez-Chanlatte
|
80f24cf74b
|
implement callable interface for evaluating a specification
|
2017-12-16 14:30:27 -08:00 |
|
Marcell Vazquez-Chanlatte
|
5b7fea3953
|
add rshift (>>) : SLT x Int -> STL as next(self, i)
|
2017-12-07 19:00:07 -08:00 |
|
Marcell Vazquez-Chanlatte
|
8f4e511326
|
use lenses.Recur instead of ast_lens
|
2017-11-30 22:46:12 -08:00 |
|
Marcell Vazquez-Chanlatte
|
799a9df006
|
revert due to bug in lens.Recur for NamedTuple
|
2017-11-30 17:54:53 -08:00 |
|
Marcell Vazquez-Chanlatte
|
d9f14b0be4
|
Start using lens.Recur
|
2017-11-30 17:47:52 -08:00 |
|
Marcell Vazquez-Chanlatte
|
38b8c1838f
|
support discretizing top and bot
|
2017-11-27 13:10:56 -08:00 |
|
Marcell Vazquez-Chanlatte
|
b3bba24336
|
make t=0 default in boolean eval
|
2017-11-26 20:40:44 -08:00 |
|
Marcell Vazquez-Chanlatte
|
9098cff929
|
added var_names property
|
2017-11-26 20:01:54 -08:00 |
|
Marcell Vazquez-Chanlatte
|
034bc22955
|
added coverage badge
|
2017-11-22 23:10:35 -08:00 |
|
Marcell Vazquez-Chanlatte
|
3681691fb1
|
added automated coverage output for tests
|
2017-11-22 23:08:13 -08:00 |
|
Marcell Vazquez-Chanlatte
|
194eb10e5a
|
yapf
|
2017-11-22 13:58:51 -08:00 |
|