summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2016-10-22Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-10-22fixes, Interp.value printing for debuggingChristopher Pulte
2016-10-22fixes following interface changes (type of instruction, name of barrier)Robert Norton
2016-10-21Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-10-21shallow embedding progressChristopher Pulte
2016-10-20changes to support get_model for ppcmem.Robert Norton
2016-10-20factor out instr_external_to_interp_valueChristopher Pulte
2016-10-20fix previous FromToInterpValue typeclass issue, factor out intpreter's ↵Christopher Pulte
interp_value_to_instr_external
2016-10-19fixChristopher Pulte
2016-10-19remove effect list from instruction typeChristopher Pulte
2016-10-19typeclass instances for converting between shallow and deep embeddingChristopher Pulte
2016-10-18put typ_to_t in type_check's visible interfaceKathy Gray
2016-10-18Expose type environment after checking, for use in analysisKathy Gray
2016-10-17updates for ppcmem printingKathy Gray
2016-10-14Add printing of whole call stackKathy Gray
2016-10-13make sail-to-lem rewriting passes use dependency analysis, make dependency ↵Christopher Pulte
analysis include type information, small pp fix
2016-10-12Add free variable and dependency sorting functions, lifted from internal to ↵Kathy Gray
external repository
2016-10-11Update run_with_elf* for new linksem sail_interfaceRobert Norton
2016-10-11Update to use sail_impl_base.Robert Norton
2016-10-11move armv8_extras and power_extras to idl/power and idlarm, fixesChristopher Pulte
2016-10-10changed the way registers/register fields work, fixes, nicer names for new ↵Christopher Pulte
letbound variables
2016-10-08type class instance fixesChristopher Pulte
2016-10-06move type definitions that both interpreter and shallow embedding use to ↵Christopher Pulte
sail_impl_base, add sail_impl_base.outcome, add interp_inter_imp auxiliary functions, make prompt use sail_impl_base.outcome
2016-09-30add Robert's DIA typeclass instancesChristopher Pulte
2016-09-30fixes, update isntruction_analysis for NIAs and DIAChristopher Pulte
2016-09-28Possible fix for equality and inequalityKathy Gray
2016-09-28Fix type checking bug that was missing unifications for natsKathy Gray
2016-09-26minor changesChristopher Pulte
2016-09-26nicer lem output: fewer unnecessary letbinds, monad binds and returnsChristopher Pulte
2016-09-25nicer lem output: no more unecessary 'unit' returns if if-expressions, ↵Christopher Pulte
for-loops or case-expressions also return updated variables
2016-09-24nicer lem output: fewer unecessary 'return'sChristopher Pulte
2016-09-23Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-09-23sail-to-lem progressChristopher Pulte
2016-09-23Add register footprint function needed by ppcmem (mips only for now)Robert Norton
2016-09-21fixesChristopher Pulte
2016-09-19Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-09-19sail-to-lem progressChristopher Pulte
2016-09-19Fix type check bugKathy Gray
2016-09-19remove conflict messageChristopher Pulte
2016-09-16fixChristopher Pulte
2016-09-16make vector concatenation pattern removal deal with vector patterns of ↵Christopher Pulte
unknown length (in the last item)
2016-09-14Switch mips/cheri over to using memory ea/val for writes. Tag is now first ↵Robert Norton
byte of value for capability writes. Still need TAGw for now but should kill eventually.
2016-09-14Add memory kind for concurrent tag reads and writesKathy Gray
2016-09-14Change reading and writing of tag memory to report the tag/look for the tag ↵Kathy Gray
as the first byte of the byte list on tagged memory operations
2016-09-13Support memea and memv in sequential interpreterKathy Gray
2016-09-13Add optional address to memv eventsKathy Gray
2016-09-13add show functions, fixChristopher Pulte
2016-09-13extern slice for instruction analysisKathy Gray
2016-09-12add list append functionKathy Gray
2016-09-09Fix bug in type checking cons that put the list first instead of the new elementKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-12 07:06:55 +0000