Marcell Vazquez-Chanlatte
|
f5b23637af
|
implement error bounds in smooth robustness
|
2016-12-10 13:59:06 -08:00 |
|
Marcell Vazquez-Chanlatte
|
8b267fa2c3
|
Implemented smooth_robustness's stl.F encoding
|
2016-12-10 13:38:41 -08:00 |
|
Marcell Vazquez-Chanlatte
|
100f48a0ba
|
started smooth robustness implementation
|
2016-12-10 10:47:35 -08:00 |
|
Marcell Vazquez-Chanlatte
|
5fc2145622
|
factor out boolean ops
|
2016-12-09 11:07:23 -08:00 |
|
Marcell Vazquez-Chanlatte
|
eecb2d409a
|
factor out G and F
|
2016-12-09 10:57:36 -08:00 |
|
Marcell Vazquez-Chanlatte
|
7064f2b4a5
|
Merge pull request #2 from shromonag/master
Updated Globally and conjunction
|
2016-12-09 10:50:17 -08:00 |
|
Shromona MacBook
|
5683a6902f
|
Updated globally and conjunction
|
2016-12-08 22:13:10 -08:00 |
|
Shromona MacBook
|
6f20a4811c
|
Updated fast boolean
|
2016-12-08 22:02:20 -08:00 |
|
Marcell Vazquez-Chanlatte
|
5756362b3c
|
deduplicate fastboolean_eval from boolean_eval + packaging
|
2016-12-03 12:56:33 -08:00 |
|
Marcell Vazquez-Chanlatte
|
c41231e964
|
Merge pull request #1 from shromonag/master
Looks good. Going to merge and update setup.py to have bitarray as a dependency
|
2016-12-03 12:33:06 -08:00 |
|
Shromona MacBook
|
8cae363e61
|
Fast boolean with eval
|
2016-12-03 01:21:00 -08:00 |
|
Shromona MacBook
|
d5f38e27ed
|
Fast boolean eval
|
2016-12-03 01:14:55 -08:00 |
|
Shromona MacBook
|
fb80b0c3ce
|
Updated fast boolean
|
2016-12-02 14:27:04 -08:00 |
|
Shromona MacBook
|
92ff8c1526
|
Fast boolean evaluation
|
2016-12-01 18:29:50 -08:00 |
|
Marcell Vazquez-Chanlatte
|
843304ed79
|
fix test and update version
|
2016-11-07 12:14:21 -08:00 |
|
Marcell Vazquez-Chanlatte
|
3292557b56
|
Merge branch 'master' of github.com:mvcisback/py-stl
|
2016-11-07 10:51:32 -08:00 |
|
Marcell Vazquez-Chanlatte
|
899c73fa42
|
add gitignore + add README
|
2016-11-07 10:25:49 -08:00 |
|
Marcell Vazquez-Chanlatte
|
9e30ddb060
|
testing boolean evaluation
|
2016-11-04 15:59:32 -07:00 |
|
Marcell Vazquez-Chanlatte
|
c46e325cf8
|
start addeding atomic propositions
|
2016-11-04 14:45:30 -07:00 |
|
Marcell Vazquez-Chanlatte
|
4c46db7f71
|
restructing to move repo
|
2016-11-02 17:54:47 -07:00 |
|
Marcell Vazquez-Chanlatte
|
d658907c4c
|
update import api
|
2016-10-11 10:59:57 -07:00 |
|
Marcell Vazquez-Chanlatte
|
374b080c42
|
add depenedencies + bounds checks
|
2016-10-11 10:52:52 -07:00 |
|
Marcell Vazquez-Chanlatte
|
b040a6c425
|
interpolate in boolean eval
|
2016-10-10 22:19:46 -07:00 |
|
Marcell Vazquez-Chanlatte
|
2ade1a678b
|
interpolate if necessary
|
2016-10-10 22:10:56 -07:00 |
|
Marcell Vazquez-Chanlatte
|
0781605f78
|
add cautionary TODO
|
2016-10-10 00:20:59 -07:00 |
|
Marcell Vazquez-Chanlatte
|
399bf2f421
|
switch to Boolean semantics for synth
|
2016-10-10 00:19:07 -07:00 |
|
Marcell Vazquez-Chanlatte
|
1882f24506
|
add boolean semantics
|
2016-10-10 00:13:05 -07:00 |
|
Marcell Vazquez-Chanlatte
|
47967b462b
|
add test for moving on 0 robustness
|
2016-10-10 00:04:10 -07:00 |
|
Marcell Vazquez-Chanlatte
|
5970c77cb9
|
lazily compute early termination boundary conditions
|
2016-10-09 23:49:52 -07:00 |
|
Marcell Vazquez-Chanlatte
|
da669f088d
|
fix bug in robustness calculation + move synth for it's on module
|
2016-10-09 23:42:22 -07:00 |
|
Marcell Vazquez-Chanlatte
|
9b42d9bb57
|
test formula with no satisifiable assignment
|
2016-10-09 23:19:50 -07:00 |
|
Marcell Vazquez-Chanlatte
|
aec3c0d15b
|
implemented robustness
|
2016-10-09 23:14:20 -07:00 |
|
Marcell Vazquez-Chanlatte
|
c6810d8d75
|
fix bugs in binary search (still broken)
|
2016-10-09 22:34:28 -07:00 |
|
Marcell Vazquez-Chanlatte
|
28f755edc5
|
adding tests for lexicographic parameteric synth
|
2016-10-09 21:55:48 -07:00 |
|
Marcell Vazquez-Chanlatte
|
673ede60e3
|
test pstl parsing and param setting
|
2016-10-09 21:22:15 -07:00 |
|
Marcell Vazquez-Chanlatte
|
42efc69556
|
implement smoketest robustness checks
|
2016-10-09 19:48:26 -07:00 |
|
Marcell Vazquez-Chanlatte
|
fb617482bf
|
update parser test for new api
|
2016-10-09 19:20:33 -07:00 |
|
Marcell Vazquez-Chanlatte
|
72f7dd2386
|
first draft of python implementation of lexicographic parameter synth
|
2016-10-09 00:19:34 -07:00 |
|
Marcell Vazquez-Chanlatte
|
0b69607924
|
implement paramater setting
|
2016-10-08 20:42:32 -07:00 |
|
Marcell Vazquez-Chanlatte
|
e3ff61e971
|
added lens to access all parameters in an AST
|
2016-10-08 20:20:26 -07:00 |
|
Marcell Vazquez-Chanlatte
|
79bf4f4d20
|
start work on binary search for param synth + add indeterminate names
|
2016-10-07 02:01:00 -07:00 |
|
Marcell Vazquez-Chanlatte
|
8e728abfa8
|
preliminary implementation of STL robustness
|
2016-10-06 23:32:57 -07:00 |
|
Marcell Vazquez-Chanlatte
|
fbd7cc0564
|
fix display bug for nary op
|
2016-10-06 14:41:17 -07:00 |
|
Marcell Vazquez-Chanlatte
|
a414e57162
|
change yaml spec to + move ast utilities + drop numpy dependency
yaml spec now supports attaching meta data to specs such as pri or stl
|
2016-07-27 23:25:16 -07:00 |
|
Marcell Vazquez-Chanlatte
|
8d5a32701c
|
reimplemented milp using signal logic encoding
|
2016-07-11 23:31:52 -07:00 |
|
Marcell Vazquez-Chanlatte
|
cc50cdc49e
|
bug fixes + generalize ast_lens to any node predicate
|
2016-07-11 19:23:24 -07:00 |
|
Marcell Vazquez-Chanlatte
|
6cf470f40a
|
rename ast
|
2016-07-11 19:05:41 -07:00 |
|
Marcell Vazquez-Chanlatte
|
1f41faef59
|
generalize lineq lens + remove Nones from game_to_sl
|
2016-07-10 17:19:32 -07:00 |
|
Marcell Vazquez-Chanlatte
|
c4cfda6e19
|
reverted back to nametuple repr + time filters
|
2016-07-10 16:36:53 -07:00 |
|
Marcell Vazquez-Chanlatte
|
bed8c51756
|
reimplement terms lens to work around _tuple bug + start milp
|
2016-07-10 12:06:49 -07:00 |
|