Come Le Breton issues

Results 13 issues of


                                            Come Le Breton

Basic description of RISC-V32 I + M + ZIFENCEI ISA

Provide: - generalization to prepare for riscv: - [x] #700 - ISA description (riscv_desc.v), parsing & compilation: - [x] #705 - [x] #714 - [x] https://github.com/jasmin-lang/jasmin/issues/739 - [x] #744 -...

risc-v

Make bug_499.jazz compilable for RISC-V

EDIT: Currently, bug_499.jazz does not compile for RISC-V since we do not support pseudo-instruction `Omulu`.

risc-v

Initial support for RISC-V 32 I M

Fixes #698 and #503 and #783.

risc-v

RISC-V : Test every instructions in a same fashion as it was done for ARM

risc-v

Prove the RISCV implementation of the compiler

- [x] Create the skeleton for proofs (prove with Admitted). - [x] Divide and plan the parallelization of Lemma to prove ( 1 file per person), do not forget to...

risc-v

libcifpp-7.0.4: unit-3d-test / unit-v2-test / model-test fails

Hi, Trying to install libcifpp 7.0.4, I stumble across these test failures, and the impossibility to integrate this version of the library into the SBL (https://sbl.inria.fr/). ``` git clone https://github.com/PDB-REDO/libcifpp.git...

Feature/enrich structure options

Feature/remove external from sources

Pull requests can only be merged after at least one review (and approval) from @gismo/admins. Code submitted to the stable branch should be clean, well-documented and free of bugs. #...

Use $HOMEBREW_DIR or fallback for macos.

In a similar fashion to what has been proposed (and accepted for merge) for this PR : #25592, we provide a fix for macos homebrew distribs. Duplicate of #26905

consider for merge

Draft: Fix gmp homebrew

In a similar fashion to what has been proposed (and accepted for merge) for this PR : https://github.com/ocaml/opam-repository/pull/25592, we provide a fix for macos homebrew distribs.

needs reporter action