Marcell Vazquez-Chanlatte
|
c495216626
|
fixed bug in next operator and global operator
|
2017-11-12 11:47:00 -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
|
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
|
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
|
d5985406ad
|
pylint fixes
|
2017-10-15 01:11:49 -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 |
|