Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reorganize repository #1351

Merged
merged 4,189 commits into from
Sep 7, 2023
Merged

Conversation

cathales
Copy link
Contributor

@cathales cathales commented Aug 30, 2023

Because of CVA6-related code in core-v-verif, modifications in CVA6 often require a modification in core-v-verif.
These pairs of PRs are time consuming for maintainers and require a complex continuous integration.
This repository interaction is complex for newcomers.

This PR:

  1. moves the cva6/ folder from the core-v-verif repository as a verif/ folder in the CVA6 repository, keeping the history alive (with the same commit hashes, to make it easier to browse history across repositories).
  2. adds core-v-verif as a git submodule in verif/core-v-verif/ (there are already many git submodules so it does not imply more knowledge for newcomers).

Todo before merging:

  • Update documentation (eg: simulations are run from the CVA6 repository)
  • Rebase for both repositories just before merging the PR.

Expected work after merging:

  • Additional cleanup / refactoring to eventually remove the complex mechanisms that were used before (mainly in CI scripts)

yanicasa and others added 30 commits May 5, 2023 10:16
Configure ISACOV to not consider unaligned access for CVA6
ISA VERIF PLAN : Add sequence of instructions & add the ISA spec in the dvplan directory & point to the requirements
Signed-off-by: Jean-Roch Coulon <[email protected]>
 gitlab-ci: update workflow to support cvvdev feature in CI_WEIGHT=full
ISACOV : Add decode imm for CS_TYPE
add Dhrystone and Coremark benchmarks
CVA6: Adapt install-spike for bash source
…6/dev"

This reverts commit 69a6372, reversing
changes made to 64e9e6a.
…6/dev"

This reverts commit 64e9e6a, reversing
changes made to 1eac965.
Signed-off-by: Robin Pedersen <[email protected]>
ISACOV : Add ifdef to avoid VCS compilation error due to unsupported 'with' key word
…oremark-score-update

Update Coremark score after CVA6 openhwgroup#1230 PR
* util/README.md: New.
* util/vendor.py: Ditto.
…CVA6.

* vendor/riscv_riscv-isa-sim.vendor.hjson: New.
* vendor/riscv/riscv-isa-sim: Imported tree.
* vendor/riscv_riscv-isa-sim.lock.hjson: New, generated by vendorization
  script.
* vendor/riscv/riscv-isa-sim/fesvr.mk.in: By default require installation
  of the shared libfesvr.
* vendor/riscv/riscv-isa-sim/riscv/extensions.cc (find_extension): Print
  the reason of dlopen() failure.
@github-actions
Copy link
Contributor

github-actions bot commented Sep 4, 2023

✔️ successful run, report available here.

@cathales cathales changed the title Draft: Reorganize repository Reorganize repository Sep 7, 2023
@cathales cathales marked this pull request as ready for review September 7, 2023 09:21
@github-actions
Copy link
Contributor

github-actions bot commented Sep 7, 2023

❌ failed run, report available here.

1 similar comment
@github-actions
Copy link
Contributor

github-actions bot commented Sep 7, 2023

❌ failed run, report available here.

@github-actions
Copy link
Contributor

github-actions bot commented Sep 7, 2023

✔️ successful run, report available here.

@JeanRochCoulon JeanRochCoulon merged commit 1c847c3 into openhwgroup:master Sep 7, 2023
6 checks passed
@cathales cathales deleted the merge-repos branch September 7, 2023 13:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.