| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2024-02-01 | Simplify prelude.sail by including generic_equality.sail and mapping.sail | Tim Hutt | 1 | -1/+1 |
| 2023-02-23 | Remove duopod | Brian Campbell | 1 | -1/+1 |
| 2022-01-19 | sail-riscv.install: Regenerate | Jessica Clarke | 1 | -1/+1 |
| 2022-01-19 | sail-riscv.install: Remove no longer present riscv_iris.sail | Jessica Clarke | 1 | -1/+1 |
| 2020-06-04 | - upgrade to opam 2 package | Christopher Pulte | 1 | -1/+1 |
| 2019-06-03 | Install sail and C sources in share directory of opam package. | Robert Norton | 1 | -1/+2 |
| 2019-05-24 | Attempt to fix opam build with opam2: use a .install file and don't rely on o... | Robert Norton | 1 | -0/+1 |
 |
index : sail-riscv.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |
path: root/sail-riscv.install