minimal changes for testing sbv 14#3177
Conversation
RyanGlScott
left a comment
RyanGlScott
left a comment
There was a problem hiding this comment.
Nice! That wasn't as bad as I was fearing.
It's a pity that newer version of sbv won't build with GHC 9.4 or 9.6, but there's not much we can do about that on our side, I suppose.
| -- enable ghc >= 9.8's additional build parallelism | ||
| semaphore: true | ||
|
|
||
| allow-newer: sbv |
There was a problem hiding this comment.
Presumably this is here because of the upper version bounds in cryptol, I presume? Are you planning to do a corresponding PR on the cryptol side?
There was a problem hiding this comment.
Yes exactly, I'll take a look at cryptol shortly but given this I suspect it will be straightforward.
There was a problem hiding this comment.
JFTR, this was addressed in GaloisInc/cryptol#2032.
|
...and it seems sbv 14.1 appeared today... |
|
For the record (since none of it's linked from here yet), updating to sbv > 11.0 requires updating z3, and that requires first doing something about the regression tests that fail with newer z3. See GaloisInc/cryptol#2054 for further info. |
3 participants
No description provided.