Commits · master · PLMZ / sturdy

05 Jun, 2020 1 commit
- add Mealy arrow transformer · 877be70d
  Sven Keidel authored Jun 05, 2020
  
  877be70d
03 Jun, 2020 5 commits
- remove duplicate tests · e49ba202
  Sven Keidel authored Jun 03, 2020
  
  e49ba202
- improve documentation of arrow transformers · 61196e52
  Sven Keidel authored Jun 03, 2020
  
  61196e52
- move instances to type class files · c097a6af
  Sven Keidel authored Jun 03, 2020
  
  c097a6af
- remove unused depencies · 51cee545
  Sven Keidel authored Jun 03, 2020
  
  51cee545
- extract transformer library · f7ec594e
  Sven Keidel authored Jun 03, 2020
  
  f7ec594e
02 Jun, 2020 3 commits
- bump version number of library · 65973a13
  Sven Keidel authored Jun 02, 2020
  
  65973a13
- update copyright header · 0db032a6
  Sven Keidel authored Jun 02, 2020
  
  0db032a6
- Add code of conduct. · 11e794b1
  Sven Keidel authored Jun 02, 2020
  
  11e794b1
18 May, 2020 5 commits
- add ArrowIO type class · b5294382
  Sven Keidel authored May 18, 2020
  
  b5294382
- add ArrowPrimitive instances for fixpoint arrow transformer · 1e6a1c76
  Sven Keidel authored May 18, 2020
  
  1e6a1c76
- add IO arrow · 7167bb3e
  Sven Keidel authored May 18, 2020
  
  7167bb3e
- add liftIO function that lifts an IO computation into an arrow computation · 50e865bf
  Sven Keidel authored May 18, 2020
  
  50e865bf
- update fixpoint algorithms · 03e6ba38
  Sven Keidel authored May 18, 2020
  
  03e6ba38
05 May, 2020 1 commit
- make the parallel fixpoint cache of the previous iteration read-only · 8e99ec8f
  Sven Keidel authored May 05, 2020
  
  8e99ec8f
29 Apr, 2020 1 commit
- fix unsoundness in innermost and track number of chaotic iterations · f8ddcfd6
  Sven Keidel authored Apr 29, 2020
  
  f8ddcfd6
24 Apr, 2020 2 commits
- Scheme: fix optimization flags · d1a48e77
  Sven Keidel authored Apr 24, 2020
  
  d1a48e77
- replace SCC sets by bit vector · 64e647a9
  Sven Keidel authored Apr 24, 2020
  
  64e647a9
21 Apr, 2020 1 commit
- improve performance of monotone error sets · 04efe659
  Sven Keidel authored Apr 21, 2020
  
  04efe659
17 Apr, 2020 1 commit
- inline State.modify and Env.lookup'' · 7fee4558
  Sven Keidel authored Apr 17, 2020
  
  7fee4558
16 Apr, 2020 1 commit
- improve monotone store performance · 95363806
  Sven Keidel authored Apr 16, 2020
  
  95363806
08 Apr, 2020 2 commits
- ci-script: turn off confirmation when install apt packages · 0a89bb9f
  Sven Keidel authored Apr 08, 2020
  
  0a89bb9f
- add graphviz to CI scripts · 72f4a29b
  Sven Keidel authored Apr 08, 2020
  
  72f4a29b
07 Apr, 2020 5 commits
- Merge branch 'scheme' · c20d6cdc
  Sven Keidel authored Apr 07, 2020
  
  c20d6cdc
- Scheme: fix tests of concrete interpreter · e3a856bd
  Sven Keidel authored Apr 07, 2020
  
  e3a856bd
- fix PCF and While language · 776b719e
  Sven Keidel authored Apr 07, 2020
  
  776b719e
- Merge remote-tracking branch 'origin/scheme' into scheme · 59c73e60
  Sven Keidel authored Apr 07, 2020
  
  59c73e60
- compute hashes lazily and cache them · 4fa71f63
  Sven Keidel authored Apr 07, 2020
  
  4fa71f63
27 Mar, 2020 2 commits
- Revert "cfg check" · 5b1527df
  Tobias Leon Hombücher authored Mar 27, 2020
```
This reverts commit e17f7225.
```
  5b1527df
- cfg check · e17f7225
  Tobias Leon Hombücher authored Mar 27, 2020
  
  e17f7225
26 Mar, 2020 1 commit
- fix bugs in parallel cache and chaotic component · 7439f1ac
  Sven Keidel authored Mar 26, 2020
  
  7439f1ac
20 Mar, 2020 1 commit
- simplification let,letrec; fix floor,ceil -> precision increase primtest · 7c7eb988
  Tobias Leon Hombücher authored Mar 20, 2020
  
  7c7eb988
19 Mar, 2020 1 commit
- Scheme: get browse and destruc benchmarks working · 00f5b3b4
  Sven Keidel authored Mar 19, 2020
  
  00f5b3b4
18 Mar, 2020 1 commit
- update stack version · e99ebf3c
  Sven Keidel authored Mar 18, 2020
  
  e99ebf3c
17 Mar, 2020 1 commit
- Scheme: get boyer and destruc benchmarks working · 3a0107cb
  Sven Keidel authored Mar 17, 2020
  
  3a0107cb
16 Mar, 2020 1 commit
- experiment with unfolding options · f3bf6843
  Sven Keidel authored Mar 16, 2020
  
  f3bf6843
13 Mar, 2020 2 commits
- remove ConsT transformers for better optimizations after inlining. · 978923de
  Sven Keidel authored Mar 13, 2020
  
  978923de
- Change type of fixpoint components with a monotone store · 56a082a5
  Sven Keidel authored Mar 13, 2020
  
  56a082a5
11 Mar, 2020 1 commit
- Scheme: work on benchmarks · 00328086
  Sven Keidel authored Mar 11, 2020
  
  00328086
08 Mar, 2020 1 commit
- Scheme: switch parser to husk scheme · 27b8337b
  Sven Keidel authored Mar 08, 2020
  
  27b8337b