Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prepare release 1.2 #2112

Closed
wants to merge 5 commits into from
Closed

Prepare release 1.2 #2112

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
781a2f1
Update Changelog for SAW 1.2 Release.
mccleeary-galois Aug 30, 2024
fbddc25
Bump submodules to most recent releases.
mccleeary-galois Aug 30, 2024
2603c52
Release 1.2.0: Update Cabal
mccleeary-galois Aug 30, 2024
47c18e1
Update version number to development version number 1.2.0.99
mccleeary-galois Aug 30, 2024
7bc3613
Bump Submodules to development branches.
mccleeary-galois Aug 30, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 8 additions & 3 deletions CHANGES.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,15 +1,20 @@
# next -- TBA
# Version 1.2 -- 2024-08-30

## New Features

* Add `mir_str_slice_value` and `mir_str_slice_range_value` functions, which
allow taking `&str` slices. For more information, see the documentation in the
[SAW manual](https://github.com/GaloisInc/saw-script/blob/master/doc/manual/manual.md#string-slices).

* Add `mir_mux_values` command for muxing two MIR values.

* Add support for GHC 9.8.

## Bug fixes

* The locations printed with type errors (in particular) and other diagnostics
now have a much stronger connection with reality.
* Fix bug that caused MIR to incorrectly reject overrides with multiple const slice arguments

* Error messages have been improved such that the locations printed with type errors and other diagnostics now have a much stronger connection with reality.

# Version 1.1 -- 2024-02-05

Expand Down
1 change: 1 addition & 0 deletions cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -671,6 +671,7 @@ parseDecls sc env input = do
let rmodule = P.Module { P.mName = P.Located P.emptyRange interactiveName
, P.mDef = P.NormalModule rdecls
, P.mInScope = mempty
, P.mDocTop = Nothing
}

-- Infer types
Expand Down
2 changes: 1 addition & 1 deletion deps/crucible
Open in desktop
Submodule crucible updated 14 files
+4 −1 crucible-llvm/CHANGELOG.md
+1 −1 crucible-llvm/crucible-llvm.cabal
+6 −3 crucible-mir/CHANGELOG.md
+1 −1 crucible-mir/crucible-mir.cabal
+4 −0 crucible-symio/CHANGELOG.md
+1 −1 crucible-symio/crucible-symio.cabal
+3 −1 crucible/CHANGELOG.md
+1 −1 crucible/crucible.cabal
+5 −0 crux-llvm/CHANGELOG.md
+1 −1 crux-llvm/crux-llvm.cabal
+5 −0 crux-mir/CHANGELOG.md
+1 −1 crux-mir/crux-mir.cabal
+4 −0 crux/CHANGELOG.md
+1 −1 crux/crux.cabal
2 changes: 1 addition & 1 deletion deps/cryptol
Open in desktop
Submodule cryptol updated 68 files
+12 −0 CHANGES.md
+1 −1 README.md
+6 −0 cryptol-remote-api/CHANGELOG.md
+9 −1 cryptol-remote-api/cryptol-eval-server/Main.hs
+5 −4 cryptol-remote-api/cryptol-remote-api.cabal
+11 −3 cryptol-remote-api/cryptol-remote-api/Main.hs
+61 −1 cryptol-remote-api/docs/Cryptol.rst
+7 −0 cryptol-remote-api/python/CHANGELOG.md
+12 −0 cryptol-remote-api/python/cryptol/commands.py
+9 −0 cryptol-remote-api/python/cryptol/connection.py
+1 −1 cryptol-remote-api/python/pyproject.toml
+150 −0 cryptol-remote-api/src/CryptolServer/CheckDocstrings.hs
+7 −0 cryptol-remote-api/src/CryptolServer/Exceptions.hs
+5 −4 cryptol-remote-api/src/CryptolServer/Sat.hs
+1 −1 cryptol.cabal
+56 −2 docs/RefMan/BasicSyntax.rst
+2 −2 docs/RefMan/conf.py
+92 −20 src/Cryptol/Eval/Reference.lhs
+2 −2 src/Cryptol/ModuleSystem/Interface.hs
+3 −3 src/Cryptol/Parser.y
+3 −0 src/Cryptol/Parser/AST.hs
+4 −2 src/Cryptol/Parser/Layout.hs
+94 −48 src/Cryptol/Parser/ParserUtils.hs
+28 −13 src/Cryptol/Parser/Unlit.hs
+124 −66 src/Cryptol/REPL/Command.hs
+10 −10 src/Cryptol/REPL/Help.hs
+19 −0 src/Cryptol/REPL/Monad.hs
+26 −10 src/Cryptol/Symbolic/SBV.hs
+20 −2 src/Cryptol/Symbolic/What4.hs
+55 −17 src/Cryptol/TypeCheck/AST.hs
+6 −9 src/Cryptol/TypeCheck/Infer.hs
+11 −4 src/Cryptol/TypeCheck/Module.hs
+1 −1 src/Cryptol/TypeCheck/ModuleInstance.hs
+8 −6 src/Cryptol/TypeCheck/Monad.hs
+15 −3 src/Cryptol/TypeCheck/SimpType.hs
+26 −0 src/Cryptol/TypeCheck/Solver/Numeric.hs
+8 −0 src/Cryptol/TypeCheck/Type.hs
+10 −3 tests/docstrings/T01.cry
+16 −1 tests/docstrings/T01.icry.stdout
+15 −9 tests/docstrings/T02.cry
+15 −1 tests/docstrings/T02.icry.stdout
+13 −0 tests/docstrings/T03.icry.stdout
+6 −1 tests/docstrings/T04.cry
+9 −1 tests/docstrings/T04.icry.stdout
+2 −0 tests/docstrings/T05.icry
+18 −0 tests/docstrings/T05.icry.stdout
+24 −0 tests/docstrings/T05.md
+23 −0 tests/docstrings/T06.cry
+2 −0 tests/docstrings/T06.icry
+10 −0 tests/docstrings/T06.icry.stdout
+1 −0 tests/docstrings/T07.cry
+2 −0 tests/docstrings/T07.icry
+14 −0 tests/docstrings/T07.icry.stdout
+7 −0 tests/docstrings/T07F.cry
+16 −0 tests/docstrings/T08.cry
+2 −0 tests/docstrings/T08.icry
+14 −0 tests/docstrings/T08.icry.stdout
+4 −0 tests/docstrings/T09.cry
+2 −0 tests/docstrings/T09.icry
+5 −0 tests/docstrings/T09.icry.stdout
+11 −0 tests/docstrings/T11.cry
+2 −0 tests/docstrings/T11.icry
+4 −0 tests/docstrings/T11.icry.stdout
+54 −0 tests/issues/issue1489/issue1489.cry
+1 −0 tests/issues/issue1489/issue1489.icry
+3 −0 tests/issues/issue1489/issue1489.icry.stdout
+163 −0 tests/regression/float_reference_eval.icry
+97 −0 tests/regression/float_reference_eval.icry.stdout
2 changes: 1 addition & 1 deletion deps/llvm-pretty
Open in desktop
Submodule llvm-pretty updated 2 files
+6 −0 CHANGELOG.md
+1 −1 llvm-pretty.cabal
2 changes: 1 addition & 1 deletion deps/llvm-pretty-bc-parser
Open in desktop
Submodule llvm-pretty-bc-parser updated 4 files
+6 −0 CHANGELOG.md
+3 −3 flake.lock
+1 −1 llvm-pretty
+2 −2 llvm-pretty-bc-parser.cabal
2 changes: 1 addition & 1 deletion saw-script.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
Cabal-version: 2.4
Name: saw-script
Version: 1.1.0.99
Version: 1.2.0.99
Author: Galois Inc.
Maintainer: atomb@galois.com
Build-type: Custom
Expand Down
Loading