summaryrefslogtreecommitdiff
path: root/src/lem_interp/printing_functions.ml
AgeCommit message (Expand)Author
2018-08-07Revert "Warnings: deal with all the deprecation warnings"Alasdair Armstrong
2018-07-26Warnings: deal with all the deprecation warningsAlastair Reid
2018-03-12lem_interp: expose disable color flag in Printing_functions interfaceJon French
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-08-16lem_interp: remove broken val_to_string_internal functions, replace with stri...Jon French
2017-07-24move value type definitions to ott, and introduce new E_internal_value ast no...Jon French
2017-05-24Merge branch 'master' of bitbucket.org:Peter_Sewell/sailShaked Flur
2017-05-24added the exmem effect for AArch64 store-exclusiveShaked Flur
2017-05-24Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from dat...Robert Norton
2017-03-25endianness fixShaked Flur
2017-03-24fixed endiannessShaked Flur
2017-02-03fix headersPeter Sewell
2017-01-24Remember to pass through collapse argument in else case in bit_lifteds_to_stringRobert Norton
2016-11-27make outcome_s contain the instruction state pretty print rather than the ins...Christopher Pulte
2016-11-02shallow embedding library fixes, logfile pp fixesChristopher Pulte
2016-10-19remove effect list from instruction typeChristopher Pulte
2016-10-17updates for ppcmem printingKathy Gray
2016-10-14Add printing of whole call stackKathy Gray
2016-10-06move type definitions that both interpreter and shallow embedding use to sail...Christopher Pulte
2016-09-13Add optional address to memv eventsKathy Gray
2016-06-03Fix bug exposed/introduced by properly handling vector starts in the type che...Kathy Gray
2016-04-12Reduce warnings for interpreter. Removed all pattern match warnings for inter...Kathy Gray
2015-08-06Update analysis to merge states and values after branches taken due to unknow...Kathy Gray
2015-07-19abbreviate printing of memory values <=9Peter Sewell
2015-06-24Support new write memory eventsKathy Gray
2015-06-22Fixes issue #12Kathy Gray
2015-06-21Taint printing changes: make it for debugging only, except when showing all e...Kathy Gray
2015-06-18Put reverse in the correct placeKathy Gray
2015-06-18add endian flag to memory printingKathy Gray
2015-05-19Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Shaked Flur
2015-05-19avoid the use of Str.regexp as it breaks js_of_ocamlShaked Flur
2015-05-18Match cases better in bit vector printing (i.e. allow undef, and taint)Kathy Gray
2015-05-01Change interpreter interface to support ppcmem2's view of vectors as always i...Kathy Gray
2015-04-07Move interpreter to zarithKathy Gray
2015-03-17Correct directionality in interpreter. Now the interpreter shouldn't use inc ...Kathy Gray
2015-03-15Many changes:Kathy Gray
2015-01-15Add support for overflow detecting subtractionKathy Gray
2014-11-30clean up ghastly pre-submission pp hackeryPeter Sewell
2014-11-24Give a better answer on overflow with two vectors of unknowns (i.e. unknown i...Kathy Gray
2014-11-23fix logfile printingPeter Sewell
2014-11-23Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Peter Sewell
2014-11-23wibPeter Sewell
2014-11-23instruction printingKathy Gray
2014-11-23better... still not rightPeter Sewell
2014-11-23new printing codePeter Sewell
2014-11-23Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Peter Sewell
2014-11-23wibPeter Sewell
2014-11-23make interpreter now buildsKathy Gray
2014-11-23wibPeter Sewell
2014-11-23Fill in some of the basic coercionsKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:54:50 +0000