summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-04-20return zero for uninitialised memory in ocaml shallow embedding model. Necess...Robert Norton
2017-04-20add support for tagged memory functions in mips_extras_mlRobert Norton
2017-04-20XXX remove pattern match not handled correctly by ocaml embedding.Robert Norton
2017-04-20attempt to optimise performance if not tracing writes.Robert Norton
2017-04-20add missing min and max functions, overriding built-in ocaml ones. Also neq_r...Robert Norton
2017-04-20add missing KD_nabbrev support in ocaml shallow embedding.Robert Norton
2017-04-20support assert in ocaml shallow embedding.Robert Norton
2017-04-20use mangled field name when accessing record field.Robert Norton
2017-04-20add name to register representation and print it on write.Robert Norton
2017-04-18change to spec. of CLC instruction -- clear tag instead of exception if permi...Robert Norton
2017-04-18add workaround for sail shallow embedding problem concerning semantisc of reg...Robert Norton
2017-04-18make ocaml embedding of foreach use (now universal) big_ints.Robert Norton
2017-04-18fix definition of mask -- Vregister and VvectorR were swapped.Robert Norton
2017-04-18Implement return using an exception caught in the function body. Polymorphic ...Robert Norton
2017-04-18remove debug print.Robert Norton
2017-04-18Generate runtime error for L_undef. Existing code was broken except for type ...Robert Norton
2017-04-18added transactional memory supportShaked Flur
2017-04-07fix error in generated ocaml where writing single bit of register was not tak...Robert Norton
2017-04-07implement quot and mod with truncation towards zero which is not the ocaml wa...Robert Norton
2017-04-07simplify xor using ocaml <> operator which also has the advantage of being mo...Robert Norton
2017-04-07read from uninitialsed memory returns undef (required to pass test_raw_cache_...Robert Norton
2017-04-06Merge branch 'master' of bitbucket.org:Peter_Sewell/sailPeter Sewell
2017-04-06typesetting tt vs non-ttPeter Sewell
2017-04-06use set_register when writing element of vector of registers to avoid acciden...Robert Norton
2017-04-06add support for address translation and exit handling in mips ocaml shallow e...Robert Norton
2017-04-06minor changes in sail_values.ml to aid debuggingRobert Norton
2017-04-06Model now assumes memory is little endian so adjust extras file accordingly.Robert Norton
2017-04-06Print registers in test suite compatible way.Robert Norton
2017-04-06fix incorrect use of == in eqRobert Norton
2017-04-06implement exts and extz as manipulations on bit vectors rather than convertin...Robert Norton
2017-04-06Implement exit by raising Sail_exit exceptionRobert Norton
2017-04-06fix typesetting of standalone grammar documentPeter Sewell
2017-04-03Rename TranslateAddress to TranslatePC and remove the accessType argument -- ...Robert Norton
2017-03-30Make length function return big_intRobert Norton
2017-03-30Fix to csetboundsexact (was untested, same fix previously applied to csetboun...Robert Norton
2017-03-30Apparently the tag is on the other end following endianness change so include...Robert Norton
2017-03-29change reqiured to work with little endian interpreter.Robert Norton
2017-03-29Factor out pretty printers into separate files. Hopefully this will make sear...Robert Norton
2017-03-28temporary fix for problem duplicate (lack of direction) -- assume decreasing ...Robert Norton
2017-03-28Fix erroneous bitwise xor.Robert Norton
2017-03-27fix bitshift operators. I think these should be independent of vector order...Robert Norton
2017-03-27Fix broken to_vec of negative values. Old code was a bit confused. Probably p...Robert Norton
2017-03-25endianness fixShaked Flur
2017-03-24fixed endiannessShaked Flur
2017-03-24Checkpoint work-in-progress mips sequential interpreter using ocaml shallow e...Robert Norton
2017-03-24changes to ocaml pp to allow mips->ocaml to compileRobert Norton
2017-03-24changes to allow generating ocaml that compiles.Robert Norton
2017-03-24Minor cleanup: remove unnecessary brances and use 'not' iso ~.Robert Norton
2017-03-24Extract CGetLen from cheri sail.Robert Norton
2017-03-24Christopher, Peter: make "run_interp_model.ml" build again (endianness)Peter Sewell
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-30 16:50:34 +0000