Commits · master · PLMZ / sturdy

08 Mar, 2021 2 commits
- sort publication order · e25c4006
  Sven Keidel authored Mar 08, 2021
  
  e25c4006
- change acknowledgment notice · aca95de3
  Sven Keidel authored Mar 08, 2021
  
  aca95de3
13 Nov, 2020 2 commits
- Merge branch 'master' into 'master' · 4f982ca2
  Katharina Brandl authored Nov 13, 2020
```
better widening operator for intervals

See merge request !2
```
  4f982ca2
- better widening operator for intervals · 7d145b51
  Katharina Brandl authored Nov 13, 2020
  
  7d145b51
09 Oct, 2020 2 commits
- Merge branch 'tutorial' into 'master' · e60e9842
  Katharina Brandl authored Oct 09, 2020
```
Tutorial updated

See merge request !1
```
  e60e9842
- Updated tutoral language to work with new version of sturdy. · aec47aec
  Katharina Brandl authored Oct 09, 2020
  
  aec47aec
08 Oct, 2020 2 commits
- refactor scheme concerning context sensitivity refactoring · b8560f72
  Tobias Leon Hombücher authored Oct 08, 2020
  
  b8560f72
- refactor context sensitivity interfaces · 34d54bf1
  Sven Keidel authored Oct 08, 2020
  
  34d54bf1
02 Oct, 2020 1 commit
- refactor chaotic fixpoint algos to match paper · 721273b8
  Sven Keidel authored Oct 02, 2020
  
  721273b8
17 Aug, 2020 4 commits
- Merge branch 'debug' · 16c7f920
  Tomislav Pree authored Aug 17, 2020
  
  16c7f920
- merge · 9cb8bc8c
  Tomislav Pree authored Aug 17, 2020
  
  9cb8bc8c
- add node modules to gitignore · 169e44ea
  Tomislav Pree authored Aug 17, 2020
  
  169e44ea
- Update .gitignore · a6fef4b7
  Tomislav Pree authored Aug 17, 2020
  
  a6fef4b7
14 Aug, 2020 3 commits
- adde evaluated exprs · 8f1db2b3
  Tomislav Pree authored Aug 14, 2020
  
  8f1db2b3
- added node modules to gitignore · 7151835e
  Tomislav Pree authored Aug 14, 2020
  
  7151835e
- removed node modules · 891b876d
  Tomislav Pree authored Aug 14, 2020
  
  891b876d
12 Aug, 2020 4 commits
- merge · 293e1be7
  Tomislav Pree authored Aug 12, 2020
  
  293e1be7
- Merge branch 'debug' of https://gitlab.rlp.net/plmz/sturdy into debug · d1bb1ff9
  Tomislav Pree authored Aug 12, 2020
  
  d1bb1ff9
- Update TypedAnalysis.hs · b1331f6b
  Tomislav Pree authored Aug 12, 2020
  
  b1331f6b
- added evaluated expression response · b322af67
  Tomislav Pree authored Aug 12, 2020
  
  b322af67
11 Aug, 2020 6 commits
- Update TypedAnalysis.hs · d74169f9
  Tomislav Pree authored Aug 11, 2020
  
  d74169f9
- Update TypedAnalysis.hs · daa6a422
  Tomislav Pree authored Aug 11, 2020
  
  daa6a422
- Update TypedAnalysis.hs · 3e16b6a6
  Tomislav Pree authored Aug 11, 2020
  
  3e16b6a6
- Update TypedAnalysis.hs · 9e1e9fd7
  Tomislav Pree authored Aug 11, 2020
  
  9e1e9fd7
- added gui · 36106156
  Tomislav Pree authored Aug 11, 2020
  
  36106156
- removed print statements + split files + refactoring · 042b55ee
  Tomislav Pree authored Aug 11, 2020
  
  042b55ee
07 Aug, 2020 1 commit
- refactored debug combinator · 7185984a
  Tomislav Pree authored Aug 07, 2020
  
  7185984a
31 Jul, 2020 1 commit
- disable jimple tests · 087044a7
  Sven Keidel authored Jul 31, 2020
  
  087044a7
30 Jul, 2020 2 commits
- removed json instances, commented faulty function · 286f4263
  Tomislav Pree authored Jul 30, 2020
  
  286f4263
- added cfg to debug combinator · d862c7ce
  Tomislav Pree authored Jul 30, 2020
  
  d862c7ce
25 Jul, 2020 1 commit
- add some CoComplete instances · de1bb270
  Sven Keidel authored Jul 25, 2020
  
  de1bb270
24 Jul, 2020 4 commits
- Merge branch 'jimple' · 7a220e49
  Sven Keidel authored Jul 24, 2020
  
  7a220e49
- Cleanup Jimpl code · 80da15c2
  Sven Keidel authored Jul 24, 2020
  
  80da15c2
- jimple: start work on concrete interpreter · 328cd660
  Sven Keidel authored Jan 06, 2020
  
  328cd660
- jimple: fix generic interpreter · bc1b0b6f
  Sven Keidel authored Dec 18, 2019
  
  bc1b0b6f
17 Jul, 2020 1 commit
- add cache for garbage collection · cc365f16
  Sven Keidel authored Jul 17, 2020
  
  cc365f16
01 Jul, 2020 4 commits
- removed comment · e6676632
  Tomislav Pree authored Jul 01, 2020
  
  e6676632
- Merge branch 'debug' of https://gitlab.rlp.net/plmz/sturdy into debug · 1d8597c7
  Tomislav Pree authored Jul 01, 2020
  
  1d8597c7
- add debugger logic · ba531861
  Tomislav Pree authored Jul 01, 2020
  
  ba531861
- add interface to query the CFG. · b975af58
  Sven Keidel authored Jul 01, 2020
  
  b975af58