Bump provers to latest that succeeds, drop CVC4

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

320 stars 49 forks source link

Closed fdupress closed 11 months ago

fdupress commented 11 months ago

This is not yet to be merged even if CI goes through—we should consider effect on CI time.

CVC5 seems robust enough now that make check reliably succeeds (and does so without warning) on my machine.

fdupress commented 11 months ago

No effect on running time in isolation.

strub commented 11 months ago

No effect on running time in isolation.

Still checking on my side.

fdupress commented 11 months ago

I also didn't keep an eye on memory because I ran the job and ran off to a meeting.