Code

Turn on reduction for noodlification#107

Code

Merged

jurajsic merged 1 commit intodevelVeriFIT/z3-noodler:develfrom noodle_reduceVeriFIT/z3-noodler:noodle_reduceCopy head branch name to clipboardDec 26, 2023

+3-2

Commits

Commits on Dec 21, 2023

• turn on reduction for noodlification

  

  jurajsic

  authored and

  vhavlena

  committed
  feada45

  Copy full SHA for feada45