Code

More shrinking!#39

Code

Merged

Rewbert merged 15 commits intomasterssm-lang/Scoria:masterfrom shrinkerssm-lang/Scoria:shrinkerCopy head branch name to clipboardJul 10, 2021

+843-658

Commits

Commits on Jul 5, 2021

• factored out some procedure transformation code and added a test case that was successfully shrunk

  Rewbert

  committed
  de717db

  Copy full SHA for de717db

• rewrote the shrinking crap so it's easier to get an overview of what is relevant to which shrinking strategy

  Rewbert

  committed
  4f91918

  Copy full SHA for 4f91918

• expression shrinker

  Rewbert

  committed
  0d9070b

  Copy full SHA for 0d9070b

• doc on expression shrinker

  Rewbert

  committed
  b00ab97

  Copy full SHA for b00ab97

• rewrite of some shrinkers to use the functions in Utils

  Rewbert

  committed
  3136530

  Copy full SHA for 3136530

• small changes

  Rewbert

  committed
  2deeac2

  Copy full SHA for 2deeac2

Commits on Jul 7, 2021

• BUG FIX

  Rewbert

  committed
  8667485

  Copy full SHA for 8667485

• some bug fixes and further shrinking of programs

  Rewbert

  committed
  e9866ef

  Copy full SHA for e9866ef

• new cabal

  Rewbert

  committed
  f23cd2d

  Copy full SHA for f23cd2d

• small comments

  Rewbert

  committed
  53392ee

  Copy full SHA for 53392ee

• Update package.yaml

  Rewbert

  authored
  c50f707

  Copy full SHA for c50f707

Commits on Jul 9, 2021

• fix bug in index_of_act

  Rewbert

  committed
  eae8ff9

  Copy full SHA for eae8ff9

• Merge branch 'shrinker' of github.com:Rewbert/ssm-edsl into shrinker

  Rewbert

  committed
  0f66b57

  Copy full SHA for 0f66b57

• removed unecessary assertion

  Rewbert

  committed
  795e928

  Copy full SHA for 795e928

• removed dead code block

  Rewbert

  committed
  fde84b7

  Copy full SHA for fde84b7