summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-07-27Fix misspelt marker comment.Robert Norton
2016-07-27Add final 'else' to CCheckPerms because Peter pointed out that it is better t...Robert Norton
2016-07-27CCall comment out of extracted psuedocode region.Robert Norton
2016-07-27Normalise whitespace in cheri_insts.sail for cleaner extraction of instructio...Robert Norton
2016-07-27Add a function 'not' to the library with type bit -> bitKathy Gray
2016-07-26Fix incomplete match warning in run_with*Robert Norton
2016-07-26Increase size of TLB to 64 entries. In theory this should improve FreeBSD boo...Robert Norton
2016-07-26Add support for BERI specific behaviour which permits some unaligned accesses...Robert Norton
2016-07-26And fix abbrev oversite in interpreterKathy Gray
2016-07-26Fix type abbreviation support oversightKathy Gray
2016-07-26Add minimal support for emulated Altera JTAG UART.Robert Norton
2016-07-26Add support for loading a raw binary file at given location in memory prior t...Robert Norton
2016-07-26Add Makefile and marker comments in cheri sail file for extracting individual...Robert Norton
2016-07-25Fix incorrect register number for CP0Cause in mtc0. The only test which write...Robert Norton
2016-07-25winKathy Gray
2016-07-25one more goKathy Gray
2016-07-25Actually fix stack for returnKathy Gray
2016-07-25Fix stack for returnKathy Gray
2016-07-25Support return in interpreter pretty printer (also fix typo for default case)Kathy Gray
2016-07-25auto coerce to bit vector from bitKathy Gray
2016-07-24Make sure that all type constructors with unit type have a type union with ju...Kathy Gray
2016-07-23Add effect annotation for return, and actually keep a return after type check.Kathy Gray
2016-07-23update to remove use of return as variableKathy Gray
2016-07-23Add a return exp form to Sail, supported in type checker and in interpreter.Kathy Gray
2016-07-20Make rewriter understand type abbreviations for removing internal_exp instancesKathy Gray
2016-07-13fixChristopher
2016-07-13fixesChristopher
2016-07-12sail-to-lem and lem library fixesChristopher
2016-07-01Add missing case to arith_op_no0Kathy Gray
2016-06-28Munge exception destination PC so we hit the correct address even when kcc.ba...Robert Norton
2016-06-27Don't blow up when test suite writes to K0 field of Config0 register.Robert Norton
2016-06-20Fix error in type checker that put some constraints wrongly into conditional ...Kathy Gray
2016-06-10Make in-memory format of capabilities conform with that of CHERI which stores...Robert Norton
2016-06-07remove workarounds for sail unable to read fields during PC fetch. Should be ...Robert Norton
2016-06-07Merge register access violation exception codes. ISA is evolving and is a lit...Robert Norton
2016-06-07Preserve padding in capability registers when converting to struct form -- th...Robert Norton
2016-06-07Fix issue in accessing fields and slices of registers during translate addressKathy Gray
2016-06-07cheri: implement the csub instruciton (new instruction)Robert Norton
2016-06-07add a test for failing TLB translation during instruction fetch.Robert Norton
2016-06-06remove mips test elf files no longer expected to work due to having incorrect...Robert Norton
2016-06-06Add explicit type cast required because of the way sail does slicing (we want...Robert Norton
2016-06-06add test for failing tlb translation using current sail.Robert Norton
2016-06-06revert accidental functional change introduced when formatting -- simulator h...Robert Norton
2016-06-03Fix bug exposed/introduced by properly handling vector starts in the type che...Kathy Gray
2016-06-03Change path inside sail Makefile to look for sail directory instead of l2Kathy Gray
2016-06-03Improve formatting of latex export of mips spec: wrap lines, remove dollars i...Robert Norton
2016-06-03update README re l2->sailPeter Sewell
2016-06-03Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Peter Sewell
2016-06-03plumbing to make a pdf version of MIPS Sail spec, using LaTeX lstlistingsPeter Sewell
2016-06-03turn off debug print statementsKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 12:50:44 +0000