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

Commit graph

  • 249d867b17 access log to stdout main Joeri Exelmans 2025-11-13 15:27:32 +01:00
  • 844215b18e better error handling + log access to stderr Joeri Exelmans 2025-11-13 13:21:21 +01:00
  • 5ac29af132 clearer errors Joeri Exelmans 2025-11-06 20:57:08 +01:00
  • 95b14ee41b add script that runs gunicorn production server Joeri Exelmans 2025-11-06 10:30:20 +01:00
  • 8359d6e521 turn this thing into a HTTP endpoint Joeri Exelmans 2025-11-05 23:53:29 +01:00
  • ceb2567ef9
         chore: Bump dependencies. Marcell Vazquez-Chanlatte 2023-02-19 23:09:14 -08:00
  • 1a48956fd3
         Merge pull request #228 from dfremont/master Marcell Vazquez-Chanlatte 2023-02-19 22:56:53 -08:00
  • d098974800 support Python 3.11 Daniel Fremont 2023-02-13 13:32:52 -08:00
  • 50c265c7ec
         docs: Small typo in the readme Marcell Vazquez-Chanlatte 2023-01-27 21:35:26 -08:00
  • a0e76e762d
         Small typo Andrea Burattin 2023-01-27 09:25:48 +01:00
  • 7fc5645376
         chore: Remove broken flake8 test. Marcell Vazquez-Chanlatte 2022-09-23 23:02:59 -07:00
  • ac6a8b3b0a
         chore: bump version. Marcell Vazquez-Chanlatte 2022-09-23 22:25:33 -07:00
  • 9b08b4629c
         feat: allow hyphens in AP names. Marcell Vazquez-Chanlatte 2022-09-23 22:24:57 -07:00
  • dcfff04b14
         Bump minor verison. Marcell Vazquez-Chanlatte 2022-09-19 22:02:21 -07:00
  • 03d17ca51f
         Allow capital letters after first letter. Marcell Vazquez-Chanlatte 2022-09-19 22:01:25 -07:00
  • 7892da8db2 Upgrade dependencies. Marcell Vazquez-Chanlatte 2022-09-11 22:30:11 -07:00
  • b2f4b1efd1
         Create CITATION.cff Marcell Vazquez-Chanlatte 2021-08-02 15:04:31 -07:00
  • bab909b7fc Patch bump for Until bug fix. Marcell Vazquez-Chanlatte 2021-01-06 22:35:16 -08:00
  • 2aaa340f30
         Merge pull request #222 from Gaudeval/fix/221-until-slicing Marcell Vazquez-Chanlatte 2021-01-06 22:30:53 -08:00
  • c53e490f80 Force evaluation of timed always at candidate pivot points Gaudeval 2021-01-06 14:37:05 +00:00
  • 927d259fff Add test for missing values in timed until evaluation Gaudeval 2021-01-06 14:10:58 +00:00
  • bbb187f26c Merge branch 'master' into fix/221-until-slicing Gaudeval 2021-01-06 11:16:07 +00:00
  • 403b73a8cf
         Merge pull request #2 from mvcisback/master Gaudeval 2021-01-06 11:12:13 +00:00
  • 2cff512933 Fix until output not valued at signal start Gaudeval 2021-01-06 10:56:05 +00:00
  • 5a6abd1b5b bump patch version. Marcell Vazquez-Chanlatte 2020-09-01 15:13:38 -07:00
  • 8a87f1fc6f Edgecase for t=0 Marcell Vazquez-Chanlatte 2020-09-01 15:12:17 -07:00
  • b93d1863ec bump minor version. Marcell Vazquez-Chanlatte 2020-08-20 09:42:20 -07:00
  • 5edc8e7c10 Added regression test for input as signal. Marcell Vazquez-Chanlatte 2020-08-20 09:40:59 -07:00
  • 4f2f72d770 Bump python version + relax input time/signal constraints. Marcell Vazquez-Chanlatte 2020-08-20 09:34:15 -07:00
  • 0195ab295d
         Merge pull request #1 from mvcisback/master Gaudeval 2020-08-14 14:57:07 +01:00
  • 4f883d1565 Addresses #219. Marcell Vazquez-Chanlatte 2020-08-12 12:52:59 -07:00
  • 21b8addad7
         Merge pull request #220 from Gaudeval/master Marcell Vazquez-Chanlatte 2020-08-12 10:03:13 -07:00
  • f3b84ef0fd Ensure time remains positive following a timeshift Gaudeval 2020-08-12 13:51:31 +01:00
  • 4f138133ef
         Merge pull request #218 from kveretennicov/patch-1 Marcell Vazquez-Chanlatte 2020-04-27 16:05:05 -07:00
  • ff2aa5d399
         Fix example code in README Konstantin Veretennicov 2020-04-27 19:16:16 +01:00
  • d0e807184b
         Update README.md Marcell Vazquez-Chanlatte 2020-04-06 18:28:20 -07:00
  • 998f51a08d patch update Marcell Vazquez-Chanlatte 2020-04-06 13:05:03 -07:00
  • 4287ee857e Fixed timed until. Marcell Vazquez-Chanlatte 2020-04-06 13:04:14 -07:00
  • 74f6efa314 fix timed until Marcell Vazquez-Chanlatte 2020-04-06 13:04:04 -07:00
  • 31c3d3bead bump patch version. Marcell Vazquez-Chanlatte 2020-04-06 10:57:26 -07:00
  • ebc90eaa01 Update boolean semantics section. Marcell Vazquez-Chanlatte 2020-04-06 10:10:56 -07:00
  • 065c93cb2e Fix bug in quantitative. Marcell Vazquez-Chanlatte 2020-04-06 10:05:07 -07:00
  • f7d8126da7 bump patch version. Marcell Vazquez-Chanlatte 2020-03-02 09:55:03 -08:00
  • 16fdcbc780 Updated installation instructions. Marcell Vazquez-Chanlatte 2020-02-10 10:39:30 -08:00
  • 1cb74b6a26 update badge. Marcell Vazquez-Chanlatte 2020-02-10 10:24:33 -08:00
  • 500438ba85 switch to drone.yml Marcell Vazquez-Chanlatte 2020-02-10 10:20:44 -08:00
  • 99690fa3fc Fix toml file. Marcell Vazquez-Chanlatte 2020-02-10 10:19:10 -08:00
  • 69c2afd76b Remove update badge Marcell Vazquez-Chanlatte 2020-02-10 10:14:09 -08:00
  • 55ef2e8c17
         Merge pull request #184 from dreossi/fix-typo Marcell Vazquez-Chanlatte 2019-12-09 16:06:33 -08:00
  • 9b8fa167a8 Fix typos in evaluation examples Dreossi 2019-12-09 15:59:04 -08:00
  • 5f2071a02c bump version Marcell Vazquez-Chanlatte 2019-10-08 19:18:14 -07:00
  • cc2b814555
         Merge pull request #129 from jpk15211/hotfix/underscore-signals Marcell Vazquez-Chanlatte 2019-10-08 19:16:53 -07:00
  • 85fc04d20b Fixed issue with underscore in signal names jimkapin 2019-09-17 08:14:12 -07:00
  • 2ee8bb3e51 bump version Marcell Vazquez-Chanlatte 2019-09-09 15:23:14 -07:00
  • c247303615 flake8 fix Marcell Vazquez-Chanlatte 2019-09-09 14:35:13 -07:00
  • 8b85376e9b
         Merge pull request #125 from jpk15211/hotfix/start-times Marcell Vazquez-Chanlatte 2019-09-09 14:30:42 -07:00
  • 7dc1572b5e Addressed mishandling of starting time values, Issue #107 jimkapin 2019-09-03 10:07:40 -07:00
  • 4f8e66b52a
         Added TOC Marcell Vazquez-Chanlatte 2019-07-05 18:36:52 -07:00
  • b3bba8de4c
         Update README.md Marcell Vazquez-Chanlatte 2019-07-05 18:35:04 -07:00
  • 5d3cb01ddf
         Merge pull request #66 from mvcisback/pyup-update-pytest-xdist-1.27.0-to-1.28.0 Marcell Vazquez-Chanlatte 2019-06-05 22:06:46 -07:00
  • b3cac55fad
         Merge branch 'master' into pyup-update-pytest-xdist-1.27.0-to-1.28.0 Marcell Vazquez-Chanlatte 2019-06-05 22:01:34 -07:00
  • 557fb7da63
         Merge pull request #79 from mvcisback/pyup-update-pytest-cov-2.6.1-to-2.7.1 Marcell Vazquez-Chanlatte 2019-06-05 22:01:24 -07:00
  • 9e06b0eac8
         Merge branch 'master' into pyup-update-pytest-xdist-1.27.0-to-1.28.0 Marcell Vazquez-Chanlatte 2019-06-05 21:59:14 -07:00
  • 2e6b7b774e
         Merge branch 'master' into pyup-update-pytest-cov-2.6.1-to-2.7.1 Marcell Vazquez-Chanlatte 2019-06-05 21:59:05 -07:00
  • 39a39ba9be
         Merge pull request #74 from mvcisback/pyup-update-funcy-1.11-to-1.12 Marcell Vazquez-Chanlatte 2019-06-05 21:58:43 -07:00
  • 1245b4da85
         Merge branch 'master' into pyup-update-funcy-1.11-to-1.12 Marcell Vazquez-Chanlatte 2019-06-05 21:58:28 -07:00
  • b3858dcf53
         Merge branch 'master' into pyup-update-pytest-cov-2.6.1-to-2.7.1 Marcell Vazquez-Chanlatte 2019-06-05 21:57:01 -07:00
  • 6232ebdac3
         Merge pull request #95 from mvcisback/pyup-update-pytest-4.3.1-to-4.6.2 Marcell Vazquez-Chanlatte 2019-06-05 21:55:56 -07:00
  • cc9fe0f9a5
         Merge pull request #96 from mvcisback/pyup-update-hypothesis-4.14.0-to-4.24.1 Marcell Vazquez-Chanlatte 2019-06-05 21:55:37 -07:00
  • 888682a309 Update hypothesis from 4.14.0 to 4.24.1 pyup-bot 2019-06-04 18:30:59 -07:00
  • f3799e7467 Update pytest from 4.3.1 to 4.6.2 pyup-bot 2019-06-04 03:12:41 -07:00
  • 5276f4dbd7 Update pytest-cov from 2.6.1 to 2.7.1 pyup-bot 2019-05-03 09:52:33 -07:00
  • 6a52903f8f Update funcy from 1.11 to 1.12 pyup-bot 2019-04-17 09:18:56 -07:00
  • f9e5e00cdc Update pytest-xdist from 1.27.0 to 1.28.0 pyup-bot 2019-04-03 14:51:38 -07:00
  • c833ff3e01
         Merge pull request #47 from mvcisback/pyup-update-attrs-18.2.0-to-19.1.0 Marcell Vazquez-Chanlatte 2019-03-22 15:49:47 -07:00
  • fee26176e4
         Merge branch 'master' into pyup-update-attrs-18.2.0-to-19.1.0 Marcell Vazquez-Chanlatte 2019-03-22 15:49:41 -07:00
  • 881c6f5aef
         Merge pull request #54 from mvcisback/pyup-update-pytest-4.2.0-to-4.3.1 Marcell Vazquez-Chanlatte 2019-03-22 15:49:26 -07:00
  • bace43fbf8
         Merge pull request #60 from mvcisback/pyup-update-hypothesis-4.5.8-to-4.14.0 Marcell Vazquez-Chanlatte 2019-03-22 15:49:18 -07:00
  • fb6da4e4f4
         Merge branch 'master' into pyup-update-hypothesis-4.5.8-to-4.14.0 Marcell Vazquez-Chanlatte 2019-03-22 15:49:13 -07:00
  • 65268d1799
         Merge pull request #61 from mvcisback/pyup-update-pytest-xdist-1.22.5-to-1.27.0 Marcell Vazquez-Chanlatte 2019-03-22 15:49:00 -07:00
  • 9ab35d9d98 Update pytest-xdist from 1.22.5 to 1.27.0 pyup-bot 2019-03-20 17:08:04 -07:00
  • 9a3afc1a30 Update hypothesis from 4.5.8 to 4.14.0 pyup-bot 2019-03-20 01:56:05 -07:00
  • c7588d8b95 Update pytest from 4.2.0 to 4.3.1 pyup-bot 2019-03-12 23:52:57 -07:00
  • 54badf74d4 Update attrs from 18.2.0 to 19.1.0 pyup-bot 2019-03-03 04:48:39 -08:00
  • 16b5d49b5a
         Merge pull request #26 from mvcisback/pyup-update-hypothesis-4.5.7-to-4.5.8 Marcell Vazquez-Chanlatte 2019-02-12 18:43:52 -08:00
  • 1577e85f37 Update hypothesis from 4.5.7 to 4.5.8 pyup-bot 2019-02-12 15:14:42 -08:00
  • 590dcfbdfa
         Update README.md Marcell Vazquez-Chanlatte 2019-02-11 17:11:28 -08:00
  • 117dfc9276
         Update README.md Marcell Vazquez-Chanlatte 2019-02-11 17:09:54 -08:00
  • 6bcb7c9f92 version bump marcell 2019-02-12 01:06:47 +00:00
  • 245f9af28a remove .iloc because it's deprecated marcell 2019-02-12 01:05:23 +00:00
  • 09d6521bad inverted quantitative for signal prop marcell 2019-02-12 01:03:46 +00:00
  • 935f7b466c fix typo marcell 2019-02-12 01:01:13 +00:00
  • 14e215a8b2 Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic Marcell Vazquez-Chanlatte 2019-02-11 16:59:33 -08:00
  • 8a74b88369 propogate boolean semantics to sat signal Marcell Vazquez-Chanlatte 2019-02-11 16:59:13 -08:00
  • ecc6aa8409
         Merge pull request #25 from mvcisback/mvcisback-patch-1 Marcell Vazquez-Chanlatte 2019-02-11 16:50:27 -08:00
  • 0603e219cb forgot comparison op when removing numpy Marcell Vazquez-Chanlatte 2019-02-11 16:50:01 -08:00
  • f1aea19c7c
         Update README.md Marcell Vazquez-Chanlatte 2019-02-11 16:48:03 -08:00
  • 4df512a087 remove redudant pytest entry Marcell Vazquez-Chanlatte 2019-02-11 16:41:03 -08:00
  • 145e4e04c6
         Merge pull request #20 from mvcisback/pyup-update-pytest-3.2.3-to-4.2.0 Marcell Vazquez-Chanlatte 2019-02-11 16:39:17 -08:00
  • a50a423585
         Merge branch 'master' into pyup-update-pytest-3.2.3-to-4.2.0 Marcell Vazquez-Chanlatte 2019-02-11 16:39:09 -08:00