| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-06-08 | Coq: ignore some currently unsupported tests | Brian Campbell | |
| 2018-06-08 | Coq: skip two tests with redundant pattern matches | Brian Campbell | |
| 2018-05-28 | Coq: add back tests with undefined functions | Brian Campbell | |
| 2018-05-03 | Work in progress on the coq backend | Brian Campbell | |
| - originally based on the Lem backend - added externs to some of the library files and tests - added wildcard to extern valspecs in parser - added Type_check.get_val_spec_orig to return the valspec with the function's original names for bound type variables Note that most of the tests will fail currently | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |