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 |
|
Marcell Vazquez-Chanlatte
|
00ec325589
|
precompute lineq timeseries during boolean evaluation
|
2017-04-24 20:17:27 -07:00 |
|
Marcell Vazquez-Chanlatte
|
8f5035a9e3
|
better bounds checking for get_times in boolean circuit
|
2017-04-24 00:07:48 -07:00 |
|
Marcell Vazquez-Chanlatte
|
5d3e2ed354
|
remove numpy dependence
|
2017-04-23 22:33:15 -07:00 |
|
Marcell Vazquez-Chanlatte
|
761db9a51d
|
added traces to requirements.txt
|
2017-04-23 17:05:44 -07:00 |
|
Marcell Vazquez-Chanlatte
|
e35a804775
|
bump version + add pandas conversion code
|
2017-04-23 17:02:29 -07:00 |
|
Marcell Vazquez-Chanlatte
|
4871f993c0
|
removed robustess calculations + finish porting to traces library
|
2017-04-23 12:55:32 -07:00 |
|
Marcell Vazquez-Chanlatte
|
3a7ac439f1
|
fastboolean eval + forgot to add offsets to new get_times function
|
2017-04-23 12:46:26 -07:00 |
|
Marcell Vazquez-Chanlatte
|
e477392664
|
start switch to traces from pandas
|
2017-04-23 12:42:57 -07:00 |
|
Marcell Vazquez-Chanlatte
|
b28898820e
|
implemented timed until as syntatic sugar
|
2017-04-23 09:27:40 -07:00 |
|
Marcell Vazquez-Chanlatte
|
a8cf83402d
|
drop simplification in smooth robustness
|
2017-04-21 00:17:50 -07:00 |
|
Marcell Vazquez-Chanlatte
|
a59756c58e
|
implemented untimed until using bitarrays (although somewhat terribly)
|
2017-04-20 23:16:00 -07:00 |
|
Marcell Vazquez-Chanlatte
|
ba46bfbd05
|
naive implementation of Until
|
2017-04-20 22:11:54 -07:00 |
|
Marcell Vazquez-Chanlatte
|
5eb3674d95
|
keep in lining fast boolean eval bitarray calls
|
2017-04-20 21:40:31 -07:00 |
|
Marcell Vazquez-Chanlatte
|
efcfbf7f0d
|
refactor fastboolean_eval
|
2017-04-20 21:30:23 -07:00 |
|
Marcell Vazquez-Chanlatte
|
07bf9f50e4
|
cache pointwise_sat call
|
2017-04-20 21:08:44 -07:00 |
|
Marcell Vazquez-Chanlatte
|
94934b56c9
|
remove timed until
|
2017-04-20 20:40:49 -07:00 |
|
Marcell Vazquez-Chanlatte
|
476917860e
|
implemented context inlining + fix parsing errors
|
2017-04-20 17:16:15 -07:00 |
|