summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-09-21fixesChristopher Pulte
2016-09-19Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2016-09-19sail-to-lem progressChristopher Pulte
2016-09-19Fix type check bugKathy Gray
2016-09-19remove conflict messageChristopher Pulte
2016-09-16fixChristopher Pulte
2016-09-16make vector concatenation pattern removal deal with vector patterns of unknow...Christopher Pulte
2016-09-14Switch mips/cheri over to using memory ea/val for writes. Tag is now first by...Robert Norton
2016-09-14Use cap_size to check for address alignment in csc/clc instead of hardcoded 3...Robert Norton
2016-09-14Add memory kind for concurrent tag reads and writesKathy Gray
2016-09-14Change reading and writing of tag memory to report the tag/look for the tag a...Kathy Gray
2016-09-14Fix mistyped identifier in emacs modeKathy Gray
2016-09-13Support memea and memv in sequential interpreterKathy Gray
2016-09-13Add optional address to memv eventsKathy Gray
2016-09-13add show functions, fixChristopher Pulte
2016-09-13extern slice for instruction analysisKathy Gray
2016-09-12add list append functionKathy Gray
2016-09-09Fix bug in type checking cons that put the list first instead of the new elementKathy Gray
2016-09-09minor fixesKathy Gray
2016-09-09update instruction_analysis to support nias and instruction kindChristopher Pulte
2016-09-07push some lem pp changesChristopher Pulte
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 08:16:23 +0000