GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-15 18:52:13 +03:00
Code Issues Projects Releases Wiki Activity
2,072 Commits 68 Branches 28 Tags 95 MiB
7db3ab66a6
Commit Graph

2072 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Aaron Tomb
7db3ab66a6 Use v2-configure after v2-update on Travis 2019-10-28 14:30:29 -07:00
Aaron Tomb
84987bc79e Run v2-configure _after_ v2-update on AppVeyor 2019-10-28 14:07:32 -07:00
Aaron Tomb
47b2eccad7 Remove leading ./ from file names in test output 2019-10-28 13:57:37 -07:00
Aaron Tomb
21e49459df Move --allow-newer flag to CI scripts, not cry 2019-10-28 13:49:45 -07:00
Aaron Tomb
6c4101a0db Use normalise on file names when loading 
This avoids unnecessary `./` at the beginnings of file names, which is
noisy and causes Windows tests to fail.
 2019-10-28 13:48:07 -07:00
Aaron Tomb
588e5bbe59 Be less verbose during cabal v2-configure 2019-10-24 14:37:37 -07:00
Aaron Tomb
b989e18c6a Put Z3 in the path for AppVeyor 2019-10-24 14:20:46 -07:00
Aaron Tomb
6fc05c9c80 Don't use freeze files on AppVeyor 2019-10-24 14:03:30 -07:00
Aaron Tomb
10f1dfdacf Move --allow-newer in cry script 2019-10-23 16:37:10 -07:00
Aaron Tomb
92efa36598 Update freeze files for all GHC versions 2019-10-23 13:20:59 -07:00
Aaron Tomb
20c58a0dd8 Rename Cabal freeze files 2019-10-23 13:05:35 -07:00
Aaron Tomb
7f79f9bd5c Use cry script on AppVeyor 2019-10-23 12:58:47 -07:00
Aaron Tomb
8012484fa6 Actually fix Travis freeze files? 2019-10-23 12:50:09 -07:00
Aaron Tomb
887d1bc65b Attempt to make Travis work again 2019-10-23 10:24:50 -07:00
Aaron Tomb
17aeccb7ff Add --allow-newer to cry script 2019-10-23 10:24:34 -07:00
Aaron Tomb
dbca61ce66 Make GHC 8.8 freeze file more like others 2019-10-23 10:24:18 -07:00
Aaron Tomb
8304eb74de Better compilation fixes for GHC < 8.8 
Now it actually runs!
 2019-10-23 10:23:44 -07:00
Aaron Tomb
63faa84e90 Use --allow-newer on AppVeyor with GHC 8.8 2019-10-23 09:14:15 -07:00
Aaron Tomb
92dccaf530 Fix AppVeyor configuration 2019-10-22 16:48:46 -07:00
Aaron Tomb
abd3ba639e Update CI configuration to use GHC 8.{4,6,8} 2019-10-22 16:44:01 -07:00
Aaron Tomb
f275f082c2 Make build still work with GHC < 8.8 2019-10-22 16:40:02 -07:00
Aaron Tomb
2e875fc24b Use SBV versions that work with GHC 8.8 2019-10-22 16:12:05 -07:00
Aaron Tomb
89ccdc0228 Fix build with GHC 8.8.1 
This commit consists entirely of moving `fail` implementations to
`MonadFail` instance definitions.
 2019-10-17 09:34:44 -07:00
Aaron Tomb
ce0365fb80 Bump master Cryptol version to 2.8.1 2019-09-17 10:08:42 -07:00
Aaron Tomb
1cb884ce11
Merge pull request #644 from GaloisInc/at-rel28-prep 
Update CHANGES.md and Travis config for 2.8.0
 2019-09-04 08:30:22 -07:00
Aaron Tomb
ae6de61d28 Add changes for Cryptol 2.8.0 to CHANGES.md 2019-09-03 10:16:15 -07:00
Aaron Tomb
d16f70b956 Disable macOS builds on Travis for now 
They're not really reproducible, given the use of Homebrew. Dependency
versions update suddenly, and always at the most inconvenient times.
 2019-09-03 09:40:35 -07:00
brianhuffman
8581f8e0b2
Merge pull request #642 from GaloisInc/issue615 
Make :dumptests check whether type is testable before starting.
 2019-08-30 07:37:30 -07:00
Brian Huffman
64423cbcdc Make :dumptests check whether type is testable before starting. 
Instead of panicking, :dumptests will now print the message
"The expression is not of a testable type" when used with an
inappropriately-typed expression. Also, Integer return values
are now supported.

Fixes #615.
 2019-08-29 12:32:44 -07:00
Aaron Tomb
dbfb329d2b
Merge pull request #641 from GaloisInc/at-rel28-prep 
Bump dependency versions in prep for 2.8.0 release

This includes the version of Z3 used in the Docker image
 2019-08-28 13:50:46 -07:00
Aaron Tomb
7d62081632 Bump dependency versions in prep for 2.8.0 release 
This includes the version of Z3 used in the Docker image
 2019-08-28 13:24:58 -07:00
Brian Huffman
9c55ec56c6 Export commandList from module Cryptol.REPL.Command. 2019-08-28 11:22:29 -07:00
Brian Huffman
12805bef0e Avoid calling wordLit with bitsizes greater than maxBitIntWidth. 
Fixes #636.
 2019-07-24 16:50:40 -07:00
Brian Huffman
2e72a7387c Replace fromIntegral with fromInteger or toInteger where possible. 
See #637.
 2019-07-24 13:13:11 -07:00
Brian Huffman
484f9fc631 Fix typos in comments. 2019-07-24 13:10:34 -07:00
Iavor Diatchki
ce26749142 Flush after storing, so that we can see the content. 2019-07-05 14:52:13 -07:00
Iavor Diatchki
8fe9f5efa9 Add support for working with in-memory sources. 
Currently we only use this for the Prelude, which is baked into Cryptol.
Previously we used to save it in a temporary file, which would show
up in error messages, leading to bad user experience and unreliable
test outputs.

Also improves the shadowing errors.

Fixes #569
 2019-07-05 14:09:04 -07:00
Iavor S. Diatchki
cc5c10b4c4
Merge pull request #630 from GaloisInc/prelude_prims 
Prelude Prims
 2019-07-05 09:57:58 -07:00
Iavor Diatchki
ca4968ff3d Fix test. The error message changed, but is still valid. 
We should really have only one way to say this,
I made a ticket: #633
 2019-07-05 09:37:45 -07:00
Iavor Diatchki
4b5d569e09 Fix tests---some variables got renumbered. 
We really should fix this up so we don't print the numbers unless
there really is an ambiguity.
 2019-07-05 09:34:20 -07:00
Iavor Diatchki
91b69e85cd Remove debugging output. 2019-07-05 09:31:44 -07:00
Iavor Diatchki
7c708faa47 Show additional type constraints in help message. 2019-07-05 09:16:53 -07:00
Iavor Diatchki
a0b4b14f86 Make constraints on type constructors/functions explicit. 
This is mostly working, but I still need to update the help on the REPL
to show the constraints.
 2019-07-03 17:03:31 -07:00
Iavor Diatchki
971897d9ca Use 'Prop' instead of '@' to write the kind of a constraint. 
This is more consistent with how we've been printing kinds for a while,
so no need to change the notation.
 2019-07-03 10:21:04 -07:00
Iavor Diatchki
72068cb961 Move type-level primitives to the Prelude. 
For the time being, there is still some information about them that
is duplicated in Cryptol.TypeCheck.TCon, but we at least the parsed syntax
does not depend on the typechecked syntax.
 2019-07-02 17:34:36 -07:00
Iavor Diatchki
1cfadef5ea Add a forgotten test 2019-07-01 10:26:39 -07:00
brianhuffman
c5dec7443a
Merge pull request #628 from GaloisInc/issue625 
Issue625
 2019-06-28 11:31:28 -07:00
Brian Huffman
8b0e236eec Support element type ascriptions on list enumerations: [a,b..c:t]. 
Cf. issue #625.
 2019-06-27 14:31:06 -07:00
Brian Huffman
e03446dbc8 Adjust whitespace. 2019-06-27 14:25:08 -07:00
Brian Huffman
1e11ff6b8b Add type constraint synonyms (<) and (>). 
Fixes #400.
 2019-06-26 20:44:13 -07:00