summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-02-26tweak READMEPeter Sewell
2016-02-25A bit better readmeKathy Gray
2016-02-25Expand what advice and information is in the manual slightlyKathy Gray
2016-02-25Add the manual, such as it is, for others to be able to use and have without ...Kathy Gray
2016-02-25Restore manual.tex mysteriously deleted by peter in May 2015.Robert Norton
2016-02-25Update read me to the present day and cause the makefile from the top level d...Kathy Gray
2016-02-25Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Peter Sewell
2016-02-25defunct commitPeter Sewell
2016-02-24Small mixups to get the initial check infrastructure working for full ast pro...Kathy Gray
2016-02-23Make small tweaks to emacs modeKathy Gray
2016-02-23Several fixesKathy Gray
2016-02-11mips.sail: add cast to bit to work around type error recently introduced by o...Robert Norton
2016-02-11point to lem and linksem embedded versions of libraries instead of relying on...Robert Norton
2016-02-11fix some bugs in emacs mode for sail; mostly workable now although there's so...Kathy Gray
2016-02-11Begin adding some new library functions like absolute valueKathy Gray
2016-02-11use paths relative to current makefile for lem and linksem.Robert Norton
2016-02-10mips.sail: make unimplemented/non-existent throw a reserved instruction excep...Robert Norton
2016-02-10mips.sail: add mfc0 support for some cp0 registers even though they aren't pr...Robert Norton
2016-02-10mips.sail: use exit whenever SignalException is called.Robert Norton
2016-02-09fix scattered type union source printingKathy Gray
2016-02-08slightly clean up vector type printing and empty effect printing for functionsKathy Gray
2016-02-05fix typo in kathy's last commit.Robert Norton
2016-02-05change signed mod behaviour for numbers to match that of vectorsKathy Gray
2016-02-04Cast to int in DIV instructions to avoid weird undefined results from vector ...Robert Norton
2016-02-04mips.sail: don't set HI and LO to undefined on MUL but just leave them as the...Robert Norton
2016-02-04fix pretty printing of new mod_sRobert Norton
2016-02-04add mod_s to lexer and parserKathy Gray
2016-02-04Add mod_sKathy Gray
2016-02-04add forgotten lib bindingKathy Gray
2016-02-04and for quot_sKathy Gray
2016-02-04Relax constraints on quot temporarily since it was prohibiting negative numbe...Kathy Gray
2016-02-03mips: finish implementing address translation on instruction fetch and remove...Robert Norton
2016-02-03mips: add support for LLAddr, a debug register used for ll/sc. Also add missi...Robert Norton
2016-02-03add example of elf file which fails to load due to linksem error: get_elf64_g...Robert Norton
2016-02-03mips_extras.lem: fix typo in spelling of MEM_sync.Robert Norton
2016-02-02mips.sail: workaround for sail bugRobert Norton
2016-02-02mips.sail: add an 'inBranchDelay' register so that SignalException can set co...Robert Norton
2016-02-02mips.sail: TranslateAddress hack maps all xkphys addresses to 0x9... regionRobert Norton
2016-02-02Print out the address of the instruction running in sequential interpreterKathy Gray
2016-02-02Get mips stuff hooked up with translate address.Kathy Gray
2016-02-02add translate_address functionalityKathy Gray
2016-02-01mips.sail: fix mfc0 of config register.Robert Norton
2016-02-01mips.sail: fix decode of trap instructions.Robert Norton
2016-02-01mips.sail: workaround oddness in comparison in MOVN and MOVZ. sail bug?Robert Norton
2016-02-01mips.sail: add support for BadVaddr CP0 register.Robert Norton
2016-02-01mips.sail: fix decoding of BEQL instruction.Robert Norton
2016-02-01mips.sail: fix compilation error in mfc0 causeRobert Norton
2016-01-29mips.sail: further filling out CP0 behaviour getting exceptions to sort of wo...Robert Norton
2016-01-29fix typo in kathy's last commit.Robert Norton
2016-01-29Put correct tags on to_vec callsKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 12:26:23 +0000