Code

add hoist_ifs_in_goal#1315

Code

Merged

mergify[bot] merged 14 commits intoGaloisInc:masterGaloisInc/saw-script:masterfrom nano-o:hoist_ifsnano-o/saw-script:hoist_ifsCopy head branch name to clipboardJun 3, 2021

+59

Commits

Commits on May 28, 2021

• add hoist_ifs_in_goal

  

  Giuliano Losa

  committed
  84c4f63

  Copy full SHA for 84c4f63

• add evidence for hoistIfs

  

  Giuliano Losa

  committed
  5fe62e1

  Copy full SHA for 5fe62e1

Commits on Jun 2, 2021

• Add draft contributor guidelines

  

  Aaron Tomb

  authored and

  Giuliano Losa

  committed
  ed7e4c5

  Copy full SHA for ed7e4c5

• Add missing file

  

  Aaron Tomb

  authored and

  Giuliano Losa

  committed
  82d62bc

  Copy full SHA for 82d62bc

• Address contrib guidelines comments from @kquick

  

  Aaron Tomb

  authored and

  Giuliano Losa

  committed
  15e1640

  Copy full SHA for 15e1640

• Remove code of conduct for now

  Show description for e707b96
  

  Aaron Tomb

  authored and

  Giuliano Losa

  committed
  e707b96

  Copy full SHA for e707b96

• Remove dead link to code of conduct

  

  Aaron Tomb

  authored and

  Giuliano Losa

  committed
  1ae2adb

  Copy full SHA for 1ae2adb

• add explanation string to InternalTacticEvidence

  

  Giuliano Losa

  committed
  1117b58

  Copy full SHA for 1117b58

• minor

  

  Giuliano Losa

  committed
  1c128e1

  Copy full SHA for 1c128e1

• make work when goal is Pi term

  

  Giuliano Losa

  committed
  2a89946

  Copy full SHA for 2a89946

• rm InternalTacticEvidence, add HoistIfsEvidence

  

  Giuliano Losa

  committed
  00368b5

  Copy full SHA for 00368b5

• remove spurious line

  

  Giuliano Losa

  committed
  630469a

  Copy full SHA for 630469a

• add comment for HoistIfsEvidence

  

  Giuliano Losa

  committed
  5192661

  Copy full SHA for 5192661

Commits on Jun 3, 2021

• Merge branch 'master' into hoist_ifs

  nano-o

  authored
  c4637d1

  Copy full SHA for c4637d1