Bas Spitters
Bas Spitters
Have you considered also looking at CompCert: https://github.com/AbsInt/CompCert/blob/master/lib/Integers.v
Not specifically, we depended on it for hacspec at some point. Vst also uses it, I believe. Certicoq maybe. So, unifying it would probably be good. from my phone On...
This issue is still open (did you forget to close it). Also, I did not immediately find the Zenodo badge, but I may have overlooked it.
The Zenodo link works for citing the system, as opposed to the manual.
Waiting for: https://github.com/jasmin-lang/jasmin/pull/560
OTP should work over general Boolean algebras. Is that what you're doing?
@4ever2 we should get ConCert in MetaCoq CI...
Here's what we need to do. Let's find a local Nix expert... https://coq.zulipchat.com/#narrow/stream/237658-MetaCoq/topic/CI/near/292131799 On Tue, Apr 9, 2024 at 9:17 AM 4ever2 ***@***.***> wrote: > I already started looking at...
@womeier I seem to recall you made progress on this. What's the current status?
@bshvass this is related to getting the bigints to work in rust https://github.com/RustCrypto/crypto-bigint/issues/577#issuecomment-2016550215