| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-09-09 | update instruction_analysis to support nias and instruction kind | Christopher Pulte | |
| 2016-09-07 | push some lem pp changes | Christopher Pulte | |
| 2016-09-02 | Extend type checking so that patterns with vector concatenation don't permit ↵ | Kathy Gray | |
| under specified vector lengths (at least for function patterns) Extend interpreter interface to have a function for Christopher's instruction analysis | |||
| 2016-08-18 | move register_base_name and slice_of_reg_name from ppcmem thread semantics ↵ | Christopher | |
| to interp_interface, fix reg_name comparison and equality | |||
| 2016-08-17 | tuple assignment now implemented so (a,b) := foo() will now work | Kathy Gray | |
| 2016-08-17 | Fix pattern match bug in interp where vector accesses were using the wrong ↵ | Kathy Gray | |
| start index | |||
| 2016-08-14 | Add missing case to replicate | Kathy Gray | |
| 2016-08-14 | Start adding form for (a,b,c) := foo() | Kathy Gray | |
| Not working yet | |||
| 2016-08-10 | Missing case in lib | Kathy Gray | |
| 2016-08-10 | Fix sizeof code generation to look at parameter bounds | Kathy Gray | |
| 2016-08-09 | More fixes to resolving nat variables across cases | Kathy Gray | |
| 2016-08-08 | Fix bug in type checker that ignored some pattern's constraints; fix second ↵ | Kathy Gray | |
| bug that didn't cope properly with flow sensitive analysis across more than two case branches. | |||
| 2016-08-06 | Add duplicate_bits to lib | Kathy Gray | |
| Pull Peter's changes to interp_interface back into the primary repo | |||
| 2016-08-05 | Fix list parsing and empty vector parsing | Kathy Gray | |
| Add div to library functions | |||
| 2016-07-28 | Banish exit from the mips/cheri sail except at end of SignalException ↵ | Robert Norton | |
| function. There is a plan to replace this syntax with something more understandable. Should make no functional difference using sequential interpretor but will need to do some work on exception functions when integrating with ppcmem so that it know register writes are exceptional etc. | |||
| 2016-07-27 | Add a function 'not' to the library with type bit -> bit | Kathy Gray | |
| 2016-07-26 | Fix incomplete match warning in run_with* | Robert Norton | |
| 2016-07-26 | Increase size of TLB to 64 entries. In theory this should improve FreeBSD ↵ | Robert Norton | |
| boot time by reducing TLB misses but an apparent reduction in IPS counteracts this. Makes use of foreach and return to implement tlbSearch. | |||
| 2016-07-26 | And fix abbrev oversite in interpreter | Kathy Gray | |
| 2016-07-26 | Fix type abbreviation support oversight | Kathy Gray | |
| 2016-07-26 | Add minimal support for emulated Altera JTAG UART. | Robert Norton | |
| 2016-07-26 | Add support for loading a raw binary file at given location in memory prior ↵ | Robert Norton | |
| to sequential simulation. This is needed for booting FreeBSD where a minimal bootloader (simboot.elf) runs before jumping into the kernel loaded in memory. | |||
| 2016-07-25 | win | Kathy Gray | |
| 2016-07-25 | one more go | Kathy Gray | |
| 2016-07-25 | Actually fix stack for return | Kathy Gray | |
| 2016-07-25 | Fix stack for return | Kathy Gray | |
| 2016-07-25 | Support return in interpreter pretty printer (also fix typo for default case) | Kathy Gray | |
| 2016-07-25 | auto coerce to bit vector from bit | Kathy Gray | |
| pretty print lret effects into lem | |||
| 2016-07-24 | Make sure that all type constructors with unit type have a type union with ↵ | Kathy Gray | |
| just an id (hopefully fixes Christopher issue). | |||
| 2016-07-23 | Add effect annotation for return, and actually keep a return after type check. | Kathy Gray | |
| 2016-07-23 | Add a return exp form to Sail, supported in type checker and in interpreter. | Kathy Gray | |
| TODO: add an event for a return so that rewriters can find and remove them as needed for OCaml and Lem | |||
| 2016-07-20 | Make rewriter understand type abbreviations for removing internal_exp instances | Kathy Gray | |
| 2016-07-13 | fixes | Christopher | |
| 2016-07-12 | sail-to-lem and lem library fixes | Christopher | |
| 2016-07-01 | Add missing case to arith_op_no0 | Kathy Gray | |
| Add type refinement to arm spec | |||
| 2016-06-20 | Fix error in type checker that put some constraints wrongly into conditional ↵ | Kathy Gray | |
| constraints, breaking power. Also improve reporting of contract constraints, but then turn them off :( to allow power to compile. | |||
| 2016-06-07 | Fix issue in accessing fields and slices of registers during translate address | Kathy Gray | |
| 2016-06-07 | add a test for failing TLB translation during instruction fetch. | Robert Norton | |
| 2016-06-06 | remove mips test elf files no longer expected to work due to having ↵ | Robert Norton | |
| incorrect LMA values (since sail interpreter now translates PC addresses). | |||
| 2016-06-06 | add test for failing tlb translation using current sail. | Robert Norton | |
| 2016-06-03 | Fix bug exposed/introduced by properly handling vector starts in the type ↵ | Kathy Gray | |
| checker | |||
| 2016-06-03 | Change path inside sail Makefile to look for sail directory instead of l2 | Kathy Gray | |
| 2016-06-03 | turn off debug print statements | Kathy Gray | |
| 2016-06-03 | Mips file: removed some unnecessary parenthesis | Kathy Gray | |
| Interp: trying to add some debugging to isolate bug | |||
| 2016-06-03 | Add test demonstrating recently introduced regression where tlb match fail. | Robert Norton | |
| 2016-06-02 | Fix most_significant case omission | Kathy Gray | |
| 2016-06-02 | Get widening right now that it matters | Kathy Gray | |
| 2016-06-02 | improve constraint range checking | Kathy Gray | |
| 2016-05-27 | Fix parsing of sizeof and some printing issues with let | Kathy Gray | |
| 2016-05-27 | small change to comment printing | Kathy Gray | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |