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 |
|
Marcell Vazquez-Chanlatte
|
212a8c195a
|
stl generator
|
2017-09-29 21:13:22 -07:00 |
|
Marcell Vazquez-Chanlatte
|
7e3d43bbea
|
trying to figure out requirements.txt syntax
|
2017-09-27 21:57:04 -07:00 |
|
Marcell Vazquez-Chanlatte
|
dbc31ebf87
|
removing dead tests + add hypothesis-cfg in requirements.txt
|
2017-09-27 21:53:18 -07:00 |
|
Marcell Vazquez-Chanlatte
|
651d6e352b
|
deleting dead code
|
2017-09-27 21:47:38 -07:00 |
|
Marcell Vazquez-Chanlatte
|
91d7b72ef1
|
removing time support from STL parser
|
2017-09-27 21:43:23 -07:00 |
|
Marcell Vazquez-Chanlatte
|
0367760f1b
|
check for invertability in parser
|
2017-09-27 21:31:46 -07:00 |
|
Marcell Vazquez-Chanlatte
|
bbe76b714c
|
remove hypothesis testing
|
2017-09-25 23:11:10 -07:00 |
|
Marcell Vazquez-Chanlatte
|
c7e16566a0
|
syncing builds start moving to hypothesis
|
2017-09-25 23:05:18 -07:00 |
|
Marcell Vazquez-Chanlatte
|
f04f1b3eeb
|
untimed until bug fixes
|
2017-04-24 23:31:56 -07:00 |
|
Marcell Vazquez-Chanlatte
|
8ec0013235
|
remove debug statement
|
2017-04-24 21:45:04 -07:00 |
|