Commits · 1798600bbfdca7427d6575116fe8d4850d9072ac · Theresa Pollinger / MoSIS

14 Mar, 2018 1 commit
- results visualization in bokeh (but still need to automatically generate results), · 1798600b
  Theresa Pollinger authored Mar 14, 2018
```
partial integration of tgview
```
  1798600b
08 Mar, 2018 1 commit
- playing around with html and matplotlib contents · c7baea82
  Theresa Pollinger authored Mar 08, 2018
  
  c7baea82
07 Mar, 2018 1 commit
- reorganized · fff3efd0
  Theresa Pollinger authored Mar 07, 2018
  
  fff3efd0
05 Mar, 2018 1 commit
- stubs for more user interaction · 07ea4aac
  Theresa Pollinger authored Mar 05, 2018
  
  07ea4aac
28 Feb, 2018 1 commit
- bits and pieces improved; user can now add properties to operators · 5a992987
  Theresa Pollinger authored Feb 28, 2018
  
  5a992987
22 Feb, 2018 1 commit
- proper error output in jupyter notebooks · 5626bfe8
  Theresa Pollinger authored Feb 22, 2018
  
  5626bfe8
21 Feb, 2018 5 commits
- some modularity established · de2b9abb
  Theresa Pollinger authored Feb 21, 2018
  
  de2b9abb
- pulled apart interface and state machine · 3433dc92
  Theresa Pollinger authored Feb 21, 2018
  
  3433dc92
- put string handling into own file · 56ffa083
  Theresa Pollinger authored Feb 21, 2018
  
  56ffa083
- get interval bounds · 49f5aa9c
  Theresa Pollinger authored Feb 21, 2018
  
  49f5aa9c
- prompting as suitable for jupyter · 77ef2b2f
  Theresa Pollinger authored Feb 21, 2018
  
  77ef2b2f
16 Feb, 2018 1 commit
- starting to have nice 1-d config files · 0b01aaf6
  Theresa Pollinger authored Feb 16, 2018
  
  0b01aaf6
13 Feb, 2018 2 commits
- can handle function boundary conditions · 03ce91e4
  Theresa Pollinger authored Feb 13, 2018
  
  03ce91e4
- simplified by with statement ; need to think about boundary condition representation · 5948dbf7
  Theresa Pollinger authored Feb 13, 2018
  
  5948dbf7
08 Feb, 2018 1 commit
- starting to actually use type inference. · 2b027b5b
  Theresa Pollinger authored Feb 08, 2018
  
  2b027b5b
05 Feb, 2018 1 commit
- started on boundary condition things, now experiencing strange type errors everywhere · f85e4512
  Theresa Pollinger authored Feb 05, 2018
  
  f85e4512
22 Jan, 2018 1 commit
- more parsing and passing inputs · 282777e4
  Theresa Pollinger authored Jan 22, 2018
  
  282777e4
16 Jan, 2018 5 commits
- started on using more mmt functionality; pulling out static string handling functions · 181a1e41
  Theresa Pollinger authored Jan 16, 2018
  
  181a1e41
- more cheating our way through · d90c04a2
  Theresa Pollinger authored Jan 16, 2018
  
  d90c04a2
- automatic pycharm reformatting · fd594e15
  Theresa Pollinger authored Jan 16, 2018
  
  fd594e15
- cheating my way through in need of better formalizations · 9124f181
  Theresa Pollinger authored Jan 16, 2018
  
  9124f181
- put '?' out of theory names, more proper reply handling · 6152d5ef
  Theresa Pollinger authored Jan 16, 2018
  
  6152d5ef
09 Nov, 2017 1 commit
- Initial commit · 1ef4f078
  Theresa Pollinger authored Nov 09, 2017
  
  1ef4f078