Tigress Version 1.1 Release Notes

  1. Multiple bug fixes.
  2. Added the --Environment option.
  3. The --Transform=BranchFuns option was renamed --Transform=EncodeBranches.
  4. The --EncodeBranchesKinds option was added, with values branchFuns, goto2push and goto2call.
  5. Added the --Transform=RandomFuns option to generate challenge programs.