summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_utilities.lem
AgeCommit message (Expand)Author
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-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
2015-10-08augment annot of interpreterKathy Gray
2015-08-06Update analysis to merge states and values after branches taken due to unknow...Kathy Gray
2015-07-24Begin doing better analysis on case splits over unknownsKathy Gray
2015-06-24Support new write memory eventsKathy Gray
2015-06-03make string functions used to UI and debugging output empty strings for theor...cp526
2015-06-02Fix errors around ARM not being able to decode due to instruction_extractor b...Kathy Gray
2015-05-15actually match depend effect in has_effect functionKathy Gray
2015-05-13Add dynamic footprint dependency check event/outcomeKathy Gray
2015-05-01Change interpreter interface to support ppcmem2's view of vectors as always i...Kathy Gray
2015-03-15Many changes:Kathy Gray
2014-11-23make interpreter now buildsKathy Gray
2014-11-20set more vector starts before sending them off to register writesKathy Gray
2014-10-07Actually add the new fileKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:41:10 +0000