Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2020-06-15 | Release version 0.50.5 | Thibaut Pérami | 1 | -1/+1 | |
2020-06-04 | - upgrade to opam 2 package | Christopher Pulte | 1 | -3/+5 | |
- make opam package include files required for building rmem | |||||
2019-11-21 | Bump opam version.0.4 | Robert Norton | 1 | -1/+1 | |
2019-06-03 | Bump opam version for release with installed model code.0.3 | Robert Norton | 1 | -1/+1 | |
2019-05-24 | Update opam version for release.0.2 | Robert Norton | 1 | -1/+1 | |
2019-05-24 | Attempt to fix opam build with opam2: use a .install file and don't rely on ↵ | Robert Norton | 1 | -5/+2 | |
opam being in path to get SAIL_DIR (which seems to be unreliable). | |||||
2019-05-20 | Add opam file and make targets to build and install C emulator (32 and 64 bit). | Robert Norton | 1 | -0/+33 | |