summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2017-05-08add some missing things in sail_values and make big_int version the default f...Robert Norton
2017-05-08add error messages for unhandled pattern match nodes in ocaml pretty printer.Robert Norton
2017-05-08put failwith in brackets to avoid parse error.Robert Norton
2017-05-02docPeter Sewell
2017-04-27add command line argument for setting undef values to all zero or all one. So...Robert Norton
2017-04-25optimise to_vec_int because it is used by MEMr to convert each byte to vector.Robert Norton
2017-04-25replace memory representation with map of 1MB pages rather than map of bytes....Robert Norton
2017-04-25remove unused function.Robert Norton
2017-04-25Add support for uart terminal. Also add read_bit_reg function for faster and ...Robert Norton
2017-04-24added register_value_for_regShaked Flur
2017-04-21it turns out zarith has a function for printing big_ints in hex. Remove the d...Robert Norton
2017-04-21define some big_int literals in sail_values.ml to avoid lots of calls to bit_...Robert Norton
2017-04-21Revert change to check in type_check.ml.Alasdair Armstrong
2017-04-21Fixes stack overflow in sail caused by list append in type_internal.ml.Alasdair Armstrong
2017-04-21implement to_vec_big using zarith extract for some speedup.Robert Norton
2017-04-21suppress register field tracing if not enabled (missed in previous commit)Robert Norton
2017-04-21add make variable for setting ocaml compilation options (e.g. set to -p to en...Robert Norton
2017-04-20more library optimisation. Implement int_of_bit_array using shift, avoiding n...Robert Norton
2017-04-20implement vector subrange using Array.sub for approx 10% speedup.Robert Norton
2017-04-20remove unnecessary lemlib include in compile.Robert Norton
2017-04-20add support for cheri128 ocaml shallow embeddingRobert Norton
2017-04-20add brackets around integer literals so that ocaml parses them correctly and ...Robert Norton
2017-04-20build a single run_embed.native with mips and cheri models linked and choose ...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-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-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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 15:56:01 +0000