summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2016-11-28make sail produce prompt and state version of shallow embedding files at the ↵Christopher Pulte
same time with the types both have in common factored out into separate file, rename one mips shallow embedding _extras file as required by this
2016-11-27make outcome_s contain the instruction state pretty print rather than the ↵Christopher Pulte
instruction state, factor out interpreter/shallow embedding value conversion
2016-11-23Make type checker not run to fix point on resolving case-split type ↵Kathy Gray
variables; modern implementation of nexp unification seems not to need it
2016-11-23Add new type checking file. Small changes to type inference, temporary ↵Kathy Gray
change to printing
2016-11-22fix mips MakefileChristopher Pulte
2016-11-15wrap state monad into list monoad for non-deterministic write exclusive ↵Christopher Pulte
operations
2016-11-14add option -lem_sequential for producing shallow embedding that refers to ↵Christopher Pulte
state monad, library fixes
2016-11-10rewrite state.lemChristopher Pulte
2016-11-09move decode_error type back to Sail_impl_base for nowChristopher Pulte
2016-11-08fixesChristopher Pulte
2016-11-07factor out regfp analysis types into etc/regfp.sailChristopher Pulte
2016-11-05Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-11-05fixesChristopher Pulte
2016-11-03split out RI node so that ppcmem model does not implement reserved ↵Robert Norton
instruction exception behaviour but sequential model does (for test suite).
2016-11-02shallow embedding library fixes, logfile pp fixesChristopher Pulte
2016-10-28shallow embedding progressChristopher Pulte
2016-10-27more shallow embedding fixesChristopher Pulte
2016-10-26Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-10-26shallow embedding fixesChristopher Pulte
2016-10-25load all segments into prog_mem regardless of x flag (for running cheri ↵Robert Norton
tests all memory is equal
2016-10-25Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-10-25fix my decode_to_istate bugChristopher Pulte
2016-10-25Improve pattern match failure error messagesKathy Gray
2016-10-25shallow embedding fixesChristopher Pulte
2016-10-24Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-10-24fixes, check in Shaked's sail_impl_base changesChristopher Pulte
2016-10-24fix type check bug leading None to not be matched as a constructor in a patternKathy Gray
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-30 15:00:57 +0000