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

Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2018-09-24 18:02:34 -07:00
commit 60b87348f4
1 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

20
requirements.txt
View file

@ -1,19 +1,19 @@
-e git://github.com/mvcisback/hypothesis-cfg@master#egg=hypothesis-cfg -e git://github.com/mvcisback/hypothesis-cfg@master#egg=hypothesis-cfg
-e git://github.com/mvcisback/DiscreteSignals@master#egg=discrete-signals -e git://github.com/mvcisback/DiscreteSignals@master#egg=discrete-signals
attrs==18.1.0 attrs==18.2.0
funcy==1.9.1 funcy==1.10.3
lenses==0.4.0 lenses==0.4.0
parsimonious==0.7.0 parsimonious==0.8.1
hypothesis==3.32.1 hypothesis==3.73.0
pytest==3.2.3 pytest==3.8.1
pytest-bpdb==0.1.4 pytest-bpdb==0.1.4
pytest-cache==1.0 pytest-cache==1.0
pytest-colordots==1.1 pytest-colordots==1.1
pytest-cov==2.5.1 pytest-cov==2.6.0
pytest-flake8==0.9 pytest-flake8==1.0.2
pytest-forked==0.2 pytest-forked==0.2
pytest-isort==0.1.0 pytest-isort==0.2.1
pytest-pep8==1.0.6 pytest-pep8==1.0.6
pytest-xdist==1.20.1 pytest-xdist==1.23.0
python-dateutil==2.6.1 python-dateutil==2.7.3