Yehowshua/RiscV-Formal
Archived
2
0
Fork 0
Code Issues 8 Pull requests Projects Releases Packages Wiki Activity Actions

Add flake #4

Merged
Yehowshua merged 10 commits from :addnix into main 2025-03-14 15:55:41 +00:00
Conversation 0 Commits 10 Files changed 7 +668 -33
Artturin commented 2025-02-22 20:38:15 +00:00
Contributor
Copy link

Please read the commit messages.

nix build ".#rvFormal:exe:clash"

nix build ".#rvFormal:<tab>" to see other buildables ( exe:clash exe:clashi exe:main lib:rvFormal)

Please read the commit messages. `nix build ".#rvFormal:exe:clash"` `nix build ".#rvFormal:<tab>"` to see other buildables ( exe:clash exe:clashi exe:main lib:rvFormal)
Artturin force-pushed addnix from fa03829139 to 0960ceb53a 2025-03-13 23:17:31 +00:00 Compare
Artturin force-pushed addnix from 1dd246294e to 8037eeba19 2025-03-13 23:44:50 +00:00 Compare
Yehowshua merged commit 966fd30fa2 into main 2025-03-14 15:55:41 +00:00
This repository is archived. You cannot comment on pull requests.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: Yehowshua/RiscV-Formal#4
No description provided.
Delete branch ":addnix"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?