Revision history for visualize-cbn

0.2.1 -- 2024-01-10

• Fixes to the selector thunk optimization: also apply it at the top-level, and correctly apply --hide-selector-thunk-opt (previously --hide-gc was hiding selector thunk optimization steps by mistake).

0.2.0 -- 2023-12-20

• Support multiple (mutually recursive) bindings in let
• Fix pattern matching on heap-allocated objects (we were losing sharing)
• Support heap inlining
• Support for selectors (fst, snd)
• Support the selector thunk optimization
• Add --disable-ansi command line
• Improve trace summarization
• Add some new primitive functions (min, max, succ)
• Add option to hide the prelude only after a specified step

0.1.0.2 -- 2019-09-10

• Newer GHC compatibility

0.1.0.1 -- 2018-03-04

• Start maintaining ChangeLog file.

• Minor improvement to the evaluation function:

  let x = e1 in seq x e2

  now takes a step to (provided that e1 -> e1')

  let x = e1' in seq x e2

  this avoids moving e1 to the heap (provided that there aren't multiple references to x from e2), clarifying the evaluation.

• Added graph output (contributed by Yiğit Özkavcı).

• Improved heap descriptions (contributed by Tim Rakowski).