Ryan Scott
1681707bd0
Use correct link for GitHub Actions README badge
2021-04-21 11:57:44 -04:00
Aaron Tomb
9e518f1e55
Update acknowledgements in README ( #1129 )
2021-03-24 08:39:10 -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
0541bcf559
Preparation for the 2.10 release ( #972 )
...
* Update CHANGES for 2.10
* Remove profiling flags from Cabal file
They result in `cabal check` warnings and probably don’t need to be
hard-coded.
* Remove commented-out Cryptol server references
The code no longer exists, so we’ll never uncomment these.
Equivalent functionality is now provided by `cryptol-remote-api`.
* Update references to version numbers in README. Closes #719 .
2020-11-18 15:38:44 -08:00
Ben Selfridge
b46a2f61cb
Adds a blurb about initializing git submodules to the README
2020-10-21 12:22:16 -07:00
Aaron Tomb
2f4684c8af
Build system and documentation cleanup ( #816 )
...
* Remove `Makefile`
* Remove Travis and AppVeyor configurations
* Improve portability of the `cry` script
* Fix Docker builds
* Update documentation to remove references to `make`
* Update copyright dates
* Fix omitted section of CONTRIBUTING.md
* Update Z3 installation instructions
Fixes #570 , #603 , #790 , #807 .
2020-07-14 10:58:38 -07:00
Jared Weakly
0076943a45
Reference Master in pipeline status badge
2020-06-17 12:56:21 -07:00
Jared Weakly
1c38465ca8
Implement GitHub actions ( #722 )
...
* Builds nightly binary tarballs on Linux, macOS, and Windows
* Runs tests on every PR and merge to master
* Includes GitHub Actions status in README instead of Travis
* Makes the GitRev recompile hack less fragile
* Makes the Makefile Cabal v3 compatible
* Builds the manual as part of the CI process
2020-05-14 10:50:22 -07:00
Aaron Tomb
6adec7f771
Update README with new NSA group name ( #717 )
...
Closes #679 .
2020-05-05 11:12:04 -07:00
Aaron Tomb
70a4728e5c
Add ONR acknowledgement to README
2018-01-22 10:54:27 -08:00
ddh
a4779e4531
updated mailing list in readme
2018-01-19 12:38:22 +00:00
Fabian Beuke
ab75f152d1
Update copyright notice year from 2016 to 2017
2017-09-28 16:18:00 +02:00
Aaron Tomb
901a1d16ad
Remove references to cryptol-server from README
2017-07-24 16:22:00 -07:00
Aaron Tomb
10240a62d6
Add note about Z3 version to README
2017-07-21 08:42:38 -07:00
Aaron Tomb
da04f374f4
Add Travis badge to README
2017-07-21 08:34:30 -07:00
Aaron Tomb
254283f7cb
Document configuration of support files
...
Now README.md describes how to tell Cryptol where to find the Prelude
and Z3 configuration files that it needs.
2017-03-21 09:14:09 -07:00
Adam C. Foltzer
875d78800f
add note about Z3 on 64-bit Linux
2016-05-31 15:47:50 -07:00
Adam C. Foltzer
4d3fc9a413
Update copyright dates and add missing headers
2016-01-19 18:19:35 -08:00
Adam C. Foltzer
9c07fe1006
merge in the 2.2.6 changes, including z3 switch
2015-12-23 16:10:56 -08:00
Adam C. Foltzer
3ae0dda7ac
switch to Z3 for typechecking and proving
...
Note: the hardcoding in this patch is only for the 2.2 hotfix branch; in
the 2.3 branch we will only have to change the default setting for the
typechecker.
2015-12-23 14:59:10 -08:00
Nicolas Braud-Santoni
3f8cde4eae
README.md: Trivial fixes
2015-07-26 15:56:05 +02:00
Adam C. Foltzer
900e4acf8b
clean up cryptol-server for merging
2015-07-21 11:52:17 -07:00
Adam C. Foltzer
9eaaa5b8de
replace note about cvc4 on PATH
2015-04-10 11:23:00 -07:00
Adam C. Foltzer
2e44c44e2b
note about CVC4 from Homebrew
2015-04-10 11:23:00 -07:00
Adam C. Foltzer
53c6283daf
update readme with Homebrew info
2015-04-10 11:23:00 -07:00
Adam C. Foltzer
52bd3fe996
replace note about cvc4 on PATH
2015-04-10 10:59:47 -07:00
Adam C. Foltzer
60ec857969
note about CVC4 from Homebrew
2015-03-30 10:23:00 -07:00
Adam C. Foltzer
ce4db94fdc
update readme with Homebrew info
2015-03-30 10:16:10 -07:00
Adam C. Foltzer
e1f89dc7d0
README cleanups
...
- update copyright date
- point to new Haskell.org downloads rather than HP
- new WiX version
- smoke test subsumes `:prove True`
- repo layout simpler (no `notebook`, `sbv` subdirs)
- no notebook documentation
2015-03-03 13:48:32 -08:00
Adam C. Foltzer
6bdbbfae30
clarify the name of the icryptol script
2015-02-11 17:54:42 -08:00
Adam C. Foltzer
c8a764b4cd
remove bit about cloning IHaskell from README
2015-02-11 17:46:03 -08:00
Adam C. Foltzer
59aacf02fd
document the make run target
...
This is a convenience for getting the library path right when running
from the staged dist area
2015-02-11 17:36:12 -08:00
Adam C. Foltzer
f04a2547af
document notebook branch and add submodule
...
These changes should almost completely disappear once `ipython-kernel`
is on Hackage.
2015-02-11 17:35:14 -08:00
Adam C. Foltzer
abf19641be
small tweak to readme wording
2014-12-08 17:30:32 -08:00
Adam C. Foltzer
61e9b4e1fe
add pointer to low-hanging fruit issue label
2014-12-08 17:29:26 -08:00
Dylan McNamee
3e0ce32888
document that four failing tests is expected (for now)
2014-04-27 11:29:52 -07:00
Dylan McNamee
3e22966c1c
spelling in README
2014-04-27 11:26:37 -07:00
Adam C. Foltzer
2f229e0c9c
reinsert book authors into acknowledgments
2014-04-24 14:47:55 -07:00
Dylan McNamee
bd578915ea
incorporating "thanks" in main README
2014-04-24 10:59:06 -07:00
Adam C. Foltzer
51cb27555a
readme updates
...
clarify CVC4 dependency and tweak wording around checking an installation
2014-04-21 12:01:18 -07:00
Dylan McNamee
4f57c0a93f
polishing
2014-04-21 11:40:07 -07:00
Adam C. Foltzer
ba0a0e8576
Initial import from internal repo
2014-04-17 15:34:25 -07:00
