summaryrefslogtreecommitdiff
path: root/src/lem_interp/printing_functions.ml
AgeCommit message (Expand)Author
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
2014-11-12Add a function to print local variables and values, local_variables_to_stringKathy Gray
2014-11-11remove [ and ] from values in the holeKathy Gray
2014-11-08make pp of Bitvector values of widths 1,2,4, or 8 bytes be in hex (but includ...Peter Sewell
2014-11-06Refactor printing to display the contents the [_] and to better format bit ve...Kathy Gray
2014-11-04K,P better instruction ppPeter Sewell
2014-11-03pp of initial index of bitvectorPeter Sewell
2014-10-30more compact pp of binary values (following verilog literal syntax)Peter Sewell
2014-10-29tweak value pp (remove byte count)Peter Sewell
2014-10-27Add printing for instruction formKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:01:57 +0000