summaryrefslogtreecommitdiff
path: root/src/gen_lib
AgeCommit message (Expand)Author
2017-07-06implement abs function correctly for ocaml shallow embedding.Robert Norton
2017-07-06fix dodgy get_min/max_representable functions. Looks like an attempt at optim...Robert Norton
2017-06-30add more tests for sail library. Can't compile entire file due to sail perfor...Robert Norton
2017-06-22fix three different copies of the hardware_quot function to do proper trucati...Robert Norton
2017-06-22add a 'print' built-in function handy for writing sail tests.Robert Norton
2017-06-21MergeThomas Bauereiss
2017-06-21Pretty-print bitvector expressionsThomas Bauereiss
2017-06-19Fix Show on Lem bitvectorBrian Campbell
2017-06-16Some Isabelle fixes for word version of sail_valuesBrian Campbell
2017-06-15Replace sail_values.lem with Brian's machine word versionThomas Bauereiss
2017-06-14Add a work-in-progress version of sail_values.lemBrian Campbell
2017-06-02Add tag memory to Lem shallow embeddingThomas Bauereiss
2017-05-24fixed missing _tag bitsShaked Flur
2017-05-24Merge branch 'master' of bitbucket.org:Peter_Sewell/sailShaked Flur
2017-05-24added the exmem effect for AArch64 store-exclusiveShaked Flur
2017-05-24it turns out that Zarith has a divide function which does truncation towards ...Robert Norton
2017-05-08add some missing things in sail_values and make big_int version the default f...Robert Norton
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-21define some big_int literals in sail_values.ml to avoid lots of calls to bit_...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-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-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 name to register representation and print it on write.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-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-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-03-30Make length function return big_intRobert 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-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-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-01-12Adding sample generated power fileKathy Gray
2016-12-09sail changes for making lem embedding Isabelle-friendlierChristopher Pulte
2016-11-30shallow embedding fix, rename 'copy' to 'reset_vector_start', don't print sha...Christopher Pulte
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 02:57:45 +0000