Marcell Vazquez-Chanlatte
|
8a87f1fc6f
|
Edgecase for t=0
|
2020-09-01 15:12:17 -07:00 |
|
Marcell Vazquez-Chanlatte
|
5edc8e7c10
|
Added regression test for input as signal.
|
2020-08-20 09:40:59 -07:00 |
|
Marcell Vazquez-Chanlatte
|
4f2f72d770
|
Bump python version + relax input time/signal constraints.
|
2020-08-20 09:34:15 -07:00 |
|
Marcell Vazquez-Chanlatte
|
4f883d1565
|
Addresses #219.
|
2020-08-12 12:52:59 -07:00 |
|
Gaudeval
|
f3b84ef0fd
|
Ensure time remains positive following a timeshift
|
2020-08-12 13:51:31 +01:00 |
|
Marcell Vazquez-Chanlatte
|
4287ee857e
|
Fixed timed until.
|
2020-04-06 13:04:14 -07:00 |
|
Marcell Vazquez-Chanlatte
|
74f6efa314
|
fix timed until
|
2020-04-06 13:04:04 -07:00 |
|
Marcell Vazquez-Chanlatte
|
065c93cb2e
|
Fix bug in quantitative.
|
2020-04-06 10:05:07 -07:00 |
|
jimkapin
|
85fc04d20b
|
Fixed issue with underscore in signal names
|
2019-09-17 08:14:12 -07:00 |
|
Marcell Vazquez-Chanlatte
|
c247303615
|
flake8 fix
|
2019-09-09 14:35:13 -07:00 |
|
jimkapin
|
7dc1572b5e
|
Addressed mishandling of starting time values, Issue #107
|
2019-09-03 10:07:40 -07:00 |
|
marcell
|
245f9af28a
|
remove .iloc because it's deprecated
|
2019-02-12 01:05:23 +00:00 |
|
marcell
|
09d6521bad
|
inverted quantitative for signal prop
|
2019-02-12 01:03:46 +00:00 |
|
marcell
|
935f7b466c
|
fix typo
|
2019-02-12 01:01:13 +00:00 |
|
Marcell Vazquez-Chanlatte
|
8a74b88369
|
propogate boolean semantics to sat signal
|
2019-02-11 16:59:13 -08:00 |
|
Marcell Vazquez-Chanlatte
|
0603e219cb
|
forgot comparison op when removing numpy
|
2019-02-11 16:50:01 -08:00 |
|
Marcell Vazquez-Chanlatte
|
39fe118cb3
|
remove numpy dependency
|
2019-02-11 16:35:57 -08:00 |
|
Marcell Vazquez-Chanlatte
|
8a292d0539
|
Support returning entire satisifaction signal
|
2019-02-11 16:21:18 -08:00 |
|
Marcell Vazquez-Chanlatte
|
24971df0d6
|
typevar to placate flake8
|
2018-12-19 11:40:58 -08:00 |
|
Marcell Vazquez-Chanlatte
|
99333230a5
|
fix flake8 non-sense about \ in string literal
|
2018-12-19 11:28:54 -08:00 |
|
Marcell Vazquez-Chanlatte
|
c0b1dfd5ec
|
added Node typevar
|
2018-12-19 11:27:38 -08: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
|
417d17781e
|
remove residule traces dependencies
|
2018-09-24 01:02:00 -07:00 |
|
Marcell Vazquez-Chanlatte
|
dd6bd4b6be
|
reimplement evaluation using discrete-signals library
|
2018-09-24 00:55:43 -07:00 |
|
Marcell Vazquez-Chanlatte
|
1b18efadfa
|
flake8
|
2018-09-18 23:19:58 -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 |
|