Commits · b914877aac26171978826e6a7c9022a89d30bf62 · PLMZ / sturdy

07 Mar, 2019 10 commits
- release sturdy 0.2.0.0 · b914877a
  Sven Keidel authored Mar 07, 2019
  
  b914877a
- disable building docs on CI builds · 79081e92
  Sven Keidel authored Mar 07, 2019
  
  79081e92
- remove comment that causes parsing error on travis · 3a9387f3
  Sven Keidel authored Mar 07, 2019
  
  3a9387f3
- fix CI script · b1c9d881
  Sven Keidel authored Mar 07, 2019
  
  b1c9d881
- fix tests and update readme · 37146559
  Sven Keidel authored Mar 07, 2019
  
  37146559
- clean up code in fixpoint module · 591d4c84
  Sven Keidel authored Mar 07, 2019
  
  591d4c84
- fix compile errors · 3b022249
  Sven Keidel authored Mar 07, 2019
  
  3b022249
- merge regular tree grammar library into sturdy project · e75e1545
  Sven Keidel authored Mar 07, 2019
  
  e75e1545
- Merge branch 'develop' · 4d071a3d
  Sven Keidel authored Mar 07, 2019
  
  4d071a3d
- improve tree grammar library · 762c0375
  Sven Keidel authored Mar 07, 2019
  
  762c0375
05 Mar, 2019 1 commit
- add dedublication function for grammars · afcf72b0
  Sven Keidel authored Mar 05, 2019
  
  afcf72b0
01 Mar, 2019 1 commit
- improve union, intersection and hash function of RTGs · 7dd8dceb
  Sven Keidel authored Mar 01, 2019
  
  7dd8dceb
28 Feb, 2019 3 commits
- get grammar specs back running · 70940a0d
  Sven Keidel authored Feb 28, 2019
  
  70940a0d
- add tree grammar file with proper copyright notice to sturdy · 27c84574
  Sven Keidel authored Feb 26, 2019
  
  27c84574
- fix semantics of strategy calls · b4415b3e
  Sven Keidel authored Feb 28, 2019
  
  b4415b3e
27 Feb, 2019 4 commits
- reactivate full arrow desugaring · e136fade
  Sebastian Erdweg authored Feb 27, 2019
  
  e136fade
- add sort semantics test for arrow-desugar case study · c80b45cd
  Sebastian Erdweg authored Feb 27, 2019
  
  c80b45cd
- rewrote arrow desugaring case study to eliminate inconsistent constructor declarations · b8a94a01
  Sebastian Erdweg authored Feb 26, 2019
  
  b8a94a01
- use stack in prepare.sh · 760a3513
  seba authored Feb 26, 2019
  
  760a3513
26 Feb, 2019 1 commit
- fix concrete semantics · 4c3b228f
  Sven Keidel authored Feb 26, 2019
  
  4c3b228f
22 Feb, 2019 1 commit
- Improve fixpoint algorithm · d27b9aec
  Sven Keidel authored Feb 22, 2019
  
  d27b9aec
21 Feb, 2019 2 commits
- fix analyses for the while language · bc93805c
  Sven Keidel authored Feb 21, 2019
  
  bc93805c
- fix PCF · 9aa77196
  Sven Keidel authored Feb 21, 2019
  
  9aa77196
20 Feb, 2019 3 commits
- extract abstract closures into library · d27a4be2
  Sven Keidel authored Feb 20, 2019
  
  d27a4be2
- create new control-flow analysis for PCF that does not use contours · 8e1a89ba
  Sven Keidel authored Feb 20, 2019
  
  8e1a89ba
- get PCF stratego case study running · c1e59648
  Sven Keidel authored Feb 20, 2019
  
  c1e59648
18 Feb, 2019 1 commit
- improve readability of traces · 95fae671
  Sven Keidel authored Feb 18, 2019
  
  95fae671
17 Feb, 2019 1 commit
- use Kleisli arrow transformer to implement error transformers · 88c9c5da
  Sven Keidel authored Feb 17, 2019
  
  88c9c5da
15 Feb, 2019 1 commit
- widening returns stable indicator · 3d33d95b
  Sven Keidel authored Feb 15, 2019
  
  3d33d95b
13 Feb, 2019 1 commit
- implement chaotic fixpoint iteration · 25de95c1
  Sven Keidel authored Feb 13, 2019
  
  25de95c1
04 Feb, 2019 2 commits
- repair FixT · 702cf84a
  Sven Keidel authored Feb 04, 2019
  
  702cf84a
- Split fixpoint arrow into MemoizeT and StackT transformer · 0b136107
  Sven Keidel authored Feb 04, 2019
  
  0b136107
03 Feb, 2019 1 commit
- fix (***) and (&&&) implementations · b97f9a8d
  Sven Keidel authored Feb 03, 2019
  
  b97f9a8d
01 Feb, 2019 3 commits
- use memoize in Abstract.FixT again · 509fd75c
  Sven Keidel authored Feb 01, 2019
  
  509fd75c
- remove INLINE statments · cd8570b2
  Sven Keidel authored Feb 01, 2019
  
  cd8570b2
- inline all typeclass methods and implement Profunctor arrows · db4e0fb4
  Sven Keidel authored Feb 01, 2019
  
  db4e0fb4
31 Jan, 2019 1 commit
- fix fixpoint algo · 11c79d36
  Sven Keidel authored Jan 31, 2019
  
  11c79d36
29 Jan, 2019 1 commit
- add benchmark of example · 03b3c623
  Sven Keidel authored Jan 29, 2019
  
  03b3c623
25 Jan, 2019 2 commits
- setup criterion benchmarks for stratego · 9b976af2
  Sven Keidel authored Jan 25, 2019
  
  9b976af2
- add arithmetic simplification tests for concrete semantics · 553edc83
  Sebastian Erdweg authored Jan 25, 2019
  
  553edc83