summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2016-03-30Small missing cases in patternsKathy Gray
2016-03-16more small fixesKathy Gray
2016-03-16add def to full lexerKathy Gray
2016-03-16Mistake in pre lexer fixedKathy Gray
2016-03-16Fix case of missing undef options in compareKathy Gray
2016-03-10small bug in is_one tag fixedKathy Gray
2016-03-09Refine previous fix... tags can be subtle :(Kathy Gray
2016-03-09add elf file with capability instructionsRobert Norton
2016-03-09Fix tag error on register as function parameterKathy Gray
2016-03-08missing file from last commitKathy Gray
2016-03-08Return undefined value on reads of uninitialised memoryKathy Gray
2016-03-08Fix error in handling type abbreviations in LEXP type checkerKathy Gray
2016-03-08Start task of setting up tagged memory in sequential interpreterKathy Gray
2016-03-08add beginnings of cheri sail for kathy to do some debugging.Robert Norton
2016-03-07Split mips.sail into three file and make use of the new -o option in preparat...Robert Norton
2016-03-03Fix typo in manual which had true instead of false on assert documentationKathy Gray
2016-03-02Add new language feature to permit definitions of items of kind Nat, etc as w...Kathy Gray
2016-02-24Small mixups to get the initial check infrastructure working for full ast pro...Kathy Gray
2016-02-23Several fixesKathy Gray
2016-02-11point to lem and linksem embedded versions of libraries instead of relying on...Robert Norton
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-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-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-02mips.sail: add an 'inBranchDelay' register so that SignalException can set co...Robert 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-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-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
2016-01-27Make mips build againKathy Gray
2016-01-27Fix issue where constraint solver wasn't rewriting enough equality constraint...Kathy Gray
2016-01-27start adding breakpointKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 19:52:57 +0000