Marcell Vazquez-Chanlatte
|
ba56886a4d
|
Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic
|
2018-12-19 11:08:37 -08:00 |
|
Marcell Vazquez-Chanlatte
|
eeb54a48b6
|
make logo background white
|
2018-12-19 11:08:23 -08:00 |
|
Marcell Vazquez-Chanlatte
|
7fe46c4945
|
Merge pull request #17 from mvcisback/pyup-update-funcy-1.10.3-to-1.11
Update funcy to 1.11
|
2018-10-04 13:10:21 -07:00 |
|
pyup-bot
|
fc78400220
|
Update funcy from 1.10.3 to 1.11
|
2018-09-29 00:05:16 -07:00 |
|
Marcell Vazquez-Chanlatte
|
9187d8f05e
|
Update README.md
|
2018-09-27 22:45:06 -07:00 |
|
Marcell Vazquez-Chanlatte
|
df7bb6f3c8
|
sync logo and logo_text
|
2018-09-27 15:20:49 -07:00 |
|
Marcell Vazquez-Chanlatte
|
57be785a44
|
add code cov plus run tests in parallel
|
2018-09-25 14:52:36 -07:00 |
|
Marcell Vazquez-Chanlatte
|
f4967e8508
|
Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic
|
2018-09-25 14:50:15 -07:00 |
|
Marcell Vazquez-Chanlatte
|
b192168c73
|
remove noisy tests
|
2018-09-25 14:49:38 -07:00 |
|
Marcell Vazquez-Chanlatte
|
163ad04bee
|
Merge pull request #16 from mvcisback/pyup-update-pytest-xdist-1.23.0-to-1.23.1
Update pytest-xdist to 1.23.1
|
2018-09-25 14:48:55 -07:00 |
|
Marcell Vazquez-Chanlatte
|
d2ead515cd
|
Merge branch 'master' into pyup-update-pytest-xdist-1.23.0-to-1.23.1
|
2018-09-25 14:45:25 -07:00 |
|
Marcell Vazquez-Chanlatte
|
65e0783047
|
added badges
|
2018-09-25 14:23:12 -07:00 |
|
Marcell Vazquez-Chanlatte
|
521ff82be3
|
disable qa on description
|
2018-09-25 14:17:00 -07:00 |
|
Marcell Vazquez-Chanlatte
|
22949ab0c3
|
make logo smaller
|
2018-09-25 14:15:35 -07:00 |
|
Marcell Vazquez-Chanlatte
|
b616f570ec
|
change to png logo to unifi viewing on other devices
|
2018-09-25 14:14:04 -07:00 |
|
pyup-bot
|
57cdbebc86
|
Update pytest-xdist from 1.23.0 to 1.23.1
|
2018-09-25 13:32:20 -07:00 |
|
Marcell Vazquez-Chanlatte
|
1834e11560
|
bump version
|
2018-09-24 18:06:34 -07:00 |
|
Marcell Vazquez-Chanlatte
|
8bcb6fb603
|
add package description
|
2018-09-24 18:05:26 -07:00 |
|
Marcell Vazquez-Chanlatte
|
60b87348f4
|
Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic
|
2018-09-24 18:02:34 -07:00 |
|
Marcell Vazquez-Chanlatte
|
df9cf5d78b
|
bump version
|
2018-09-24 18:02:20 -07:00 |
|
Marcell Vazquez-Chanlatte
|
4df542912d
|
Merge pull request #14 from mvcisback/pyup-initial-update
Initial Update
|
2018-09-24 17:41:36 -07:00 |
|
pyup-bot
|
9f675756f7
|
Update python-dateutil from 2.6.1 to 2.7.3
|
2018-09-24 17:37:19 -07:00 |
|
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 |
|