summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-01-27failing test with c128Robert Norton
2017-01-27further attempt to work around matching bug -- seems to work.Robert Norton
2017-01-26fix incorrect constant in calculation of representable boundary (should be B ...Robert Norton
2017-01-26remove dead code in getBase/getTopRobert Norton
2017-01-26attempted work around for apparent sail bug with matching result of comparisonRobert Norton
2017-01-26don't forget to use absolute PC as offset in epcc in case where epcc is not r...Robert Norton
2017-01-26c128: xor E with 48 when storing in memory so that null cap is all zeros but ...Robert Norton
2017-01-26Merge branch 'master' of bitbucket.org:Peter_Sewell/sailPeter Sewell
2017-01-26christopher, kathy, peter: hacky experiment on nias_of_instructionPeter Sewell
2017-01-26when using cursor instead of offset for bounds check we must remember to chec...Robert Norton
2017-01-26Merge branch 'master' of bitbucket.org:Peter_Sewell/sailPeter Sewell
2017-01-26wibPeter Sewell
2017-01-25wibPeter Sewell
2017-01-25Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailKathy Gray
2017-01-25Make interpreter a little more flexible on the format of a register type to m...Kathy Gray
2017-01-25fix error introduced in revised version of TranslateAddress -- absPC should b...Robert Norton
2017-01-25fix typo in c256 capRegToCapStructRobert Norton
2017-01-25merge cheri 256 and 128 together factoring out differing parts into separate ...Robert Norton
2017-01-25set offset of pcc on exception.Robert Norton
2017-01-25Merge branch 'master' of bitbucket.org:Peter_Sewell/sailPeter Sewell
2017-01-25kathy, peter: fixing sail-mode startupPeter Sewell
2017-01-25Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailKathy Gray
2017-01-25Make vector equality remember about the possibility of unknown valuesKathy Gray
2017-01-24Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2017-01-24functionality for comparing handwritten analysis function with exhaustive int...Christopher Pulte
2017-01-24force unsigned comparison in cgetlen overflow check.Robert Norton
2017-01-24first pass at cheri128 sail.Robert Norton
2017-01-24add "interpreter" to make allPeter Sewell
2017-01-24Remember to pass through collapse argument in else case in bit_lifteds_to_stringRobert Norton
2017-01-23remove taint printingKathy Gray
2017-01-23Extend lib with min and maxKathy Gray
2017-01-14update pretty printing to actually reflect lem ast changesKathy Gray
2017-01-14changes to enable interpreter exhaustive analysis in ppcmem againChristopher Pulte
2017-01-12Adding sample generated power fileKathy Gray
2017-01-07Turn back on resolving branch nexp unification more than once. This is the ri...Kathy Gray
2016-12-12pp fixChristopher Pulte
2016-12-12cheri sail export progressChristopher Pulte
2016-12-09sail changes for making lem embedding Isabelle-friendlierChristopher Pulte
2016-12-08add target for building cheri_notlb.lemRobert Norton
2016-12-02fix interpreter build following refactoringRobert Norton
2016-12-01move interpreter-specific types from Sail_impl_base to Interp_interfaceChristopher Pulte
2016-11-30shallow embedding fix, rename 'copy' to 'reset_vector_start', don't print sha...Christopher Pulte
2016-11-30add new barrier kind for MIPS (only one for now).Robert Norton
2016-11-28make sail produce prompt and state version of shallow embedding files at the ...Christopher Pulte
2016-11-27make outcome_s contain the instruction state pretty print rather than the ins...Christopher Pulte
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 04:08:24 +0000