summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp.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-30Merge branch 'master' into experimentsAlasdair Armstrong
2017-11-17Fix interpreter to work with new typecheckerAlasdair Armstrong
2017-09-29fix deep_shallow_convert, stop using interp_interface.instruction for most th...Christopher Pulte
2017-07-24interpreter: optionally print debugging tracesJon French
2017-07-24vector parts of interpreter now evaluate all arguments of expression before e...Jon French
2017-07-24move value type definitions to ott, and introduce new E_internal_value ast no...Jon French
2017-05-28fixed exmemShaked Flur
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-24Print tracking information for V_track, hopefully fix extern_vector_value, fi...Christopher Pulte
2017-02-03fix headersPeter Sewell
2017-01-25Make interpreter a little more flexible on the format of a register type to m...Kathy Gray
2017-01-23remove taint printingKathy Gray
2017-01-23Extend lib with min and maxKathy Gray
2016-11-23Add new type checking file. Small changes to type inference, temporary change...Kathy Gray
2016-11-09move decode_error type back to Sail_impl_base for nowChristopher Pulte
2016-11-08fixesChristopher Pulte
2016-10-25Improve pattern match failure error messagesKathy Gray
2016-10-22fixes, Interp.value printing for debuggingChristopher Pulte
2016-10-21shallow embedding progressChristopher Pulte
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-09-09minor fixesKathy Gray
2016-08-17tuple assignment now implemented so (a,b) := foo() will now workKathy Gray
2016-08-17Fix pattern match bug in interp where vector accesses were using the wrong st...Kathy Gray
2016-08-14Add missing case to replicateKathy Gray
2016-07-26And fix abbrev oversite in interpreterKathy Gray
2016-07-25Actually fix stack for returnKathy Gray
2016-07-25Fix stack for returnKathy Gray
2016-07-23Add a return exp form to Sail, supported in type checker and in interpreter.Kathy Gray
2016-06-03Fix bug exposed/introduced by properly handling vector starts in the type che...Kathy Gray
2016-06-03turn off debug print statementsKathy Gray
2016-06-03Mips file: removed some unnecessary parenthesisKathy Gray
2016-05-09Reverse the list of events to respect their orderKathy Gray
2016-05-09Add more debugging information for vector concatenationKathy Gray
2016-04-19Make value treatment on memory write calls uniform for function call vs assig...Kathy Gray
2016-04-18More fixes to interp with regards to warnings and debugging infoKathy Gray
2016-04-13Remove some warnings, in progress.Kathy Gray
2016-03-30Small missing cases in patternsKathy Gray
2016-01-28Support exit and assert better in sequential interpreter and general interpre...Kathy Gray
2016-01-27Make mips build againKathy Gray
2016-01-26Stop turning all decreasing vectors into indexed ones : i.e. let's print them...Kathy Gray
2016-01-26Fix some bugs in writing registers with slices in the sequential interpreterKathy Gray
2016-01-20Assorted bug fixes that gets one mips instruction running (then fails for exp...Kathy Gray
2016-01-20Decoding a mips instruction :)Kathy Gray
2016-01-19Put None and Some into interpreter environmentsKathy Gray
2016-01-11Interpreter that understands assertKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:59:52 +0000