GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-26 22:29:08 +03:00
Code Issues Projects Releases Wiki Activity
3,309 Commits 65 Branches 28 Tags 85 MiB
3b9eafbc91
Commit Graph

127 Commits

Author SHA1 Message Date
Ryan Scott
3b9eafbc91 CI: Update what4-solvers to use Z3 4.8.14 
The previous `what4-solvers` snapshot used Z3 4.8.10, which is known to cause
severe performance regressions with the `negshift` regression test. See #1107.
This updates to a more recent `what4-solvers` snapshot that uses Z3 4.8.14
instead, which is known to work more reliably with `negshift`.
 2022-01-14 14:48:11 -05:00
Ryan Scott
7030088e13 Ensure that there is at least one Windows build 2022-01-13 15:09:47 -05:00
Ryan Scott
31ca666b3a Regenerate cabal.GHC-*.config files 2022-01-13 12:16:10 -05:00
Ryan Scott
7bdb84beca CI: Drop GHC 8.6 2022-01-13 09:47:10 -05:00
Ryan Scott
38935c0c51 CI: Test GHC 9.0.2 2022-01-12 09:41:48 -05:00
Aaron Tomb
c8c122fac6 Migrate Docker images to use what4-solvers builds 2021-09-28 16:23:16 -07:00
Aaron Tomb
15b3b98482
Merge pull request #1286 from GaloisInc/at-windows-tests 
Re-enable tests on Windows
 2021-09-27 08:47:36 -07:00
Kevin Quick
1e71818767
Add some functionality comments to ci.sh 2021-09-20 08:56:11 -07:00
Aaron Tomb
4bd711bca1 Re-enable tests on Windows 
Still leaves out RPC tests. We don't expect them to work on Windows
anytime soon.
 2021-09-17 16:23:46 -07:00
Aaron Tomb
1bb2b540e9 Bump solver package snapshot version 2021-09-17 14:53:05 -07:00
Aaron Tomb
6cd4383086 Fix solver dependency analysis 2021-09-17 12:05:29 -07:00
Aaron Tomb
b88544152c Check dynamic library dependencies of solvers 2021-09-17 11:21:33 -07:00
Aaron Tomb
94a32f9a04 Disable RPC tests on macOS 
They’re stalling for unknown reasons, and aren’t as critical as the
others. Running the  Linux tests is the most critical.
 2021-09-17 11:20:34 -07:00
Aaron Tomb
45c28c397d Switch back to GHC 8.10.2 for now 
We're using GHC 8.6.5 for tests
 2021-09-15 16:14:24 -07:00
Aaron Tomb
5e31bd0575 Attempt to fix build stall on Windows 2021-09-15 16:07:37 -07:00
Aaron Tomb
c537017abe Include abc in with-solvers tarballs 2021-09-15 13:11:30 -07:00
Aaron Tomb
bdb2c96817 Make solver package version configurable 2021-09-15 13:11:30 -07:00
Aaron Tomb
88d24a17a2 Always overwrite solvers when unzipping 2021-09-15 13:11:30 -07:00
Aaron Tomb
aa3426e316 Fix Yices executable name 2021-09-15 13:11:30 -07:00
Aaron Tomb
5fbb1752e6 Fix typo in solver binary archive names 2021-09-15 13:11:30 -07:00
Aaron Tomb
c8bfa205e8 Use prebuilt solver binaries from what4-solvers 2021-09-15 13:11:30 -07:00
Aaron Tomb
015cd7772e Build Docker images only on nightly runs 2021-08-25 14:47:38 -07:00
Aaron Tomb
5c3cdffa4f
Improve CI for Windows and portable Docker container (#1248) 
* Disable Windows RPC tests

They seem to hang instead of failing at the moment, so until we get them
working it seems like it's better to just leave them out.

* Attempt to make "portability" build only run nightly.
 2021-07-26 09:40:44 -07:00
Aaron Tomb
17f5dc723b
Build distribution tarballs with and without solvers (#1228) 2021-07-23 08:00:26 -07:00
Iavor Diatchki
57283e26f2 Disable push-image with PORTABILITY=true 
This takes way too long to run on every commit
 2021-07-22 16:25:28 +03:00
Iavor Diatchki
75ab0ec09d Temporarily disable uploading artifacts for Windows. 
This seems to break the CI, we need to investigate why
 2021-07-22 15:21:25 +03:00
Aaron Tomb
02aa44114e
Fix allowed test failure on Windows (#1232) 
This disables RPC tests on Windows. They seem to hang instead of failing at the moment, so until we get them
working it seems like it's better to just leave them out.
 2021-07-09 11:04:06 -07:00
Aaron Tomb
c1a2bfb5c1
Attempt to fix CVC4 and Docker upload issues (#1230) 
We will need a better solution to getting CVC4 eventually, but unbreaking the builds, even temporarily, is high priority. And the right solution for CVC4, with the recent transition to CVC5, is somewhat tricky.
 2021-07-08 13:10:31 -07:00
Lisanna Dettwyler
dfae4580e3
Support TLS in cryptol-remote-api (#1203) 
Add support for TLS connections in both the rpc server
and client. Allow the client to disable certificate validation
via the `verify` keyword argument, i.e.,
`cryptol.connect(verify=False)`. The docker container
for `cryptol-remote-api` also contains a self-signed
cert for testing purposes.

Co-authored-by: Andrew Kent <andrew@galois.com>
 2021-06-25 14:26:09 -07:00
Lisanna Dettwyler
eb829d89b2
Release process improvements (#1176) 
Closes #1175

Closes #1134
 2021-06-04 11:29:28 -07:00
Ryan Scott
88c369a271 Autogenerate cryptol-remote-api docs (and check them in CI) 
Unfortunately, the autogenerated documentation (now located in `Cryptol.rst`)
doesn't yet have all of the information contained within the hand-written
documentation (now located in `old-Cryptol.rst`—see #1206. In pursuit of
eventually fixing that issue, the CI now makes sure that any changes to the
autogenerated documentation are checked in.
 2021-06-01 11:00:26 -04:00
Andrew Kent
af0be41cf1
feat(rpc): make python client compat with python 3.7 (#1195) 2021-05-07 16:19:08 -07:00
Iavor Diatchki
b2a8a23798 Remove constraints on cabal install, as we made the most progress with that... 2021-04-22 15:13:52 -07:00
Iavor Diatchki
a7daa1e9c0 Overwrite test-runner if it was already there 2021-04-22 14:18:28 -07:00
Iavor Diatchki
c16583230a Print test-runner version, and always build it. 2021-04-22 14:04:15 -07:00
Lisanna Dettwyler
ec614b26cd Fix test-lib step 2021-04-22 12:35:17 -07:00
Iavor Diatchki
0c65f5e82b Change CI to use test-lib-0.3 and add a windows test for modsys/T18 2021-04-21 15:33:29 -07:00
Lisanna Dettwyler
8ed946ea75 Fix CI release signing and docker caching 2021-03-24 13:13:43 -07:00
Lisanna Dettwyler
d1ec9b214a Fix docker image caching 2021-03-23 20:55:49 -07:00
Lisanna Dettwyler
b8372231a1 Fix release bundle signing 2021-03-23 20:55:49 -07:00
Lisanna Dettwyler
f021990eba
Prep CI for upcoming release (#1123) 
- Container images are now published to ghcr.io rather than docker hub (closes #1110):
  - https://github.com/orgs/GaloisInc/packages/container/package/cryptol
  - https://github.com/orgs/GaloisInc/packages/container/package/cryptol-remote-api
- Docker builds for all images are cached against ghcr.io (doesn't provide incremental builds, but it still helps a lot).
  - https://github.com/orgs/GaloisInc/packages/container/package/cache-cryptol
  - https://github.com/orgs/GaloisInc/packages/container/package/cache-cryptol-remote-api
- "Portable" variant of cryptol-remote-api is now built and tested to the same degree as the non-portable one
- Normalized CI workflows to [`.github/workflows/ci.yml`](https://github.com/GaloisInc/cryptol/blob/lisanna/docker-publishing/.github/workflows/ci.yml) (closes #1115)
- Pre-merge and release build configurations are now more or less the same, so release process remains validated (closes #1114, closes #1116)
- Matrix configs for each job are visible at high-level views of the workflow
- Always upload workflow artifacts, use sensible retention periods for publish vs. non-publish
- `cryptol-eval-server` included in cryptol-remote-api container image (closes #1112)
- Pathclearing for static linking (#1113)
 2021-03-23 15:24:48 -07:00
Aaron Tomb
d6e3c13cd9
Include files from lib in release tarballs (#1120) 
Closes #1074.
 2021-03-22 08:30:43 -07:00
LisannaAtGalois
8a0a0094ae
Fix nightly builds (#1101) 
* Restore files used in nightly
* fix helm test to use renamed argo
* point test to correct python location
* use python 3.9 for :=
 2021-03-10 08:04:31 -08:00
Andrew Kent
9943b5ce0c test: test cryptol-remote-api docker image alongside other builds 2021-03-04 14:38:47 -08:00
Andrew Kent
b2562b3d27 bump argo, minor rpc tweaks 2021-03-01 13:19:00 -08:00
LisannaAtGalois
bcc7612b76
Init ghcr.io/galoisinc/cryptol-remote-api:nightly-portable (#1065) 2021-02-10 13:16:35 -08:00
Jared Weakly
1b482ba9ed
Fix helm testing and cvc4 url fix to missing locations (#1031) 
* Fix helm testing and cvc4 url fix to missing locations

* Update tag for test-cryptol-remote-api in helm tests
 2021-01-14 11:18:06 -08:00
Jared Weakly
5971ac3bed
Support ghc 8.10.3 cryptol remote api (#1026) 
* Use ghc 8.10.3 for cryptol-remote-api to test SGX compatibility
* Fix cvc4
* Fix test suite for cryptol-remote-api
* Default to putting the heap as low in address space as possible
 2021-01-11 11:36:21 -08:00
Aaron Tomb
396cad9363
Fix CVC4 nightly version (#1027) 
Fixes CVC4 version used in Docker builds and GitHub actions. This is the update that we currently have to do every few weeks to point to a nightly build that still exists.
 2021-01-04 11:13:06 -08:00
David Thrane Christiansen
d93ae31298 cryptol-eval-server: add to CI script 2020-12-15 18:42:07 -08:00