summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-04-13Put in a cast into sltiKathy Gray
2016-04-13cheri supporting run with elfKathy Gray
2016-04-13Remove some warnings, in progress.Kathy Gray
2016-04-13add failing test from cheri test suite.Robert Norton
2016-04-12Change structure of n unification variables into doubly linked list. Remove b...Kathy Gray
2016-04-12Reduce warnings for interpreter. Removed all pattern match warnings for inter...Kathy Gray
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-09cheri sail: introduce functions for casting from cap. register to cap. struct...Robert Norton
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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-10 01:02:42 +0000