| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-06-04 | reduce number of unknown identifiers and get one step closer to actually ↵ | Kathy Gray | |
| decoding an ARM instruction. (Note: may fix issue #2, haven't checked yet) | |||
| 2015-05-01 | Fix pattern match bug with enumerated values | Kathy Gray | |
| 2015-05-01 | Change interpreter interface to support ppcmem2's view of vectors as always ↵ | Kathy Gray | |
| increasing while supporting inc and dec views to the interpreter and in printing Fix bugs exposed by running idlarm several instructions (after fixing above) | |||
| 2015-03-26 | Add subtraction to nexp grammar (removing the need to do a + (-1 * b)) | Kathy Gray | |
| Fix up parsing on 2** precedence Fix errors on type variables in function definition | |||
| 2015-03-15 | Many changes: | Kathy Gray | |
| Split out specification specific memory and external functions Reduce the presence of big_int Reduce the use of inc direction, instead using a default from the spec. Still a few places need to be parameterised over direction Also some bug fixes exposed by above and running ARM second instruction | |||
| 2015-02-25 | Fix rewriting tag bug | Kathy Gray | |
| 2015-02-18 | Fix dependency generation when type variable appears in a vector length position | Kathy Gray | |
| 2015-02-13 | Fix error of not keeping register reads when they're accessed via a field | Kathy Gray | |
| 2015-02-13 | Actually use new dependency information in generation of lem/etc. | Kathy Gray | |
| Also stop rewriting code in the pretty printer, instead move it all into a new general rewriting pass | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |