summaryrefslogtreecommitdiff
path: root/src/lem_interp/printing_functions.ml
AgeCommit message (Expand)Author
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
2014-11-22Printing functions compiles againKathy Gray
2014-11-22Add size of register to register for making appropriate unknown register_valuesKathy Gray
2014-11-22make interpreter now compilesKathy Gray
2014-11-22Changing interface in step with Peter and ppcmem changesKathy Gray
2014-11-21Print out default values for underspecified vectors instead of leaving them a...Kathy Gray
2014-11-19print sparse vectorsKathy Gray
2014-11-18wibKathy Gray
2014-11-18Add missing cases to printing_functions printing of interp_valuesKathy Gray
2014-11-17Use red printing for the value in the hole from Printing_functions instead of...Kathy Gray
2014-11-17wibPeter Sewell
2014-11-16Add overflow checking arithmetic operations. Fix various bugs that this exposedKathy Gray
2014-11-12; -> ,Peter Sewell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:03:27 +0000