1. 06 Aug, 2021 1 commit
  2. 04 Aug, 2021 1 commit
  3. 02 Aug, 2021 1 commit
  4. 01 Aug, 2021 1 commit
  5. 31 Jul, 2021 2 commits
  6. 30 Jul, 2021 1 commit
  7. 29 Jul, 2021 2 commits
  8. 27 Jul, 2021 3 commits
  9. 26 Jul, 2021 1 commit
  10. 25 Jul, 2021 1 commit
  11. 24 Jul, 2021 2 commits
  12. 23 Jul, 2021 1 commit
  13. 22 Jul, 2021 2 commits
  14. 21 Jul, 2021 3 commits
  15. 20 Jul, 2021 1 commit
  16. 19 Jul, 2021 4 commits
  17. 18 Jul, 2021 1 commit
  18. 16 Jul, 2021 5 commits
  19. 15 Jul, 2021 2 commits
  20. 14 Jul, 2021 3 commits
    • improved handling of procedural for loops · bfd0cee0
      - convert loops with no or many incrementations
      - restrict AST node to only contain traditional initializations
      - parser elaborates for loop decls into a synthetic block
      - decl list codegen is now specific to parameter decl lists
      - update jump conversion special cases for new representation
      - first experiments with bimapM
      Zachary Snow committed
    • fix inefficiencies in logic conversion · 69e66a21
      - don't evaluate AST after procedural assignment collection
      - don't use State monad during rewrite
      - use Writer rather than State for procedural assignment collection
      - use Scoper access generation shortcut utility
      - cleanup as-patterns and legacy logic
      Zachary Snow committed
    • fix inefficiencies in unpacked array conversion · 5b2165d7
      - don't evaluate AST after depth collection
      - don't use State monad during rewrite
      - add Scoper utility for generating accesses without inserting element
      - cleanup as-patterns and unnecessary verbosity
      Zachary Snow committed
  21. 12 Jul, 2021 2 commits