summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2017-03-24Print tracking information for V_track, hopefully fix extern_vector_value, fi...Christopher Pulte
2017-03-23the interpreter/shallow expects little-endian memory-valuesShaked Flur
2017-03-15rename "manual.tex" to "type_system.tex"Peter Sewell
2017-03-15add manual and update READMEPeter Sewell
2017-03-02tweak commentsPeter Sewell
2017-02-25wibPeter Sewell
2017-02-20slight refactoring of the fast representable bounds check to aid understandin...Robert Norton
2017-02-17use fast representable check for csetoffset as well as cincoffset.Robert Norton
2017-02-14remove the -i optionPeter Sewell
2017-02-14tidy command-line optionsPeter Sewell
2017-02-13wibPeter Sewell
2017-02-13make syntax typeset in manual in ASCII-friendly style rather than usingPeter Sewell
2017-02-13tidyingPeter Sewell
2017-02-13tidyingPeter Sewell
2017-02-10wibPeter Sewell
2017-02-10Don't update EPCC if EXL is already set.Robert Norton
2017-02-10wibPeter Sewell
2017-02-10tidy l2.ottPeter Sewell
2017-02-09wibPeter Sewell
2017-02-09group initial type environment into meaningful sections; pretty-print in user...Peter Sewell
2017-02-09tweak pp of initial type environment and l2.ott commentsPeter Sewell
2017-02-08put back the header into Sail_impl_baseChristopher Pulte
2017-02-08pull in Shaked's type class instance changes, fix Ord and Eq instancesChristopher Pulte
2017-02-08Implement fast representable bounds check as used on FPGA (cincoffset only so...Robert Norton
2017-02-08Simplify unsigned vector comparison using <_u operator.Robert Norton
2017-02-05command-line option to dump initial type environmentPeter Sewell
2017-02-05Merge branch 'master' of bitbucket.org:Peter_Sewell/sailPeter Sewell
2017-02-05wibPeter Sewell
2017-02-03fix header dates in new file.Robert Norton
2017-02-03replace bit vector return types in getCapX functions with equivalent integer ...Robert Norton
2017-02-03Now that 128-bit capabilities are supported we must be stricter about MIPS al...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 11:17:05 +0000