Christoph M. Wintersteiger
Christoph M. Wintersteiger
With this version of jasminc: https://github.com/jasmin-lang/jasmin/commit/7e2e5458584ff97cf0a8adc4c714612c06f4526b I get this error: ``` make[1]: Entering directory '/mnt/f/dev/libjc/proof' cd $(dirname crypto_hash/keccak1600/avx2/keccak_1600_avx2.ec) && jasminc -ec __keccak_1600 -oec $(basename crypto_hash/keccak1600/avx2/keccak_1600_avx2.ec) /mnt/f/dev/libjc//src/crypto_hash/keccak1600/avx2/keccak_1600.japp /mnt/f/dev/libjc//src/crypto_hash/keccak1600/avx2/keccak_1600.japp: line 26 (8-13):...
This is a simplified version of a problem reported in https://github.com/Z3Prover/z3/issues/4889. This input: ``` ...$ cat case_tactic.smt2 (declare-fun x () (_ FloatingPoint 11 53)) (declare-fun rm () RoundingMode) (assert (=...
To go with https://github.com/merbanan/rtl_433/pull/1336.
Adds a simple command-line test runner that can be used to run and debug locally, without the need for Jupyter notebooks. Note the changes to `RENotebookApi\RENotebookApi.fsproj`; I'm not sure which...
Not sure this is an installer issue, or a general ocaml issue. I installed 32-bit ocaml via the installer package and it seems ocamlmklib and flexlink aren't fully compatible: ```...
A new variation of #7121 has cropped up: ``` from z3 import * z3.set_param("model", True) z3.set_param("model.completion", True) z3.set_param("verbose", 10) ctx = z3.Context(model=True) slvr = z3.Solver(ctx=ctx) slvr.set("model", True) slvr.set("model.completion", True) S...
It would be great if there were a way to ask `dune runtest` to show which tests it starts running, e.g., when `--display=progress` is enabled. In that mode, it would...
`tls::CA` and `tls::Cert` carry more functionality than what their names imply and it's sometimes hard to tell what will happen with the corresponding certificates at runtime. If someone has time,...