Code

Add learning exercises#1771

Code

Merged

bboston7 merged 13 commits intomasterGaloisInc/saw-script:masterfrom bb/exercisesGaloisInc/saw-script:bb/exercisesCopy head branch name to clipboardDec 8, 2022

+3,860

Commits

Commits on Nov 24, 2022

• Add exercises

  

  Brett Boston

  committed
  df8ba41

  Copy full SHA for df8ba41

Commits on Dec 2, 2022

• Initial setup runs one exercise

  

  Brett Boston

  committed
  7dac614

  Copy full SHA for 7dac614

• Run all exercises and solutions in CI

  

  Brett Boston

  committed
  01750dc

  Copy full SHA for 01750dc

Commits on Dec 3, 2022

• Docs

  

  Brett Boston

  committed
  ea107f4

  Copy full SHA for ea107f4

Commits on Dec 7, 2022

• Split exercises into own CI job

  

  Brett Boston

  committed
  93c8a89

  Copy full SHA for 93c8a89

• Avoid re-downloading what4-solvers binaries

  

  Brett Boston

  committed
  0b592a5

  Copy full SHA for 0b592a5

• Use same helpers.saw file for all exercises

  

  Brett Boston

  committed
  a895440

  Copy full SHA for a895440

• Unify Makefiles and remove .bc files

  

  Brett Boston

  committed
  68e66b3

  Copy full SHA for 68e66b3

• Merge remote-tracking branch 'origin/master' into bb/exercises

  

  Brett Boston

  committed
  6f8f4e8

  Copy full SHA for 6f8f4e8

• Ignore generated files

  

  Brett Boston

  committed
  ac3e347

  Copy full SHA for ac3e347

• Remove all print_goals from solutions

  Show description for e8ca835
  

  Brett Boston

  committed
  e8ca835

  Copy full SHA for e8ca835

• Break FC point exercise to test that CI detects errors

  

  Brett Boston

  committed
  ea46f09

  Copy full SHA for ea46f09

Commits on Dec 8, 2022

• Revert "Break FC point exercise to test that CI detects errors"

  Show description for 675aa2b
  

  Brett Boston

  committed
  675aa2b

  Copy full SHA for 675aa2b