teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
167 commits 1 branch 0 tags 646 KiB
Commit graph

26 commits

Author SHA1 Message Date
Marcell Vazquez-Chanlatte
c495216626 fixed bug in next operator and global operator 2017-11-12 11:47:00 -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
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
c18cd58cb5 added list params utility function 2017-10-30 14:31:23 -07:00
Marcell Vazquez-Chanlatte
0a5d684127 pytests pass locally 2017-10-26 22:15:22 -07:00
Marcell Vazquez-Chanlatte
a1ca4c6579 yapf + pylint + add style checks to tests 2017-10-26 22:00:03 -07:00
Marcell Vazquez-Chanlatte
d78037816b upgrade to new lens version 2017-10-15 00:59:58 -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
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
ba46bfbd05 naive implementation of Until 2017-04-20 22:11:54 -07:00
Marcell Vazquez-Chanlatte
07bf9f50e4 cache pointwise_sat call 2017-04-20 21:08:44 -07:00
Marcell Vazquez-Chanlatte
476917860e implemented context inlining + fix parsing errors 2017-04-20 17:16:15 -07:00
Marcell Vazquez-Chanlatte
a8e84a3761 default to fastboolean eval 2017-02-28 13:32:54 -08:00
Marcell Vazquez-Chanlatte
5756362b3c deduplicate fastboolean_eval from boolean_eval + packaging 2016-12-03 12:56:33 -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
Renamed from boolean_eval.py (Browse further)