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

Remove our dependency on the random package #1156

Merged
merged 1 commit into from
Apr 8, 2021
Merged

Remove our dependency on the random package #1156

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
1 change: 0 additions & 1 deletion cryptol.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,6 @@ library
parameterized-utils >= 2.0.2,
pretty >= 1.1,
process >= 1.2,
random >= 1.0.1,
sbv >= 8.6 && < 8.14,
simple-smt >= 0.7.1,
stm >= 2.4,
Expand Down
3 changes: 2 additions & 1 deletion src/Cryptol/Testing/Random.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,8 @@ import Data.Bits
import Data.List (unfoldr, genericTake, genericIndex, genericReplicate)
import qualified Data.Sequence as Seq

import System.Random (RandomGen, split, random, randomR)
import System.Random.TF.Gen
import System.Random.TF.Instances

import Cryptol.Backend (Backend(..), SRational(..))
import Cryptol.Backend.FloatHelpers (floatFromBits)
Expand Down
12 changes: 6 additions & 6 deletions tests/issues/issue152.icry.stdout
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
Loading module Cryptol
0xf7e937b5
[0xd4d4cc91cd7a9857, 0x4f3d263304e8ca85, 0x6723eafdcc46836f,
0x20e6c946662f2183, 0x6a760db62889b212, ...]
0x81db39d7
[0xdc6e05468ab90545, 0x3fd683aabbf9b928, 0x724f3408ce5a7745,
0xf5d53aa68de0ae45, 0xd8fc296263590e98, ...]
[[0x01, 0x83, 0x5f, 0x2e, 0xd1, 0x1a, 0x00, 0x1f, 0xfe, 0x55, 0xc8,
0x96, 0xcd, 0xe5, 0x9e, 0xca, 0xd9, 0xaa, 0x8a, 0x89, 0x06, 0xbd,
0x70, 0x40, 0xa7, 0x3b, 0xad, 0x8e, 0x8b, 0xe8, 0x6b, 0x5f],
Expand Down Expand Up @@ -50,7 +50,7 @@ Loading module Cryptol
[0xfc, 0xc1, 0x39, 0x4c, 0xa6, 0xb4, 0x5e, 0x57, 0xe4, 0x6b, 0xd3,
0x3d, 0x2f, 0x71, 0x71, 0x75, 0xdc, 0x5e, 0xdd, 0x7a, 0xbb, 0x77,
0xe0, 0x2e, 0x85, 0xd7, 0xc8, 0x26, 0x81, 0x93, 0xb4, 0x79]]
(0xf7e937b5, 0x2b34)
{x = 0x5a314507, y = 0x83aa}
(0x81db39d7, 0x6c18)
{x = 0xdc6e0546, y = 0x0545}
0x00000000
0xfb6686b9c4f59cf7b40ee8b5e1978175f59b0d83b1b401df99f4d8f0a0a4a011
0x2b65aa25c7f5cf4614e51e04d631c619687a3094a1d7111a13859c275da192e7
2 changes: 1 addition & 1 deletion tests/issues/issue364.cry
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ x : [64]
x = random 123

x_val : [64]
x_val = 0x80b483887be1a6e5
x_val = 0xe4f7c1740def67df

property x_eval = x == x_val
property x_distinct = ~ (x == zero)
Expand Down