Lisanna Dettwyler
2cbf2c4caf
tweak formatting
...
Co-authored-by: Lumina Buss
2021-06-13 01:48:35 +00:00
Lisanna Dettwyler
f87198806b
make message more obvious
2021-06-12 11:55:38 +00:00
Lisanna Dettwyler
6247bbfd59
Merge remote-tracking branch 'origin/master' into gitpod
2021-06-12 11:48:06 +00:00
Lisanna Dettwyler
e2fee4387f
Generalize ssh support
2021-06-12 11:46:55 +00:00
Andrew Kent
36475d1fd9
chore: tweak rpc cryptol expr parser ( #1215 )
...
* chore: tweak rpc cryptol expr parser
* chore: update Cryptol server Expression docs
2021-06-11 08:52:34 -07:00
Lisanna Dettwyler
eb829d89b2
Release process improvements ( #1176 )
...
Closes #1175
Closes #1134
2021-06-04 11:29:28 -07:00
Andrew Kent
6a9906cd5c
Merge pull request #1200 from GaloisInc/wip/rpc/feat/newtype
...
initial newtype support for rpc server
2021-06-02 14:19:50 -07:00
Andrew Kent
d456663ad6
chore: address GHC warnings
2021-06-02 10:37:57 -07:00
Andrew Kent
affee13ad6
feat(rpc): newtype (and other complex value) support for RPC server/clients
2021-06-02 08:54:32 -07:00
Ryan Scott
1e07843057
Merge pull request #1207 from GaloisInc/bump-argo
...
Bump argo submodule to include docs for method results
2021-06-01 16:08:54 -04:00
Ryan Scott
88c369a271
Autogenerate cryptol-remote-api docs (and check them in CI)
...
Unfortunately, the autogenerated documentation (now located in `Cryptol.rst`)
doesn't yet have all of the information contained within the hand-written
documentation (now located in `old-Cryptol.rst`—see #1206 . In pursuit of
eventually fixing that issue, the CI now makes sure that any changes to the
autogenerated documentation are checked in.
2021-06-01 11:00:26 -04:00
Ryan Scott
d7814a959b
Bump argo submodule to include docs for method results
...
This bumps the `argo` submodule to include commit
b9b3edd992
2021-06-01 09:05:22 -04:00
Lisanna Dettwyler
e5f6f18216
Update .gitpod.yml
2021-05-27 03:56:36 +00:00
Lisanna Dettwyler
b8edc4c7b9
Update .gitpod.yml
2021-05-27 03:51:18 +00:00
Lisanna Dettwyler
a1013acbd8
Update .gitpod.Dockerfile
2021-05-27 03:35:12 +00:00
Lisanna Dettwyler
c64b560a09
Update .gitpod.Dockerfile
2021-05-27 03:28:01 +00:00
brianhuffman
33d7273346
Merge pull request #1202 from GaloisInc/lazy-callstack
...
Defer `CallStack` computations by representing them as data constructors.
2021-05-26 17:24:52 -07:00
Brian Huffman
cbfc6c771c
Add special cases to combineCallStacks.
2021-05-26 16:03:18 -07:00
Lisanna Dettwyler
34084ac5ec
Merge remote-tracking branch 'origin/master' into gitpod
2021-05-26 21:08:03 +00:00
Lisanna Dettwyler
e5ac8bf9b8
Update .gitpod.Dockerfile
2021-05-26 20:21:13 +00:00
Lisanna Dettwyler
c4169613a7
Update .gitpod.Dockerfile
2021-05-26 20:05:34 +00:00
Brian Huffman
88fbbd327a
Defer CallStack computations by representing them as data constructors.
...
This avoids expensive calls to `combineCallStacks` in the common case;
the actual call stack values are only computed in the case where they
need to be printed out.
2021-05-26 12:42:55 -07:00
Lisanna Dettwyler
500735eb91
Add gitpod button to README
2021-05-26 19:29:35 +00:00
Lisanna Dettwyler
5b53599c8e
Update .gitpod.Dockerfile
2021-05-26 19:23:55 +00:00
Lisanna Dettwyler
97a9145c00
Update .gitpod.yml
2021-05-26 17:58:30 +00:00
Lisanna Dettwyler
bafc2f89b3
Update .gitpod.yml
2021-05-26 17:11:25 +00:00
Lisanna Dettwyler
0b311ebb0b
Update .gitpod.yml
2021-05-26 16:51:04 +00:00
Lisanna Dettwyler
568e7b5820
Update .gitpod.yml
2021-05-26 16:49:16 +00:00
Lisanna Dettwyler
f9f946096a
tweak gitpod
2021-05-25 23:06:11 +00:00
Lisanna Dettwyler
795ce8bda0
Update .gitpod.Dockerfile
2021-05-25 13:47:24 -07:00
Lisanna Dettwyler
7ed5b5c700
Init gitpod
2021-05-25 20:40:03 +00:00
Daniel Wagner
bd8588adca
Merge pull request #1199 from GaloisInc/feature/master-field-order
...
Add a field order option for the pretty-printer
2021-05-25 15:08:37 -04:00
Daniel Wagner
fcc6e200a9
let haddocks build
2021-05-25 00:09:14 -04:00
Daniel Wagner
c2fd939511
whitespace only
2021-05-25 00:09:14 -04:00
Daniel Wagner
f1ab9805f4
add a setting to control how records are displayed
...
For human consumers, it's usually nice to show record fields in the same
order they appear in the source (as sometimes programmers use the field
order as a communication channel to other programmers). However, for
machine consumers, sometimes it is nicer to adhere to a rigid,
predictable format. This commit adds a setting, `field-order`, to switch
between these two modes, with a backward-compatible default.
2021-05-25 00:09:14 -04:00
Iavor Diatchki
2611733c46
Update CHANGES to document layout rule
2021-05-11 09:35:32 -07:00
Iavor S. Diatchki
b6470cc89d
Merge pull request #1188 from GaloisInc/reference-manual
...
Reference manual
2021-05-10 14:12:46 -07:00
Iavor S. Diatchki
142567d04c
Merge pull request #1186 from GaloisInc/layout
...
Layout
2021-05-10 14:12:04 -07:00
brianhuffman
4a4673eec4
Merge pull request #1193 from GaloisInc/sort-function
...
Sort function
2021-05-10 11:07:01 -07:00
Matthew Yacavone
2d9250ad53
rpc: Fix bug where an empty list is sent back from the server as Unit ( #1194 )
...
* make readBack of an empty list actually return an empty list
* update test_SHA256
2021-05-07 16:27:05 -07:00
Andrew Kent
af0be41cf1
feat(rpc): make python client compat with python 3.7 ( #1195 )
2021-05-07 16:19:08 -07:00
Brian Huffman
52c91817d9
Update test output due to changed cryptol prelude.
2021-05-06 14:01:27 -07:00
Brian Huffman
9b7e60b9f4
Add some regression tests for sortBy to test stability of the sort.
2021-05-06 12:03:47 -07:00
Brian Huffman
3b62788841
Add sort and sortBy functions to the Cryptol prelude.
2021-05-06 12:01:33 -07:00
robdockins
ac4500a06c
Merge pull request #1192 from GaloisInc/issue1191
...
Fix for issue 1191
2021-05-06 09:34:43 -07:00
Rob Dockins
69e7689527
Fix slightly incorrect documentation
2021-05-05 17:46:17 -07:00
Rob Dockins
a05b4eda7f
Add test case for issue 1191
2021-05-05 17:43:32 -07:00
Rob Dockins
a0816576cf
A bit more documentation
2021-05-05 17:38:59 -07:00
Rob Dockins
6497daede6
Dispatch to shiftSeqByInteger and shiftSeqByWord
...
in the `BitmapVal` cases of `shiftWordByInteger` and
`shiftWordByWord`.
2021-05-05 17:07:22 -07:00
Rob Dockins
0707bdcd33
Fix #1191
...
The barrel shifter was being called with the wrong width; the
length of the sequence to be shifted was passed instead of the number
of bits in the index word.
2021-05-05 15:52:48 -07:00
