summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-11-24attempt to preserve signs of immediate where appropriate when translating to ...Robert Norton
2016-11-23Make type checker not run to fix point on resolving case-split type variables...Kathy Gray
2016-11-23Add new type checking file. Small changes to type inference, temporary change...Kathy Gray
2016-11-23be consistent about using lower case when parsing/pretty printing MIPS assembly.Robert Norton
2016-11-23add support for symbolic registers in litmus tests.Robert Norton
2016-11-22fix mips MakefileChristopher Pulte
2016-11-22add mips_extras_sequential_embed.lemChristopher Pulte
2016-11-15wrap state monad into list monoad for non-deterministic write exclusive opera...Christopher Pulte
2016-11-14add option -lem_sequential for producing shallow embedding that refers to sta...Christopher Pulte
2016-11-11mips_regfp: add missing output register for store conditional.Robert Norton
2016-11-10Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-11-10rewrite state.lemChristopher Pulte
2016-11-09add CP0LLBit and CP0LLAddr to mips register footprintRobert Norton
2016-11-09move decode_error type back to Sail_impl_base for nowChristopher Pulte
2016-11-08fixesChristopher Pulte
2016-11-08add mips_extras_embedChristopher Pulte
2016-11-08add mips thread start instruction.Robert Norton
2016-11-07Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-11-07factor out regfp analysis types into etc/regfp.sailChristopher Pulte
2016-11-07sync with idlarmShaked Flur
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 instructio...Robert Norton
2016-11-02shallow embedding library fixes, logfile pp fixesChristopher Pulte
2016-10-28Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-10-28shallow embedding progressChristopher Pulte
2016-10-27add hgen for J branchesRobert Norton
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 tests...Robert Norton
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 interp...Christopher Pulte
2016-10-19fixChristopher Pulte
2016-10-19remove effect list from instruction typeChristopher Pulte
2016-10-19Revert "file missed in previous commit"Christopher Pulte
2016-10-19file missed in previous commitChristopher Pulte
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 12:27:03 +0000