Commit graph

  • 3e41918a60
    Merge pull request #21 from mvcisback/pyup-update-pytest-cov-2.5.1-to-2.6.1 Marcell Vazquez-Chanlatte 2019-02-11 16:38:40 -08:00
  • ef322afeb5
    Merge branch 'master' into pyup-update-pytest-cov-2.5.1-to-2.6.1 Marcell Vazquez-Chanlatte 2019-02-11 16:38:23 -08:00
  • 4df792eba9
    Merge pull request #22 from mvcisback/pyup-update-pytest-flake8-0.9-to-1.0.4 Marcell Vazquez-Chanlatte 2019-02-11 16:37:50 -08:00
  • 4ec8e4a83f
    Merge branch 'master' into pyup-update-pytest-flake8-0.9-to-1.0.4 Marcell Vazquez-Chanlatte 2019-02-11 16:37:40 -08:00
  • 99bb04c71f
    Merge pull request #24 from mvcisback/pyup-update-pytest-xdist-1.22.5-to-1.26.1 Marcell Vazquez-Chanlatte 2019-02-11 16:37:12 -08:00
  • bc7033a166
    Merge branch 'master' into pyup-update-pytest-xdist-1.22.5-to-1.26.1 Marcell Vazquez-Chanlatte 2019-02-11 16:37:06 -08:00
  • 7955727561
    Merge pull request #23 from mvcisback/pyup-update-pytest-sugar-0.9.1-to-0.9.2 Marcell Vazquez-Chanlatte 2019-02-11 16:36:42 -08:00
  • 8b3fa52682 Update pytest-xdist from 1.22.5 to 1.26.1 pyup-bot 2019-02-11 16:36:36 -08:00
  • 4938f6e0b1
    Merge pull request #19 from mvcisback/pyup-update-hypothesis-3.66.30-to-4.5.7 Marcell Vazquez-Chanlatte 2019-02-11 16:36:34 -08:00
  • 70beea5169 Update pytest-sugar from 0.9.1 to 0.9.2 pyup-bot 2019-02-11 16:36:32 -08:00
  • 4f581dbd92 Update pytest-flake8 from 0.9 to 1.0.4 pyup-bot 2019-02-11 16:36:28 -08:00
  • 4817662e8d Update pytest-cov from 2.5.1 to 2.6.1 pyup-bot 2019-02-11 16:36:24 -08:00
  • ec533126e8 Update pytest from 3.2.3 to 4.2.0 pyup-bot 2019-02-11 16:36:19 -08:00
  • 3f2efc7437 Update hypothesis from 3.66.30 to 4.5.7 pyup-bot 2019-02-11 16:36:15 -08:00
  • 39fe118cb3 remove numpy dependency Marcell Vazquez-Chanlatte 2019-02-11 16:35:57 -08:00
  • 8a292d0539 Support returning entire satisifaction signal Marcell Vazquez-Chanlatte 2019-02-11 16:20:50 -08:00
  • d9c7c3a6fa
    Update README.md Marcell Vazquez-Chanlatte 2019-02-07 14:58:38 -08:00
  • e28a70c2de
    Update README.md Marcell Vazquez-Chanlatte 2019-01-24 12:13:13 -08:00
  • aea1db33a1
    Update README.md Marcell Vazquez-Chanlatte 2019-01-24 11:35:04 -08:00
  • 47ab04347b
    Merge pull request #18 from mvcisback/pyup-update-lenses-0.4.0-to-0.5.0 Marcell Vazquez-Chanlatte 2019-01-18 12:39:26 -08:00
  • 35735772c3 Update lenses from 0.4.0 to 0.5.0 pyup-bot 2019-01-10 15:48:37 -08:00
  • 24971df0d6 typevar to placate flake8 Marcell Vazquez-Chanlatte 2018-12-19 11:40:58 -08:00
  • 7054e81dde Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic Marcell Vazquez-Chanlatte 2018-12-19 11:29:12 -08:00
  • 99333230a5 fix flake8 non-sense about \ in string literal Marcell Vazquez-Chanlatte 2018-12-19 11:28:54 -08:00
  • c0b1dfd5ec added Node typevar Marcell Vazquez-Chanlatte 2018-12-19 11:27:38 -08:00
  • ccaaa6de33
    Update README.md Marcell Vazquez-Chanlatte 2018-12-19 11:24:02 -08:00
  • 05404d786e
    Update README.md Marcell Vazquez-Chanlatte 2018-12-19 11:23:16 -08:00
  • 74dc779b2d
    Update README.md Marcell Vazquez-Chanlatte 2018-12-19 11:21:27 -08:00
  • ba56886a4d Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic Marcell Vazquez-Chanlatte 2018-12-19 11:08:37 -08:00
  • eeb54a48b6 make logo background white Marcell Vazquez-Chanlatte 2018-12-19 11:08:23 -08:00
  • 7fe46c4945
    Merge pull request #17 from mvcisback/pyup-update-funcy-1.10.3-to-1.11 Marcell Vazquez-Chanlatte 2018-10-04 13:10:21 -07:00
  • fc78400220 Update funcy from 1.10.3 to 1.11 pyup-bot 2018-09-29 00:05:16 -07:00
  • 9187d8f05e
    Update README.md Marcell Vazquez-Chanlatte 2018-09-27 22:45:06 -07:00
  • df7bb6f3c8 sync logo and logo_text Marcell Vazquez-Chanlatte 2018-09-27 15:20:49 -07:00
  • 57be785a44 add code cov plus run tests in parallel Marcell Vazquez-Chanlatte 2018-09-25 14:52:36 -07:00
  • f4967e8508 Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic Marcell Vazquez-Chanlatte 2018-09-25 14:50:15 -07:00
  • b192168c73 remove noisy tests Marcell Vazquez-Chanlatte 2018-09-25 14:49:38 -07:00
  • 163ad04bee
    Merge pull request #16 from mvcisback/pyup-update-pytest-xdist-1.23.0-to-1.23.1 Marcell Vazquez-Chanlatte 2018-09-25 14:48:55 -07:00
  • d2ead515cd
    Merge branch 'master' into pyup-update-pytest-xdist-1.23.0-to-1.23.1 Marcell Vazquez-Chanlatte 2018-09-25 14:45:25 -07:00
  • 65e0783047 added badges Marcell Vazquez-Chanlatte 2018-09-25 14:23:12 -07:00
  • 521ff82be3 disable qa on description Marcell Vazquez-Chanlatte 2018-09-25 14:17:00 -07:00
  • 22949ab0c3 make logo smaller Marcell Vazquez-Chanlatte 2018-09-25 14:15:35 -07:00
  • b616f570ec change to png logo to unifi viewing on other devices Marcell Vazquez-Chanlatte 2018-09-25 14:14:04 -07:00
  • 57cdbebc86 Update pytest-xdist from 1.23.0 to 1.23.1 pyup-bot 2018-09-25 13:32:20 -07:00
  • 1834e11560 bump version Marcell Vazquez-Chanlatte 2018-09-24 18:06:34 -07:00
  • 8bcb6fb603 add package description Marcell Vazquez-Chanlatte 2018-09-24 18:05:26 -07:00
  • 60b87348f4 Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic Marcell Vazquez-Chanlatte 2018-09-24 18:02:34 -07:00
  • df9cf5d78b bump version Marcell Vazquez-Chanlatte 2018-09-24 18:02:20 -07:00
  • 4df542912d
    Merge pull request #14 from mvcisback/pyup-initial-update Marcell Vazquez-Chanlatte 2018-09-24 17:41:36 -07:00
  • 9f675756f7 Update python-dateutil from 2.6.1 to 2.7.3 pyup-bot 2018-09-24 17:37:19 -07:00
  • b0eb9c2247 Update pytest-xdist from 1.20.1 to 1.23.0 pyup-bot 2018-09-24 17:37:17 -07:00
  • 938b07d46f Update pytest-isort from 0.1.0 to 0.2.1 pyup-bot 2018-09-24 17:37:16 -07:00
  • 96cb9cb4cd Update pytest-flake8 from 0.9 to 1.0.2 pyup-bot 2018-09-24 17:37:14 -07:00
  • ca38cf56f5 Update pytest-cov from 2.5.1 to 2.6.0 pyup-bot 2018-09-24 17:37:13 -07:00
  • df6b2bdac6 Update pytest from 3.2.3 to 3.8.1 pyup-bot 2018-09-24 17:37:11 -07:00
  • ee5df99f48 Update hypothesis from 3.32.1 to 3.73.0 pyup-bot 2018-09-24 17:37:10 -07:00
  • 7869a880f7 Update parsimonious from 0.7.0 to 0.8.1 pyup-bot 2018-09-24 17:37:08 -07:00
  • 24380ebc80 Update funcy from 1.9.1 to 1.10.3 pyup-bot 2018-09-24 17:37:07 -07:00
  • d156d1b958 Update attrs from 18.1.0 to 18.2.0 pyup-bot 2018-09-24 17:37:06 -07:00
  • 6075df175b forgot to add sugar module + fix breakage due to sugar module Marcell Vazquez-Chanlatte 2018-09-24 17:27:57 -07:00
  • 7002246850 document utilities and python api Marcell Vazquez-Chanlatte 2018-09-24 17:11:24 -07:00
  • aa6ebbfc67 added details in readme about using parse api for modal operators Marcell Vazquez-Chanlatte 2018-09-24 16:36:41 -07:00
  • b7f17c1322 start developing readme Marcell Vazquez-Chanlatte 2018-09-24 16:29:39 -07:00
  • a4f68c84cf Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic Marcell Vazquez-Chanlatte 2018-09-24 15:30:42 -07:00
  • 1e5119c196 add interval Marcell Vazquez-Chanlatte 2018-09-24 15:30:25 -07:00
  • 4a3dee2660
    Update README.md Marcell Vazquez-Chanlatte 2018-09-24 15:19:15 -07:00
  • 6747021605 add wording to logo Marcell Vazquez-Chanlatte 2018-09-24 15:17:30 -07:00
  • 5c0fbe246c updated logo Marcell Vazquez-Chanlatte 2018-09-24 15:16:34 -07:00
  • de793ba9bb Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic Marcell Vazquez-Chanlatte 2018-09-24 11:03:33 -07:00
  • 874a3c29c6 added logo + set proper version Marcell Vazquez-Chanlatte 2018-09-24 11:03:18 -07:00
  • 6355e33623
    Update README.md Marcell Vazquez-Chanlatte 2018-09-24 01:20:54 -07:00
  • 7ca635aa9d explicitly add attrs==18.1.0 as requirement Marcell Vazquez-Chanlatte 2018-09-24 01:08:35 -07:00
  • a9bdc93f50 use discrete-signals github Marcell Vazquez-Chanlatte 2018-09-24 01:05:49 -07:00
  • 417d17781e remove residule traces dependencies Marcell Vazquez-Chanlatte 2018-09-24 01:02:00 -07:00
  • 266898c8ec pinned attrs version in requirements.txt Marcell Vazquez-Chanlatte 2018-09-24 00:58:42 -07:00
  • dd6bd4b6be reimplement evaluation using discrete-signals library Marcell Vazquez-Chanlatte 2018-09-24 00:55:43 -07:00
  • cfbdabf517 bump traces Marcell Vazquez-Chanlatte 2018-09-18 23:22:25 -07:00
  • 1b18efadfa flake8 Marcell Vazquez-Chanlatte 2018-09-18 23:19:58 -07:00
  • 25dfee86b0 Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic Marcell Vazquez-Chanlatte 2018-09-18 23:13:55 -07:00
  • b66476e439
    Update README.md Marcell Vazquez-Chanlatte 2018-09-18 23:12:23 -07:00
  • 472fd45ce2 Integrate attr libraries Marcell Vazquez-Chanlatte 2018-09-17 22:43:21 -07:00
  • fb2e79b807 propogate TRUE/FALSE encoding changes Marcell Vazquez-Chanlatte 2018-09-08 00:47:45 -07:00
  • a72a1a1665 fix travis + change parsing of true/false Marcell Vazquez-Chanlatte 2018-09-08 00:34:20 -07:00
  • 98824c9ba1 continue refactoring to optimize for mtl Marcell Vazquez-Chanlatte 2018-09-06 11:09:01 -07:00
  • 5fd66cfd2c flake8 fixes + unregister LinEq in boolean eval Marcell Vazquez-Chanlatte 2018-09-06 01:28:19 -07:00
  • d2cd678018 Remove LinEq type Marcell Vazquez-Chanlatte 2018-09-06 01:24:42 -07:00
  • b9b10ac835 simplify parser + start removing lineq code Marcell Vazquez-Chanlatte 2018-09-06 01:19:06 -07:00
  • 7798fe679e added horizon option to discretize Marcell Vazquez-Chanlatte 2018-05-04 19:50:04 -07:00
  • c1a6e18068 default call time is 0 Marcell Vazquez-Chanlatte 2017-12-16 14:31:12 -08:00
  • 80f24cf74b implement callable interface for evaluating a specification Marcell Vazquez-Chanlatte 2017-12-16 14:30:27 -08:00
  • 5b7fea3953 add rshift (>>) : SLT x Int -> STL as next(self, i) Marcell Vazquez-Chanlatte 2017-12-07 19:00:07 -08:00
  • 8f4e511326 use lenses.Recur instead of ast_lens Marcell Vazquez-Chanlatte 2017-11-30 22:46:12 -08:00
  • 799a9df006 revert due to bug in lens.Recur for NamedTuple Marcell Vazquez-Chanlatte 2017-11-30 17:54:53 -08:00
  • d9f14b0be4 Start using lens.Recur Marcell Vazquez-Chanlatte 2017-11-30 17:47:52 -08:00
  • 38b8c1838f support discretizing top and bot Marcell Vazquez-Chanlatte 2017-11-27 13:10:56 -08:00
  • b3bba24336 make t=0 default in boolean eval Marcell Vazquez-Chanlatte 2017-11-26 20:40:44 -08:00
  • 9098cff929 added var_names property Marcell Vazquez-Chanlatte 2017-11-26 20:01:54 -08:00
  • 034bc22955 added coverage badge Marcell Vazquez-Chanlatte 2017-11-22 23:10:35 -08:00
  • 3681691fb1 added automated coverage output for tests Marcell Vazquez-Chanlatte 2017-11-22 23:08:13 -08:00
  • 194eb10e5a yapf Marcell Vazquez-Chanlatte 2017-11-22 13:58:51 -08:00