summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-09-02Extend type checking so that patterns with vector concatenation don't permit ...Kathy Gray
2016-08-24pull files from idlarmShaked Flur
2016-08-18move register_base_name and slice_of_reg_name from ppcmem thread semantics to...Christopher
2016-08-17tuple assignment now implemented so (a,b) := foo() will now workKathy Gray
2016-08-17Fix pattern match bug in interp where vector accesses were using the wrong st...Kathy Gray
2016-08-14Add missing case to replicateKathy Gray
2016-08-14Start adding form for (a,b,c) := foo()Kathy Gray
2016-08-10Missing case in libKathy Gray
2016-08-10Fix sizeof code generation to look at parameter boundsKathy Gray
2016-08-09More fixes to resolving nat variables across casesKathy Gray
2016-08-08Fix bug in type checker that ignored some pattern's constraints; fix second b...Kathy Gray
2016-08-06Add duplicate_bits to libKathy Gray
2016-08-05Fix list parsing and empty vector parsingKathy Gray
2016-08-01Remove raise_c2_exception_v function which is not needed after permissions me...Robert Norton
2016-08-01Complete transition to merged perms. We need to take care to keep around the ...Robert Norton
2016-07-28Banish exit from the mips/cheri sail except at end of SignalException functio...Robert Norton
2016-07-28Complete another if statement with an empty else.Robert Norton
2016-07-28Use recently introduced 'not' function instead of ~ for boolean negation. Mor...Robert Norton
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 09:00:23 +0000