| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-06-16 | Incorporate comments from Peter. | Kathy Gray | |
| Add a flag type for endian, not used yet | |||
| 2015-06-09 | Fix error in building register values | Kathy Gray | |
| (make one function to do it instead of almost the same function multiple times) Fix lost nexp variable in constraints, removing another undefined | |||
| 2015-06-02 | changes to compare and equality instances to make lem generate isabelle output | cp526 | |
| 2015-06-02 | Fix errors around ARM not being able to decode due to instruction_extractor ↵ | Kathy Gray | |
| being very power-specific. Note: slight interface change to instruction_extractor | |||
| 2015-05-18 | Add equality check for addresses | Kathy Gray | |
| And fix match failure problem (hopefully) | |||
| 2015-05-18 | Add comparison for address | Kathy Gray | |
| 2015-05-16 | Fix bug where undef was blown up to fill the full register on a field assignment | Kathy Gray | |
| 2015-05-13 | Add dynamic footprint dependency check event/outcome | Kathy Gray | |
| Also fix type checker bug in not reporting modifications to parameter values | |||
| 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-19 | added constructors for aarch64 read_kind and write_kind | Shaked Flur | |
| 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-27 | Fix a series of errors leading to the first ARM instruction not running. | Kathy Gray | |
| Including: Correct loss of constraints between declared constraints, pattern constraints and expression body constraints Handle insertion of dependent parameters in the case of unit parameters Add a case to how ifields are translated to permit numbers as well as bits and bitvectors Expand interpreter to actually handle user-defined functions on the left had side of the assignment expression. | |||
| 2015-01-16 | more for loop corrections, as well as pattern match error | Kathy Gray | |
| 2014-11-23 | fix register-from-address start int | Peter Sewell | |
| 2014-11-23 | some Ord instance classes | Kathy Gray | |
| 2014-11-23 | wib | Peter Sewell | |
| 2014-11-23 | wib | Peter Sewell | |
| Merge branch 'master' of bitbucket.org:Peter_Sewell/l2 Conflicts: src/lem_interp/interp_interface.lem | |||
| 2014-11-23 | wib | Peter Sewell | |
| 2014-11-23 | wib | Kathy Gray | |
| 2014-11-23 | get bits right coming out of coercion from integer | Kathy Gray | |
| 2014-11-23 | fill in remaining coercion implementations | Peter Sewell | |
| 2014-11-23 | wib | Peter Sewell | |
| 2014-11-23 | wib | Peter Sewell | |
| 2014-11-23 | resolve little conflict | Peter Sewell | |
| 2014-11-23 | Merge branch 'master' of bitbucket.org:Peter_Sewell/l2 | Peter Sewell | |
| Conflicts: src/lem_interp/interp_interface.lem | |||
| 2014-11-23 | wib | Peter Sewell | |
| 2014-11-23 | Fill in some of the basic coercions | Kathy Gray | |
| 2014-11-23 | more coercions | Peter Sewell | |
| 2014-11-23 | OCaml stubs for coercions and _to_istate OCaml | Peter Sewell | |
| 2014-11-23 | fight with interface/impl mismatch. lose. | Peter Sewell | |
| 2014-11-23 | make interface build again, oops | Peter Sewell | |
| 2014-11-23 | Merge commit 'bff8bd5' | Peter Sewell | |
| 2014-11-23 | some coercions | Peter Sewell | |
| 2014-11-23 | update instruction/istate decoding. | Kathy Gray | |
| Use register size. Printing again doesn't compile | |||
| 2014-11-23 | wib | Peter Sewell | |
| 2014-11-22 | Add size of register to register for making appropriate unknown register_values | Kathy Gray | |
| 2014-11-22 | sorry, interp_interface didn't build. now it does | Peter Sewell | |
| 2014-11-22 | move missing pieces from machineDefValueTypes into interp_interface | Peter Sewell | |
| 2014-11-22 | Changing interface in step with Peter and ppcmem changes | Kathy Gray | |
| 2014-11-19 | more equality instance definitions | Kathy Gray | |
| 2014-11-19 | add value compare functions | Kathy Gray | |
| 2014-11-19 | add byte_list_of_integer | Kathy Gray | |
| 2014-11-18 | fix bad type annotation in interp_interface | Peter Sewell | |
| 2014-11-07 | Add integer_of_byte_list : list word8 -> integer | Kathy Gray | |
| 2014-11-07 | Fix types in num_to_bits | Kathy Gray | |
| 2014-11-05 | add type class instantiations (required as reg_name currently contains big_ints) | Peter Sewell | |
| 2014-11-05 | fix(?) a Big_int/int type error wrt trans_sail | Peter Sewell | |
| 2014-11-04 | proposed split of decode into decode-to-instruction and ↵ | Peter Sewell | |
| instruction-to-instructionstate | |||
| 2014-11-04 | K,P debugging | Peter Sewell | |
| 2014-11-03 | kathy,christopher,peter: talking about bitvectors and sc calls | Peter Sewell | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |