summaryrefslogtreecommitdiff
path: root/src/lem_interp/pretty_interp.ml
AgeCommit message (Expand)Author
2018-04-18Fix another reference to BK_natAlastair Reid
2017-12-06Add top-level pattern match guards internallyBrian Campbell
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-11-17Fix interpreter to work with new typecheckerAlasdair 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-02-03fix headersPeter Sewell
2016-10-17updates for ppcmem printingKathy Gray
2016-07-25Support return in interpreter pretty printer (also fix typo for default case)Kathy Gray
2016-04-18More fixes to interp with regards to warnings and debugging infoKathy Gray
2016-03-30Small missing cases in patternsKathy Gray
2016-02-04fix pretty printing of new mod_sRobert Norton
2015-06-24Support new memory write events in the sail front end and pretty printerKathy Gray
2015-05-18Match cases better in bit vector printing (i.e. allow undef, and taint)Kathy Gray
2015-05-13Add dynamic footprint dependency check event/outcomeKathy Gray
2015-04-07Move interpreter to zarithKathy Gray
2015-03-26Add subtraction to nexp grammar (removing the need to do a + (-1 * b))Kathy Gray
2014-11-23make pretty_interp be back in sync with pretty_printKathy Gray
2014-11-21Print out default values for underspecified vectors instead of leaving them a...Kathy Gray
2014-11-17Use red printing for the value in the hole from Printing_functions instead of...Kathy Gray
2014-11-11remove [ and ] from values in the holeKathy Gray
2014-11-10Print contents of the [_] hole when it's available.Kathy Gray
2014-11-07stop using LEMLIB in makefile, in case that's interfering with lem library pl...Kathy Gray
2014-11-06Refactor printing to display the contents the [_] and to better format bit ve...Kathy Gray
2014-10-14Iron out bugs in running new executable with branching; add new executable as...Kathy Gray
2014-06-30Support for nondeterministic blocksKathy Gray
2014-06-09Better, colored holeGabriel Kerneis
2014-06-09Support deinfix pretty-printingGabriel Kerneis
2014-06-09Add switch to show/hide casts in interpreterGabriel Kerneis
2014-06-07Print holes as [x]Gabriel Kerneis
2014-06-07Fix E_vector_append in interp pretty-printerGabriel Kerneis
2014-06-06Add a pretty-printer for Interp_astGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:16:35 +0000