Marcell Vazquez-Chanlatte
|
b66476e439
|
Update README.md
|
2018-09-18 23:12:23 -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 |
|
Marcell Vazquez-Chanlatte
|
5fd66cfd2c
|
flake8 fixes + unregister LinEq in boolean eval
|
2018-09-06 01:28:19 -07:00 |
|
Marcell Vazquez-Chanlatte
|
d2cd678018
|
Remove LinEq type
|
2018-09-06 01:24:42 -07:00 |
|
Marcell Vazquez-Chanlatte
|
b9b10ac835
|
simplify parser + start removing lineq code
|
2018-09-06 01:19:06 -07:00 |
|
Marcell Vazquez-Chanlatte
|
7798fe679e
|
added horizon option to discretize
|
2018-05-04 19:50:04 -07:00 |
|
Marcell Vazquez-Chanlatte
|
c1a6e18068
|
default call time is 0
|
2017-12-16 14:31:12 -08:00 |
|
Marcell Vazquez-Chanlatte
|
80f24cf74b
|
implement callable interface for evaluating a specification
|
2017-12-16 14:30:27 -08:00 |
|
Marcell Vazquez-Chanlatte
|
5b7fea3953
|
add rshift (>>) : SLT x Int -> STL as next(self, i)
|
2017-12-07 19:00:07 -08:00 |
|
Marcell Vazquez-Chanlatte
|
8f4e511326
|
use lenses.Recur instead of ast_lens
|
2017-11-30 22:46:12 -08:00 |
|
Marcell Vazquez-Chanlatte
|
799a9df006
|
revert due to bug in lens.Recur for NamedTuple
|
2017-11-30 17:54:53 -08:00 |
|
Marcell Vazquez-Chanlatte
|
d9f14b0be4
|
Start using lens.Recur
|
2017-11-30 17:47:52 -08:00 |
|
Marcell Vazquez-Chanlatte
|
38b8c1838f
|
support discretizing top and bot
|
2017-11-27 13:10:56 -08:00 |
|
Marcell Vazquez-Chanlatte
|
b3bba24336
|
make t=0 default in boolean eval
|
2017-11-26 20:40:44 -08:00 |
|
Marcell Vazquez-Chanlatte
|
9098cff929
|
added var_names property
|
2017-11-26 20:01:54 -08:00 |
|
Marcell Vazquez-Chanlatte
|
034bc22955
|
added coverage badge
|
2017-11-22 23:10:35 -08:00 |
|
Marcell Vazquez-Chanlatte
|
3681691fb1
|
added automated coverage output for tests
|
2017-11-22 23:08:13 -08:00 |
|
Marcell Vazquez-Chanlatte
|
194eb10e5a
|
yapf
|
2017-11-22 13:58:51 -08:00 |
|
Marcell Vazquez-Chanlatte
|
268d8bdd8f
|
add ability to distribute next (push to bottom of AST)
|
2017-11-22 13:03:32 -08:00 |
|
Marcell Vazquez-Chanlatte
|
caaaa0cdae
|
added extra scope test
|
2017-11-22 12:26:43 -08:00 |
|
Marcell Vazquez-Chanlatte
|
2c34d9dc7a
|
added code to get scope of stl formula
|
2017-11-22 12:21:44 -08:00 |
|
Marcell Vazquez-Chanlatte
|
e491ac7043
|
added code for discretizing bounded stl
|
2017-11-22 11:56:23 -08:00 |
|
Marcell Vazquez-Chanlatte
|
dc704a6b13
|
increase test coverage in preperation for completing fastboolean eval
|
2017-11-14 20:43:22 -08:00 |
|
Marcell Vazquez-Chanlatte
|
d8bdab4e6a
|
reimplement + test implicit validity domain function
|
2017-11-14 10:50:25 -08:00 |
|
Marcell Vazquez-Chanlatte
|
fd555661a0
|
added test coverage for f_neg_canonical_form
|
2017-11-14 10:08:40 -08:00 |
|
Marcell Vazquez-Chanlatte
|
7aed260d5d
|
fixed inline context + added tests for inline context
|
2017-11-14 09:58:56 -08:00 |
|
Marcell Vazquez-Chanlatte
|
f7f322148e
|
added test for f_neg_canonical form
|
2017-11-13 12:44:39 -08:00 |
|
Marcell Vazquez-Chanlatte
|
c495216626
|
fixed bug in next operator and global operator
|
2017-11-12 11:47:00 -08:00 |
|
Marcell Vazquez-Chanlatte
|
cdc18225fd
|
remove hypothesis debug code
|
2017-11-12 11:11:33 -08:00 |
|
Marcell Vazquez-Chanlatte
|
62e4ca1ce1
|
decrease size of generated STL to increase unit test speed
|
2017-11-12 11:09:50 -08:00 |
|
Marcell Vazquez-Chanlatte
|
77a904d050
|
implemented boolean evaluator + increasing converage
|
2017-11-12 11:04:56 -08:00 |
|
Marcell Vazquez-Chanlatte
|
f53cab4485
|
fix bug in global evaluator
|
2017-11-11 18:00:33 -08:00 |
|
Marcell Vazquez-Chanlatte
|
cba8a83c8e
|
payed off testing technical debt + bug fixes + traces based evaluator
|
2017-11-11 17:35:48 -08:00 |
|
Marcell Vazquez-Chanlatte
|
72639bc59f
|
added helper function for featurizing a spec
|
2017-10-31 21:14:34 -07:00 |
|
Marcell Vazquez-Chanlatte
|
75042d0dc4
|
step towards actually testing boolean evaluation on random formulas
|
2017-10-31 20:54:57 -07:00 |
|
Marcell Vazquez-Chanlatte
|
7d8cf78222
|
make ast objects easier to work with
|
2017-10-31 18:29:31 -07:00 |
|
Marcell Vazquez-Chanlatte
|
2640728288
|
yapf run
|
2017-10-30 15:00:55 -07:00 |
|
Marcell Vazquez-Chanlatte
|
c18cd58cb5
|
added list params utility function
|
2017-10-30 14:31:23 -07:00 |
|
Marcell Vazquez-Chanlatte
|
73301b801f
|
isort is noisy
|
2017-10-26 22:20:04 -07:00 |
|
Marcell Vazquez-Chanlatte
|
0a5d684127
|
pytests pass locally
|
2017-10-26 22:15:22 -07:00 |
|
Marcell Vazquez-Chanlatte
|
bca2706c85
|
.
|
2017-10-26 22:04:13 -07:00 |
|
Marcell Vazquez-Chanlatte
|
a1ca4c6579
|
yapf + pylint + add style checks to tests
|
2017-10-26 22:00:03 -07:00 |
|
Marcell Vazquez-Chanlatte
|
d52fffe826
|
getter/setter optics bug fix
|
2017-10-26 17:46:51 -07:00 |
|
Marcell Vazquez-Chanlatte
|
eda63fd6f0
|
Fixed PSTL construction
|
2017-10-26 16:14:45 -07:00 |
|
Marcell Vazquez-Chanlatte
|
d5985406ad
|
pylint fixes
|
2017-10-15 01:11:49 -07:00 |
|
Marcell Vazquez-Chanlatte
|
8dbfc83083
|
formatting + delete dead code
|
2017-10-15 01:05:19 -07:00 |
|
Marcell Vazquez-Chanlatte
|
d78037816b
|
upgrade to new lens version
|
2017-10-15 00:59:58 -07:00 |
|