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

Commit graph

  • d86d155b7a add smooth_robustness to top level module Marcell Vazquez-Chanlatte 2016-12-15 20:58:57 -08:00
  • a331d90b44 implemented f,neg,or canonical form and fixed bug in Or rule Marcell Vazquez-Chanlatte 2016-12-15 20:56:44 -08:00
  • 8587d830ad fix setting concrete bases Marcell Vazquez-Chanlatte 2016-12-15 20:31:14 -08:00
  • 39dcc82912 first hand tested version of smooth_robustness w.o. automatic canonical form Marcell Vazquez-Chanlatte 2016-12-15 20:23:56 -08:00
  • cd3fc97eab switch to optionally entirely symbolic formula Marcell Vazquez-Chanlatte 2016-12-15 17:21:22 -08:00
  • f3d118f01e implemented smooth_robustness for constant base Marcell Vazquez-Chanlatte 2016-12-15 15:49:35 -08:00
  • 5fde483116 correct lower bound for stl.F in smooth robustness Marcell Vazquez-Chanlatte 2016-12-10 14:35:28 -08:00
  • 5e9239a4f4 switch to symbolic summation for smooth robustness Marcell Vazquez-Chanlatte 2016-12-10 14:24:54 -08:00
  • f5b23637af implement error bounds in smooth robustness Marcell Vazquez-Chanlatte 2016-12-10 13:59:06 -08:00
  • 8b267fa2c3 Implemented smooth_robustness's stl.F encoding Marcell Vazquez-Chanlatte 2016-12-10 13:38:41 -08:00
  • 100f48a0ba started smooth robustness implementation Marcell Vazquez-Chanlatte 2016-12-10 10:47:35 -08:00
  • 5fc2145622 factor out boolean ops Marcell Vazquez-Chanlatte 2016-12-09 11:07:23 -08:00
  • eecb2d409a factor out G and F Marcell Vazquez-Chanlatte 2016-12-09 10:57:36 -08:00
  • 7064f2b4a5 Merge pull request #2 from shromonag/master Marcell Vazquez-Chanlatte 2016-12-09 10:50:17 -08:00
  • 5683a6902f Updated globally and conjunction Shromona MacBook 2016-12-08 22:13:10 -08:00
  • 6f20a4811c Updated fast boolean Shromona MacBook 2016-12-08 22:02:20 -08:00
  • 5756362b3c deduplicate fastboolean_eval from boolean_eval + packaging Marcell Vazquez-Chanlatte 2016-12-03 12:56:33 -08:00
  • c41231e964 Merge pull request #1 from shromonag/master Marcell Vazquez-Chanlatte 2016-12-03 12:33:06 -08:00
  • 8cae363e61 Fast boolean with eval Shromona MacBook 2016-12-03 01:21:00 -08:00
  • d5f38e27ed Fast boolean eval Shromona MacBook 2016-12-03 01:14:55 -08:00
  • fb80b0c3ce Updated fast boolean Shromona MacBook 2016-12-02 14:27:04 -08:00
  • 92ff8c1526 Fast boolean evaluation Shromona MacBook 2016-12-01 18:29:50 -08:00
  • 843304ed79 fix test and update version Marcell Vazquez-Chanlatte 2016-11-07 12:14:21 -08:00
  • 3292557b56 Merge branch 'master' of github.com:mvcisback/py-stl Marcell Vazquez-Chanlatte 2016-11-07 10:51:32 -08:00
  • 899c73fa42 add gitignore + add README Marcell Vazquez-Chanlatte 2016-11-07 10:25:49 -08:00
  • 9e30ddb060 testing boolean evaluation Marcell Vazquez-Chanlatte 2016-11-04 15:59:32 -07:00
  • c46e325cf8 start addeding atomic propositions Marcell Vazquez-Chanlatte 2016-11-04 14:45:30 -07:00
  • 4c46db7f71 restructing to move repo Marcell Vazquez-Chanlatte 2016-11-02 17:54:47 -07:00
  • d658907c4c update import api Marcell Vazquez-Chanlatte 2016-10-11 10:59:57 -07:00
  • 374b080c42 add depenedencies + bounds checks Marcell Vazquez-Chanlatte 2016-10-11 10:52:52 -07:00
  • b040a6c425 interpolate in boolean eval Marcell Vazquez-Chanlatte 2016-10-10 22:19:46 -07:00
  • 2ade1a678b interpolate if necessary Marcell Vazquez-Chanlatte 2016-10-10 22:10:56 -07:00
  • 0781605f78 add cautionary TODO Marcell Vazquez-Chanlatte 2016-10-10 00:20:59 -07:00
  • 399bf2f421 switch to Boolean semantics for synth Marcell Vazquez-Chanlatte 2016-10-10 00:19:07 -07:00
  • 1882f24506 add boolean semantics Marcell Vazquez-Chanlatte 2016-10-10 00:13:05 -07:00
  • 47967b462b add test for moving on 0 robustness Marcell Vazquez-Chanlatte 2016-10-10 00:04:10 -07:00
  • 5970c77cb9 lazily compute early termination boundary conditions Marcell Vazquez-Chanlatte 2016-10-09 23:47:55 -07:00
  • da669f088d fix bug in robustness calculation + move synth for it's on module Marcell Vazquez-Chanlatte 2016-10-09 23:42:22 -07:00
  • 9b42d9bb57 test formula with no satisifiable assignment Marcell Vazquez-Chanlatte 2016-10-09 23:19:50 -07:00
  • aec3c0d15b implemented robustness Marcell Vazquez-Chanlatte 2016-10-09 23:13:25 -07:00
  • c6810d8d75 fix bugs in binary search (still broken) Marcell Vazquez-Chanlatte 2016-10-09 22:34:28 -07:00
  • 28f755edc5 adding tests for lexicographic parameteric synth Marcell Vazquez-Chanlatte 2016-10-09 21:55:48 -07:00
  • 673ede60e3 test pstl parsing and param setting Marcell Vazquez-Chanlatte 2016-10-09 21:22:15 -07:00
  • 42efc69556 implement smoketest robustness checks Marcell Vazquez-Chanlatte 2016-10-09 19:48:26 -07:00
  • fb617482bf update parser test for new api Marcell Vazquez-Chanlatte 2016-10-09 19:20:33 -07:00
  • 72f7dd2386 first draft of python implementation of lexicographic parameter synth Marcell Vazquez-Chanlatte 2016-10-09 00:19:34 -07:00
  • 0b69607924 implement paramater setting Marcell Vazquez-Chanlatte 2016-10-08 20:42:32 -07:00
  • e3ff61e971 added lens to access all parameters in an AST Marcell Vazquez-Chanlatte 2016-10-08 20:20:26 -07:00
  • 79bf4f4d20 start work on binary search for param synth + add indeterminate names Marcell Vazquez-Chanlatte 2016-10-07 02:01:00 -07:00
  • 8e728abfa8 preliminary implementation of STL robustness Marcell Vazquez-Chanlatte 2016-10-06 23:32:57 -07:00
  • fbd7cc0564 fix display bug for nary op Marcell Vazquez-Chanlatte 2016-10-06 14:41:17 -07:00
  • a414e57162 change yaml spec to + move ast utilities + drop numpy dependency Marcell Vazquez-Chanlatte 2016-07-27 23:25:16 -07:00
  • 8d5a32701c reimplemented milp using signal logic encoding Marcell Vazquez-Chanlatte 2016-07-11 23:31:52 -07:00
  • cc50cdc49e bug fixes + generalize ast_lens to any node predicate Marcell Vazquez-Chanlatte 2016-07-11 19:23:24 -07:00
  • 6cf470f40a rename ast Marcell Vazquez-Chanlatte 2016-07-11 19:05:41 -07:00
  • 1f41faef59 generalize lineq lens + remove Nones from game_to_sl Marcell Vazquez-Chanlatte 2016-07-10 17:19:32 -07:00
  • c4cfda6e19 reverted back to nametuple repr + time filters Marcell Vazquez-Chanlatte 2016-07-10 16:36:53 -07:00
  • bed8c51756 reimplement terms lens to work around _tuple bug + start milp Marcell Vazquez-Chanlatte 2016-07-10 12:06:49 -07:00
  • 2e3ff68be6 drop kind from var Marcell Vazquez-Chanlatte 2016-07-09 20:27:04 -07:00
  • 41ccd20a6e add set_time to game_to_sl Marcell Vazquez-Chanlatte 2016-07-09 00:39:58 -07:00
  • 70d8ae7e9a propogate api changes + repr regression Marcell Vazquez-Chanlatte 2016-07-09 00:27:30 -07:00
  • 7438b1712b restructure + delete dead code + export api Marcell Vazquez-Chanlatte 2016-07-09 00:08:58 -07:00
  • 619c2c6524 absorb coefficients into sympy expr Marcell Vazquez-Chanlatte 2016-07-08 20:59:56 -07:00
  • fc6be7b80b make variables sympy Symbols + more general names Marcell Vazquez-Chanlatte 2016-07-08 20:40:53 -07:00
  • 7a73554525 Use sympy for time variable Marcell Vazquez-Chanlatte 2016-07-08 20:28:28 -07:00
  • 2d7e033df0 fix parsing +/- and added symbolic dt Marcell Vazquez-Chanlatte 2016-07-05 00:51:23 -07:00
  • 3646a0e2cb forgot about initial conditions :/ Marcell Vazquez-Chanlatte 2016-07-03 22:07:25 -07:00
  • f195693463 split blustl into 3 packages Marcell Vazquez-Chanlatte 2016-07-03 22:00:35 -07:00