GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-12 04:17:04 +03:00
Code Issues Projects Releases Wiki Activity
740 Commits 68 Branches 28 Tags 95 MiB
ab9ccb50d7
Commit Graph

19 Commits

Author SHA1 Message Date
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
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