summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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-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-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-03Rename TranslateAddress to TranslatePC and remove the accessType argument -- ...Robert Norton
2017-03-30Make length function return big_intRobert 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-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-02tweak commentsPeter Sewell
2017-02-14remove the -i optionPeter Sewell
2017-02-14tidy command-line optionsPeter 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-05command-line option to dump initial type environmentPeter Sewell
2017-02-03replace bit vector return types in getCapX functions with equivalent integer ...Robert Norton
2017-02-03fix headersPeter Sewell
2017-02-03licensingPeter Sewell
2017-02-01document coercionsPeter Sewell
2017-02-01fix up uint type boundsKathy Gray
2017-01-31Kathy, Peter: pp of initial type environmentPeter Sewell
2017-01-27fix right shiftKathy Gray
2017-01-27failing test with c128Robert Norton
2017-01-26c128: xor E with 48 when storing in memory so that null cap is all zeros but ...Robert Norton
2017-01-26christopher, kathy, peter: hacky experiment on nias_of_instructionPeter Sewell
2017-01-25Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailKathy Gray
2017-01-25Make interpreter a little more flexible on the format of a register type to m...Kathy Gray
2017-01-25merge cheri 256 and 128 together factoring out differing parts into separate ...Robert Norton
2017-01-25Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailKathy Gray
2017-01-25Make vector equality remember about the possibility of unknown valuesKathy Gray
2017-01-24Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2017-01-24functionality for comparing handwritten analysis function with exhaustive int...Christopher Pulte
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:51:59 +0000