teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 268d8bdd8f add ability to distribute next (push to bottom of AST) Marcell Vazquez-Chanlatte 2017-11-22 13:03:32 -08:00
  • caaaa0cdae added extra scope test Marcell Vazquez-Chanlatte 2017-11-22 12:26:43 -08:00
  • 2c34d9dc7a added code to get scope of stl formula Marcell Vazquez-Chanlatte 2017-11-22 12:21:44 -08:00
  • e491ac7043 added code for discretizing bounded stl Marcell Vazquez-Chanlatte 2017-11-22 11:56:23 -08:00
  • dc704a6b13 increase test coverage in preperation for completing fastboolean eval Marcell Vazquez-Chanlatte 2017-11-14 20:43:22 -08:00
  • d8bdab4e6a reimplement + test implicit validity domain function Marcell Vazquez-Chanlatte 2017-11-14 10:50:25 -08:00
  • fd555661a0 added test coverage for f_neg_canonical_form Marcell Vazquez-Chanlatte 2017-11-14 10:08:40 -08:00
  • 7aed260d5d fixed inline context + added tests for inline context Marcell Vazquez-Chanlatte 2017-11-14 09:58:56 -08:00
  • f7f322148e added test for f_neg_canonical form Marcell Vazquez-Chanlatte 2017-11-13 12:44:39 -08:00
  • c495216626 fixed bug in next operator and global operator Marcell Vazquez-Chanlatte 2017-11-12 11:47:00 -08:00
  • cdc18225fd remove hypothesis debug code Marcell Vazquez-Chanlatte 2017-11-12 11:11:33 -08:00
  • 62e4ca1ce1 decrease size of generated STL to increase unit test speed Marcell Vazquez-Chanlatte 2017-11-12 11:09:50 -08:00
  • 77a904d050 implemented boolean evaluator + increasing converage Marcell Vazquez-Chanlatte 2017-11-12 11:04:56 -08:00
  • f53cab4485 fix bug in global evaluator Marcell Vazquez-Chanlatte 2017-11-11 18:00:33 -08:00
  • cba8a83c8e payed off testing technical debt + bug fixes + traces based evaluator Marcell Vazquez-Chanlatte 2017-11-11 17:35:48 -08:00
  • 72639bc59f added helper function for featurizing a spec Marcell Vazquez-Chanlatte 2017-10-31 21:14:34 -07:00
  • 75042d0dc4 step towards actually testing boolean evaluation on random formulas Marcell Vazquez-Chanlatte 2017-10-31 20:54:57 -07:00
  • 7d8cf78222 make ast objects easier to work with Marcell Vazquez-Chanlatte 2017-10-31 18:29:31 -07:00
  • 2640728288 yapf run Marcell Vazquez-Chanlatte 2017-10-30 15:00:55 -07:00
  • c18cd58cb5 added list params utility function Marcell Vazquez-Chanlatte 2017-10-30 14:31:23 -07:00
  • 73301b801f isort is noisy Marcell Vazquez-Chanlatte 2017-10-26 22:20:04 -07:00
  • 0a5d684127 pytests pass locally Marcell Vazquez-Chanlatte 2017-10-26 22:15:22 -07:00
  • bca2706c85 . Marcell Vazquez-Chanlatte 2017-10-26 22:04:13 -07:00
  • a1ca4c6579 yapf + pylint + add style checks to tests Marcell Vazquez-Chanlatte 2017-10-26 22:00:03 -07:00
  • d52fffe826 getter/setter optics bug fix Marcell Vazquez-Chanlatte 2017-10-26 17:46:51 -07:00
  • eda63fd6f0 Fixed PSTL construction Marcell Vazquez-Chanlatte 2017-10-26 16:14:45 -07:00
  • d5985406ad pylint fixes Marcell Vazquez-Chanlatte 2017-10-15 01:11:49 -07:00
  • 8dbfc83083 formatting + delete dead code Marcell Vazquez-Chanlatte 2017-10-15 01:05:19 -07:00
  • d78037816b upgrade to new lens version Marcell Vazquez-Chanlatte 2017-10-15 00:59:58 -07:00
  • 212a8c195a stl generator Marcell Vazquez-Chanlatte 2017-09-29 21:13:22 -07:00
  • 7e3d43bbea trying to figure out requirements.txt syntax Marcell Vazquez-Chanlatte 2017-09-27 21:57:04 -07:00
  • dbc31ebf87 removing dead tests + add hypothesis-cfg in requirements.txt Marcell Vazquez-Chanlatte 2017-09-27 21:53:18 -07:00
  • 651d6e352b deleting dead code Marcell Vazquez-Chanlatte 2017-09-27 21:47:38 -07:00
  • 91d7b72ef1 removing time support from STL parser Marcell Vazquez-Chanlatte 2017-09-27 21:43:23 -07:00
  • 0367760f1b check for invertability in parser Marcell Vazquez-Chanlatte 2017-09-27 21:31:46 -07:00
  • bbe76b714c remove hypothesis testing Marcell Vazquez-Chanlatte 2017-09-25 23:11:10 -07:00
  • c7e16566a0 syncing builds start moving to hypothesis Marcell Vazquez-Chanlatte 2017-09-25 23:05:18 -07:00
  • f04f1b3eeb untimed until bug fixes Marcell Vazquez-Chanlatte 2017-04-24 23:31:56 -07:00
  • 8ec0013235 remove debug statement Marcell Vazquez-Chanlatte 2017-04-24 21:45:04 -07:00
  • 00ec325589 precompute lineq timeseries during boolean evaluation Marcell Vazquez-Chanlatte 2017-04-24 20:17:27 -07:00
  • 8f5035a9e3 better bounds checking for get_times in boolean circuit Marcell Vazquez-Chanlatte 2017-04-24 00:07:48 -07:00
  • 5d3e2ed354 remove numpy dependence Marcell Vazquez-Chanlatte 2017-04-23 22:33:15 -07:00
  • 761db9a51d added traces to requirements.txt Marcell Vazquez-Chanlatte 2017-04-23 17:05:44 -07:00
  • e35a804775 bump version + add pandas conversion code Marcell Vazquez-Chanlatte 2017-04-23 17:02:29 -07:00
  • 4871f993c0 removed robustess calculations + finish porting to traces library Marcell Vazquez-Chanlatte 2017-04-23 12:55:32 -07:00
  • 3a7ac439f1 fastboolean eval + forgot to add offsets to new get_times function Marcell Vazquez-Chanlatte 2017-04-23 12:46:26 -07:00
  • e477392664 start switch to traces from pandas Marcell Vazquez-Chanlatte 2017-04-23 12:42:57 -07:00
  • b28898820e implemented timed until as syntatic sugar Marcell Vazquez-Chanlatte 2017-04-23 09:27:40 -07:00
  • a8cf83402d drop simplification in smooth robustness Marcell Vazquez-Chanlatte 2017-04-21 00:17:50 -07:00
  • a59756c58e implemented untimed until using bitarrays (although somewhat terribly) Marcell Vazquez-Chanlatte 2017-04-20 23:16:00 -07:00
  • ba46bfbd05 naive implementation of Until Marcell Vazquez-Chanlatte 2017-04-20 22:11:54 -07:00
  • 5eb3674d95 keep in lining fast boolean eval bitarray calls Marcell Vazquez-Chanlatte 2017-04-20 21:40:31 -07:00
  • efcfbf7f0d refactor fastboolean_eval Marcell Vazquez-Chanlatte 2017-04-20 21:30:23 -07:00
  • 07bf9f50e4 cache pointwise_sat call Marcell Vazquez-Chanlatte 2017-04-20 21:08:44 -07:00
  • 94934b56c9 remove timed until Marcell Vazquez-Chanlatte 2017-04-20 20:40:49 -07:00
  • 476917860e implemented context inlining + fix parsing errors Marcell Vazquez-Chanlatte 2017-04-20 17:16:15 -07:00
  • 0d4a703dcc correct lipshitz bound for stl predicates Marcell Vazquez-Chanlatte 2017-03-20 11:59:34 -07:00
  • 6489667970 Revert "added stl lipschitz computation bound" Marcell Vazquez-Chanlatte 2017-03-20 10:49:41 -07:00
  • 367e9001ff max coeff for lipschitz Marcell Vazquez-Chanlatte 2017-03-19 14:00:10 -07:00
  • eeb543fa34 added stl lipschitz computation bound Marcell Vazquez-Chanlatte 2017-03-18 18:10:51 -07:00
  • 16084f83c0 add default children function to ast elements Marcell Vazquez-Chanlatte 2017-03-01 23:17:07 -08:00
  • 8b2a114826 don't propogate sympy in robustness if unnecessary Marcell Vazquez-Chanlatte 2017-03-01 14:30:45 -08:00
  • 99e0995287 fix importing of pointwise_sat from fastrobustness Marcell Vazquez-Chanlatte 2017-02-28 15:07:06 -08:00
  • 6093767772 fix negation bug in robustness Marcell Vazquez-Chanlatte 2017-02-28 13:35:01 -08:00
  • a8e84a3761 default to fastboolean eval Marcell Vazquez-Chanlatte 2017-02-28 13:32:54 -08:00
  • a34e4c2b0e fix bug in 1 arg and Marcell Vazquez-Chanlatte 2017-02-27 22:42:19 -08:00
  • 8760996bba test negation of TOP/BOT Marcell Vazquez-Chanlatte 2017-02-27 22:25:59 -08:00
  • c3d9292db9 added tests for edge case andf/orf behavior Marcell Vazquez-Chanlatte 2017-02-27 22:24:13 -08:00
  • 58c33f530c is check for TOP and BOT is flatten_binary op Marcell Vazquez-Chanlatte 2017-02-27 22:16:01 -08:00
  • ff0253438d default value in andf/orf utility functions is now TOP Marcell Vazquez-Chanlatte 2017-02-27 22:08:23 -08:00
  • bdd3b468a8 added TOP and BOT to AST Marcell Vazquez-Chanlatte 2017-02-27 22:06:17 -08:00
  • f30d391171 don't define empty and/or Marcell Vazquez-Chanlatte 2017-02-27 21:27:43 -08:00
  • 8118c5ae50 add travis ci status Marcell Vazquez-Chanlatte 2017-02-26 17:02:28 -08:00
  • 3d372ebe30 try to incorporate travisci Marcell Vazquez-Chanlatte 2017-02-26 16:54:24 -08:00
  • 60b2e0a69a Merge pull request #8 from shromonag/master Marcell Vazquez-Chanlatte 2017-02-26 16:42:29 -08:00
  • a13741da69 Modified fastboolean eval Shromona MacBook 2017-02-26 12:05:30 -08:00
  • 00eec50f79 support overwritting default interval Marcell Vazquez-Chanlatte 2017-02-25 23:48:34 -08:00
  • 4c5924782d mark off implies todo Marcell Vazquez-Chanlatte 2017-02-25 23:29:59 -08:00
  • 21ff366d24 drop unecessary dt Marcell Vazquez-Chanlatte 2017-02-25 23:27:06 -08:00
  • 877523d531 syntactic sugar + fix hashing bug Marcell Vazquez-Chanlatte 2017-02-25 23:12:59 -08:00
  • f69a52fae7 added tests for stl utils Marcell Vazquez-Chanlatte 2017-02-25 19:06:24 -08:00
  • adb4cb6884 test vars in phi Marcell Vazquez-Chanlatte 2017-02-25 18:48:15 -08:00
  • fa776a08f0 added tests for walk and type pred Marcell Vazquez-Chanlatte 2017-02-20 15:56:46 -08:00
  • ed7b084bd1 added test scaffolds Marcell Vazquez-Chanlatte 2017-02-19 15:48:28 -08:00
  • 08bc671401 added syntatic sugar, xor, implies, and iff Marcell Vazquez-Chanlatte 2017-01-21 19:22:22 -08:00
  • 395c87cbe6 add time index to atomic predicates Marcell Vazquez-Chanlatte 2017-01-12 15:28:00 -08:00
  • 652fdde4d4 implement negation Marcell Vazquez-Chanlatte 2017-01-07 09:21:59 -08:00
  • bfe74e9843 x' indicates future values Marcell Vazquez-Chanlatte 2017-01-06 22:36:57 -08:00
  • 2d1ce4bf13 added until utility function Marcell Vazquez-Chanlatte 2017-01-04 13:33:22 -08:00
  • 39885d3fe0 added Until to AST and added empty case for addf and orf Marcell Vazquez-Chanlatte 2017-01-03 19:19:15 -08:00
  • 33a7ad6421 added helper functions for easier creation of AST nodes Marcell Vazquez-Chanlatte 2017-01-03 17:12:30 -08:00
  • deaa13f13a added AST mixin for binary operators Marcell Vazquez-Chanlatte 2017-01-03 15:54:20 -08:00
  • 13cc7abdf2 refactor and simplify repr code using f-strings Marcell Vazquez-Chanlatte 2017-01-03 15:34:46 -08:00
  • 788e6ee58e start adding Types for STL utilities Marcell Vazquez-Chanlatte 2017-01-03 10:12:00 -08:00
  • a5be0b17bb fix from_mtl function Marcell Vazquez-Chanlatte 2016-12-24 12:44:11 -08:00
  • c31874d138 implement to_mtl, from_mtl and fix ast lens to allow AP Marcell Vazquez-Chanlatte 2016-12-23 21:40:24 -08:00
  • 078eb11b5c add helper function for going to an MTL formula Marcell Vazquez-Chanlatte 2016-12-23 18:32:04 -08:00
  • 014110cf90 sketch out tests for smooth robustness Marcell Vazquez-Chanlatte 2016-12-21 19:18:01 -08:00
  • 0261bb434f make sure B is a function of epsilon Marcell Vazquez-Chanlatte 2016-12-15 21:28:18 -08:00
  • 6fdb0edcf6 drop stl. in utils version of canonicalization Marcell Vazquez-Chanlatte 2016-12-15 21:18:10 -08:00