Iavor Diatchki
59aa5f11d0
Fix typos
2018-05-07 11:50:51 -07:00
Aaron Tomb
984012a1a4
Don't freeze base version in cabal freeze files
2018-05-04 10:40:31 -07:00
Aaron Tomb
ca982f9f56
Update sbv versions in cabal freeze files
2018-05-04 10:10:26 -07:00
Brian Huffman
62dfa1d58f
Use sbv version 7.7. Fixes #486 .
...
Also add regression test for #486 .
2018-04-30 09:54:26 -07:00
Brian Huffman
42e89b11ae
Make :check work for tests involving type Integer.
2018-04-20 16:00:32 -07:00
Brian Huffman
e8a941ecbd
Add prelude docstrings for 'head' and 'last'.
2018-04-18 17:01:24 -07:00
Brian Huffman
3be72ae2cb
Replace indexing primitives (!!) and (@@) with cryptol implementations.
2018-04-18 16:50:39 -07:00
Aaron Tomb
126c384ff6
Avoid most recent version of base-compat
...
The latest version causes build failures. Ultimately, we should be able
to fix the code to work with newer base-compat versions on various GHC
verions, but this gets builds to work for now.
2018-04-18 10:07:08 -07:00
Brian Huffman
2cdf9bd159
Replace primitives pmult, pmod, pdiv with cryptol implementations.
2018-04-15 06:56:20 -07:00
Diatchki
fb98ed89d9
Merge branch 'master' of github.com:GaloisInc/cryptol
2018-04-03 10:42:57 -07:00
Diatchki
a444f2bd31
Script to run tests easily.
...
This is convenient for when
using cabal new-build.
2018-04-03 10:41:08 -07:00
Diatchki
10b7f891e2
Ignore environment cabal thing
2018-04-03 09:56:48 -07:00
Diatchki
fcf5230bbd
Fix build
...
Make it work with GHC 8.2
2018-04-03 09:55:31 -07:00
Aaron Tomb
c2ee6833f4
Make sure tests run with _both_ GHC 8.4 and 8.2
2018-04-03 09:47:18 -07:00
Aaron Tomb
d67f6de189
Update CI configuration for GHC 8.4.1
2018-04-02 16:31:08 -07:00
Aaron Tomb
b5d55d7a06
Add freeze file for GHC 8.4
2018-04-02 16:28:44 -07:00
Aaron Tomb
f35c5549d5
Remove more unused packages from freeze files
2018-04-02 16:28:28 -07:00
Aaron Tomb
02e9ea5ea5
Fix test output due to re-sorting environment
2018-04-02 15:35:10 -07:00
Aaron Tomb
0bbb7fa6ec
Fix tests with GHC 8.4.1
2018-04-02 15:35:03 -07:00
Aaron Tomb
b8669377c4
Remove unused packages from cabal configs
2018-04-02 15:29:15 -07:00
Iavor Diatchki
849cee862b
Fix up binding of it to values.
2018-04-02 09:49:17 -07:00
Iavor Diatchki
47ed3b57ad
Make :check and :exhaust bind the counter example in it
...
Fixes #449
2018-03-30 17:10:38 -07:00
Iavor Diatchki
bfb3290e9b
Improve display ordering on names and group constraint synonyms separately.
...
See #503
2018-03-30 15:28:22 -07:00
Aaron Tomb
9d344bb452
Fix build with GHC 8.4.1
2018-03-23 15:08:09 -07:00
Brian Huffman
6fdc1ff326
Write about type constraint synonyms in Programming Cryptol.
...
Fixes #452 .
2018-03-22 16:06:55 -07:00
Brian Huffman
43bee098ea
Regenerate Semantics.pdf.
2018-03-22 13:42:03 -07:00
Brian Huffman
fccf55f30f
Remove obsolete cvs-era $Header$ keywords.
2018-03-22 13:33:12 -07:00
Brian Huffman
c1949586c2
Thunk elements of EList expressions of type Bit during evaluation.
...
Fixes #488 .
2018-03-21 17:55:11 -07:00
Brian Huffman
d84d697aae
Fix compiler warnings and remove dead code.
2018-03-21 11:21:48 -07:00
Brian Huffman
2e4fa35209
Remove unused package dependencies.
2018-03-21 11:15:46 -07:00
Aaron Tomb
a8b58a09d6
Bump pinned SBV version to 7.6
2018-03-21 10:20:41 -07:00
Aaron Tomb
6a0d7ca9df
Remove cryptol-test-runner from frozen packages
2018-03-21 10:13:52 -07:00
Brian Huffman
83442f5049
Implement signed shift (>>$) and less-than (<$) in reference interpreter.
...
Fixes #469 .
2018-03-21 09:58:48 -07:00
Brian Huffman
5cd9141fe7
Add functions head and last to Cryptol prelude. Fixes #465 .
...
Also fix regression test output.
2018-03-16 15:10:36 -07:00
Aaron Tomb
7f27ed592d
Remove unnecessary dependency on old-time
2018-03-12 12:53:27 -07:00
Aaron Tomb
b96eef5ef0
Bump library versions for GHC 8.2
2018-03-12 11:02:15 -07:00
Max Orhai
a4a14b4c98
Merge branch 'html-doc-improvements'
2018-03-08 13:38:33 -08:00
Brian Huffman
134d8cca4c
Thunk elements of EList, ETuple, and ERec expressions during evaluation.
...
Fixes #432 .
2018-03-07 18:21:16 -08:00
Max Orhai
1c2996610d
Use blaze for HTML generation
2018-03-05 17:07:19 -08:00
Aaron Tomb
032522a497
Allow GHC 8.2.* with Cabal-based builds
2018-02-28 10:22:55 -08:00
Aaron Tomb
1fae177542
Add Cabal configuration for GHC 8.2
2018-02-28 10:15:29 -08:00
Aaron Tomb
70a4728e5c
Add ONR acknowledgement to README
2018-01-22 10:54:27 -08:00
Aaron Tomb
e704df26cb
Merge pull request #496 from avadacatavra/mailing-list-update
...
updated mailing list in readme
2018-01-19 07:58:02 -08:00
ddh
a4779e4531
updated mailing list in readme
2018-01-19 12:38:22 +00:00
Brian Huffman
ff86d02600
Fix typo in docstring.
2018-01-11 10:24:26 -08:00
Brian Huffman
60e03d7313
Suppress unused-variable warning for names that are defined externally.
...
Previously names were considered "local" if they have the same module
name as the module name that we are performing renaming on (the idea
being that all "external" names would have been imported from a different
module).
However, this assumption doesn't hold for the "<interactive>" module,
which is used for REPL declarations. Names from earlier REPL declarations
should be considered "external" when renaming later REPL expressions, even
though they have the same "<interactive>" module name.
The problem is fixed by checking whether a name was already present in the
old naming environment; if so, then it is considered "external" and will
not generate an unused-variable warning.
2018-01-11 10:23:19 -08:00
Iavor Diatchki
79e6f83c70
Report proper errors instead of panicing.
...
Previously I erroneously thought this would be reported by the renamer,
so I turned the errors into panics.
Fixes #493
2018-01-04 15:27:37 -08:00
Iavor Diatchki
f4d306f1ee
Add a TBox based AES
2018-01-04 14:52:41 -08:00
Iavor Diatchki
4aa68c9cf4
Add a note for another useful rule
2018-01-04 10:59:33 -08:00
Iavor Diatchki
762b31597f
Add a case to solve things like: 4 == 2 ^^ x
2018-01-04 10:57:05 -08:00
