summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-05-24it turns out that Zarith has a divide function which does truncation towards ...Robert Norton
2017-05-10Fix type error in CGetLenThomas Bauereiss
2017-05-10Further to Thomas's commit remove the duplicate declarations of max_otype and...Robert Norton
2017-05-10Add stubs for TAGwThomas Bauereiss
2017-05-10Comment out duplicate definitions in cheri_types.sailThomas Bauereiss
2017-05-10Build Cheri_embed_types.thy together with Cheri_embed_sequential.thyThomas Bauereiss
2017-05-08add make rules to (attempt to) build arm and power ml.Robert Norton
2017-05-08add target for building ocaml shallow embed for arm.Robert Norton
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-27avoid out of bounds indicies in cheri128 decompression functions.Robert Norton
2017-04-27also trace memory writes.Robert Norton
2017-04-27remove undefined value from cheri 128 spec. The ocaml shallow embedding canno...Robert Norton
2017-04-27fix incorrect vector index in cheri128 spec. Should ideally have been caught ...Robert Norton
2017-04-27fix cheri128 model referring to wrong registers and not capreg printing.Robert Norton
2017-04-27need brackets around try ... with expression.Robert Norton
2017-04-27add command line argument for setting undef values to all zero or all one. So...Robert Norton
2017-04-27reverse endianness of data when writing UART. Altera jtag uart is little-endi...Robert Norton
2017-04-25extend the try around call to select to avoid gprof crashing with EINTR.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-25Don't die if stdin gets closed (e.g. when running unit tests).Robert Norton
2017-04-25support loading more than one raw file as anonymous arguments so that we can ...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-21remove unnecessary cast in incrementCP0Count (run every instruction) for pote...Robert Norton
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-20work around ocaml shallow embedding problem with matching on big_ints by rest...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-20remove unsed code for elf file loading in run_embed.Robert Norton
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 13:22:55 +0000