| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-12-05 | Update license headers for Sail source | Alasdair Armstrong | |
| 2017-07-06 | fix interpreter version of get_min/max_representable which similarly broken ↵ | Robert Norton | |
| to ocaml version. TODO: also fix copies in sail_values.lem and sail_values_word.lem. | |||
| 2017-07-06 | fix interpreter lteq/gteq for range/vec. | Robert Norton | |
| 2017-07-06 | fix interpreter version of != which was broken for vector/range comparisons. | Robert Norton | |
| 2017-06-22 | fix three different copies of the hardware_quot function to do proper ↵ | Robert Norton | |
| trucation towards zero. Previous version was incorrect if result was exact and a<0 and b>0. | |||
| 2017-06-22 | add a 'print' built-in function handy for writing sail tests. | Robert Norton | |
| 2017-02-03 | fix headers | Peter Sewell | |
| 2017-01-27 | fix right shift | Kathy Gray | |
| 2017-01-25 | Make interpreter a little more flexible on the format of a register type to ↵ | Kathy Gray | |
| match ASL; add missing functions/cases to library | |||
| 2017-01-25 | Make vector equality remember about the possibility of unknown values | Kathy Gray | |
| 2017-01-23 | Extend lib with min and max | Kathy Gray | |
| 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 | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |