| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-09-28 | Possible fix for equality and inequality | Kathy Gray | |
| 2016-09-12 | add list append function | Kathy Gray | |
| 2016-09-09 | minor fixes | Kathy Gray | |
| 2016-08-14 | Add missing case to replicate | Kathy Gray | |
| 2016-08-10 | Missing case in lib | Kathy Gray | |
| 2016-08-06 | Add duplicate_bits to lib | Kathy Gray | |
| Pull Peter's changes to interp_interface back into the primary repo | |||
| 2016-07-01 | Add missing case to arith_op_no0 | Kathy Gray | |
| Add type refinement to arm spec | |||
| 2016-06-02 | Fix most_significant case omission | Kathy Gray | |
| 2016-04-27 | expand supported patterns for most_significant | Kathy Gray | |
| 2016-04-18 | More fixes to interp with regards to warnings and debugging info | Kathy Gray | |
| 2016-04-12 | Reduce warnings for interpreter. Removed all pattern match warnings for ↵ | Kathy Gray | |
| interp_lib, interp_inter_imp, and printing_functions. | |||
| 2016-03-16 | Fix case of missing undef options in compare | Kathy Gray | |
| 2016-02-05 | fix typo in kathy's last commit. | Robert Norton | |
| 2016-02-05 | change signed mod behaviour for numbers to match that of vectors | Kathy Gray | |
| 2016-02-04 | Add mod_s | Kathy Gray | |
| 2016-02-04 | add forgotten lib binding | Kathy Gray | |
| 2016-01-28 | Support exit and assert better in sequential interpreter and general ↵ | Kathy Gray | |
| interpreter interface | |||
| 2016-01-20 | Assorted bug fixes that gets one mips instruction running (then fails for ↵ | Kathy Gray | |
| expected reasons) :) | |||
| 2016-01-13 | Closes issue #28 and issue #27 | Kathy Gray | |
| Note: also adds a most_significant function to the standard library, that returns the lowest indexed bit in a inc bit vector and the biggest indexed bit in a dec bit vector. | |||
| 2015-10-23 | slight change to library | Kathy Gray | |
| 2015-10-05 | More library functions | Kathy Gray | |
| Tweak to rewriter to actually rewrite function patterns | |||
| 2015-07-24 | Begin doing better analysis on case splits over unknowns | Kathy Gray | |
| 2015-06-29 | Fix pattern match error | Kathy Gray | |
| 2015-06-29 | Return unknown for a == unknown or unknown == a. Fixes issue #15 | Kathy Gray | |
| 2015-06-05 | Manually turn negative nat values to 0 instead of letting Lem use an abs ↵ | Kathy Gray | |
| call to turn them positive, in to_vec* | |||
| 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-26 | small bug fixes | Kathy Gray | |
| 2015-05-19 | Add signed and unsigned functions, converting bit vectors to appropriate ↵ | Kathy Gray | |
| numbers (explicit instead of implicit in operations) | |||
| 2015-05-16 | extend a missing case | 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-05 | allow undefined in mask for size | Kathy Gray | |
| 2015-04-22 | Fix some interpreter bugs preventing ARM instructions from making progress | Kathy Gray | |
| 2015-04-14 | Fix bug showing up in power.sail's compilation to Lem causing unknown values ↵ | Kathy Gray | |
| where they shouldn't be | |||
| 2015-04-07 | Move interpreter to zarith | Kathy Gray | |
| 2015-03-17 | Correct directionality in interpreter. Now the interpreter shouldn't use inc ↵ | Kathy Gray | |
| unless that's the current default or there's no default set in the spec | |||
| 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-01-28 | take sign into account on whether a number fits into the number of available ↵ | Kathy Gray | |
| bits or not | |||
| 2015-01-17 | update division | Kathy Gray | |
| 2015-01-15 | signed subtraction | Kathy Gray | |
| 2015-01-15 | Add support for overflow detecting subtraction | Kathy Gray | |
| 2015-01-14 | correct where overflow checking should happen on multiplication arithmetic | Kathy Gray | |
| 2015-01-14 | correct wrongly used variable in arith operations | Kathy Gray | |
| 2015-01-14 | more carry out | Kathy Gray | |
| 2015-01-14 | carry out | Kathy Gray | |
| 2014-12-18 | Bring interpreter upto date with current Lem | Kathy Gray | |
| 2014-12-16 | Fix bug on nat/type/order/effect variable binding | Kathy Gray | |
| Fix bug allowing function types in too many places | |||
| 2014-12-11 | Carry out change | Kathy Gray | |
| 2014-12-11 | Many fixes, primarily dealing with undefined | Kathy Gray | |
| Including: turn an undefined literal into a vector of undefined values of the correct length handle sparse vector unspecified default values as undefined literals allow global lets to call library functions | |||
| 2014-12-10 | Fix neg | Kathy Gray | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |