summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2016-01-29mips.sail: it turns out that all sail comparisons are signed contrary to manu...Robert Norton
2016-01-28Add test for sltu. Fixed decode function which was returning wrong ast node b...Robert Norton
2016-01-28add test exposing problem with ddiv.Robert Norton
2016-01-28mips.sail: start to fill out TranslateAddress. Change type so that it can be ...Robert Norton
2016-01-28mips.sail: fix infamous lwr and ldr (now pass tests).Robert Norton
2016-01-28mips.sail: fix back-to-front operands of DSLLV.Robert Norton
2016-01-28mips.sail: fix incorrect decode of DSLLVRobert Norton
2016-01-28mips.sail: split store cases by word width as sail needs to know which bit of...Robert Norton
2016-01-28Support exit and assert better in sequential interpreter and general interpre...Kathy Gray
2016-01-27Add --max_instruction to sequential interpreter to permit an upper bound on i...Kathy Gray
2016-01-27Add ability to run to a particular instruction execution numberKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 21:51:36 +0000