Code

Move saw-remote-api to the SAW repo #93

Code

Merged

atomb merged 15 commits intomasterGaloisInc/argo:masterfrom at-remote-saw-remote-apiGaloisInc/argo:at-remote-saw-remote-apiCopy head branch name to clipboardOct 12, 2020

-3,392

Commits

Commits on Oct 7, 2020

• Remove cryptol-remot-api

  Show description for c50b228
  

  Aaron Tomb

  committed
  c50b228

  Copy full SHA for c50b228

• Remove saw-remote-api

  Show description for f8c34f7
  

  Aaron Tomb

  committed
  f8c34f7

  Copy full SHA for f8c34f7

• Make tasty-script-exitcode work with GHC 8.10

  

  Aaron Tomb

  committed
  8c44b1e

  Copy full SHA for 8c44b1e

• Really fix build with GHC 8.10

  

  Aaron Tomb

  committed
  ba29e13

  Copy full SHA for ba29e13

• Fall back on python if python3 not found

  Show description for 03be8a7
  

  Aaron Tomb

  committed
  03be8a7

  Copy full SHA for 03be8a7

• Merge remote-tracking branch 'remotes/origin/at-move-cryptol-remote-api' into at-remote-saw-remote-api

  

  Aaron Tomb

  committed
  5723d01

  Copy full SHA for 5723d01

Commits on Oct 8, 2020

• Make sure pip is installed during tests

  

  Aaron Tomb

  committed
  110a9fb

  Copy full SHA for 110a9fb

• Look for pip in the right place on Windows

  

  Aaron Tomb

  committed
  000f3ba

  Copy full SHA for 000f3ba

• Another Windows path fix

  

  Aaron Tomb

  committed
  efacd65

  Copy full SHA for efacd65

• Merge remote-tracking branch 'origin/at-move-cryptol-remote-api' into at-remote-saw-remote-api

  

  Aaron Tomb

  committed
  7d43256

  Copy full SHA for 7d43256

• Attempt more robust server loading

  

  Aaron Tomb

  committed
  cac9287

  Copy full SHA for cac9287

Commits on Oct 9, 2020

• Correct Python syntax

  

  Aaron Tomb

  committed
  277db6b

  Copy full SHA for 277db6b

• Revert "Correct Python syntax"

  Show description for 3b82d9c
  

  Aaron Tomb

  committed
  3b82d9c

  Copy full SHA for 3b82d9c

• Revert "Attempt more robust server loading"

  Show description for c2318f8
  

  Aaron Tomb

  committed
  c2318f8

  Copy full SHA for c2318f8

Commits on Oct 12, 2020

• Merge branch 'master' into at-remote-saw-remote-api

  

  Aaron Tomb

  authored
  a607ca3

  Copy full SHA for a607ca3