| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-07 | Revert "Warnings: deal with all the deprecation warnings" | Alasdair Armstrong | |
| One day we will be free from the 4.02.3 menace, but today is not that day. :( This should fix Sail on Jenkins This reverts commit 86e29bcbb1597c4ef1f6cae8edbeed42f9a31414. | |||
| 2018-07-26 | Warnings: deal with all the deprecation warnings | Alastair Reid | |
| Changes are: - String.capitalize -> String.capitalize_ascii - String.uppercase -> String.uppercase_ascii - String.lowercase -> String.lowercase_ascii Basically just making the change that the warning message suggested. | |||
| 2018-03-12 | lem_interp: expose disable color flag in Printing_functions interface | Jon French | |
| 2017-12-05 | Update license headers for Sail source | Alasdair Armstrong | |
| 2017-08-16 | lem_interp: remove broken val_to_string_internal functions, replace with ↵ | Jon French | |
| string_of_value as used everywhere else | |||
| 2017-07-24 | move value type definitions to ott, and introduce new E_internal_value ast ↵ | Jon French | |
| node for passing around encapsulated evaluated values; change Interp.to_exp to now just wrap values in this node | |||
| 2017-05-24 | Merge branch 'master' of bitbucket.org:Peter_Sewell/sail | Shaked Flur | |
| # Conflicts: # src/lem_interp/interp.lem # src/lem_interp/interp_inter_imp.lem # src/lem_interp/interp_interface.lem # src/parser.mly # src/pretty_print_lem.ml | |||
| 2017-05-24 | added the exmem effect for AArch64 store-exclusive | Shaked Flur | |
| 2017-05-24 | Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from ↵ | Robert Norton | |
| data and invent rmemt and wmvt effects for them. Extend the interpreter context to include lists of tagged memory read and write functions. The memory model must round down the address to the nearest capability aligned address when reading/writing tags. Remove TAGw which is no longer needed as a result. | |||
| 2017-03-25 | endianness fix | Shaked Flur | |
| 2017-03-24 | fixed endianness | Shaked Flur | |
| 2017-02-03 | fix headers | Peter Sewell | |
| 2017-01-24 | Remember to pass through collapse argument in else case in bit_lifteds_to_string | Robert Norton | |
| 2016-11-27 | make outcome_s contain the instruction state pretty print rather than the ↵ | Christopher Pulte | |
| instruction state, factor out interpreter/shallow embedding value conversion | |||
| 2016-11-02 | shallow embedding library fixes, logfile pp fixes | Christopher Pulte | |
| 2016-10-19 | remove effect list from instruction type | Christopher Pulte | |
| 2016-10-17 | updates for ppcmem printing | Kathy Gray | |
| 2016-10-14 | Add printing of whole call stack | Kathy Gray | |
| 2016-10-06 | move type definitions that both interpreter and shallow embedding use to ↵ | Christopher Pulte | |
| sail_impl_base, add sail_impl_base.outcome, add interp_inter_imp auxiliary functions, make prompt use sail_impl_base.outcome | |||
| 2016-09-13 | Add optional address to memv events | Kathy Gray | |
| 2016-06-03 | Fix bug exposed/introduced by properly handling vector starts in the type ↵ | Kathy Gray | |
| checker | |||
| 2016-04-12 | Reduce warnings for interpreter. Removed all pattern match warnings for ↵ | Kathy Gray | |
| interp_lib, interp_inter_imp, and printing_functions. | |||
| 2015-08-06 | Update analysis to merge states and values after branches taken due to ↵ | Kathy Gray | |
| unknown conditions. Does not merge if one path has resulted in an exit | |||
| 2015-07-19 | abbreviate printing of memory values <=9 | Peter Sewell | |
| 2015-06-24 | Support new write memory events | Kathy Gray | |
| 2015-06-22 | Fixes issue #12 | Kathy Gray | |
| 2015-06-21 | Taint printing changes: make it for debugging only, except when showing all ↵ | Kathy Gray | |
| events in exhaustive mode | |||
| 2015-06-18 | Put reverse in the correct place | Kathy Gray | |
| 2015-06-18 | add endian flag to memory printing | Kathy Gray | |
| 2015-05-19 | Merge branch 'master' of bitbucket.org:Peter_Sewell/l2 | Shaked Flur | |
| 2015-05-19 | avoid the use of Str.regexp as it breaks js_of_ocaml | Shaked Flur | |
| 2015-05-18 | Match cases better in bit vector printing (i.e. allow undef, and taint) | 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-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-15 | Add support for overflow detecting subtraction | Kathy Gray | |
| 2014-11-30 | clean up ghastly pre-submission pp hackery | Peter Sewell | |
| 2014-11-24 | Give a better answer on overflow with two vectors of unknowns (i.e. unknown ↵ | Kathy Gray | |
| instead of 0) | |||
| 2014-11-23 | fix logfile printing | Peter Sewell | |
| 2014-11-23 | Merge branch 'master' of bitbucket.org:Peter_Sewell/l2 | Peter Sewell | |
| Conflicts: src/lem_interp/printing_functions.ml | |||
| 2014-11-23 | wib | Peter Sewell | |
| 2014-11-23 | instruction printing | Kathy Gray | |
| 2014-11-23 | better... still not right | Peter Sewell | |
| 2014-11-23 | new printing code | Peter Sewell | |
| 2014-11-23 | Merge branch 'master' of bitbucket.org:Peter_Sewell/l2 | Peter Sewell | |
| 2014-11-23 | wib | Peter Sewell | |
| 2014-11-23 | make interpreter now builds | Kathy Gray | |
| and I *think* that I'm making vectors of unknowns in all the necessary places now. | |||
| 2014-11-23 | wib | Peter Sewell | |
| 2014-11-23 | Fill in some of the basic coercions | Kathy Gray | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |