Move cryptol-remote-api to the Cryptol repo (#92)

* Remove `cryptol-remote-api` (which is now in the `cryptol` repository). * Make `tasty-script-exitcode` work with GHC 8.10 * Fix `tasty-script-exitcode` to work on systems where Python 3.x is called `python`.
GaloisInc · Oct 12, 2020 · 023a3c4 · 023a3c4
1 parent f4b7ba9
commit 023a3c4
Show file tree

Hide file tree

Showing 26 changed files with 31 additions and 1,858 deletions.
diff --git a/cryptol-remote-api/CHANGELOG.md b/cryptol-remote-api/CHANGELOG.md
diff --git a/cryptol-remote-api/LICENSE b/cryptol-remote-api/LICENSE
diff --git a/cryptol-remote-api/Setup.hs b/cryptol-remote-api/Setup.hs
diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal
diff --git a/cryptol-remote-api/cryptol-remote-api/Main.hs b/cryptol-remote-api/cryptol-remote-api/Main.hs
diff --git a/cryptol-remote-api/src/CryptolServer.hs b/cryptol-remote-api/src/CryptolServer.hs
diff --git a/cryptol-remote-api/src/CryptolServer/Call.hs b/cryptol-remote-api/src/CryptolServer/Call.hs
diff --git a/cryptol-remote-api/src/CryptolServer/ChangeDir.hs b/cryptol-remote-api/src/CryptolServer/ChangeDir.hs