| Age | Commit message (Expand) | Author |
|---|
| 2017-04-20 | more library optimisation. Implement int_of_bit_array using shift, avoiding n... | Robert Norton |
| 2017-04-20 | implement vector subrange using Array.sub for approx 10% speedup. | Robert Norton |
| 2017-04-20 | attempt to optimise performance if not tracing writes. | Robert Norton |
| 2017-04-20 | add missing min and max functions, overriding built-in ocaml ones. Also neq_r... | Robert Norton |
| 2017-04-20 | add name to register representation and print it on write. | Robert Norton |
| 2017-04-18 | fix definition of mask -- Vregister and VvectorR were swapped. | Robert Norton |
| 2017-04-18 | Implement return using an exception caught in the function body. Polymorphic ... | Robert Norton |
| 2017-04-07 | fix error in generated ocaml where writing single bit of register was not tak... | Robert Norton |
| 2017-04-07 | implement quot and mod with truncation towards zero which is not the ocaml wa... | Robert Norton |
| 2017-04-07 | simplify xor using ocaml <> operator which also has the advantage of being mo... | Robert Norton |
| 2017-04-06 | minor changes in sail_values.ml to aid debugging | Robert Norton |
| 2017-04-06 | fix incorrect use of == in eq | Robert Norton |
| 2017-04-06 | implement exts and extz as manipulations on bit vectors rather than convertin... | Robert Norton |
| 2017-04-06 | Implement exit by raising Sail_exit exception | Robert Norton |
| 2017-03-30 | Make length function return big_int | Robert Norton |
| 2017-03-28 | temporary fix for problem duplicate (lack of direction) -- assume decreasing ... | Robert Norton |
| 2017-03-28 | Fix erroneous bitwise xor. | Robert Norton |
| 2017-03-27 | fix bitshift operators. I think these should be independent of vector order... | Robert Norton |
| 2017-03-27 | Fix broken to_vec of negative values. Old code was a bit confused. Probably p... | Robert Norton |
| 2017-03-24 | Checkpoint work-in-progress mips sequential interpreter using ocaml shallow e... | Robert Norton |
| 2017-03-24 | changes to ocaml pp to allow mips->ocaml to compile | Robert Norton |
| 2017-03-24 | Print tracking information for V_track, hopefully fix extern_vector_value, fi... | Christopher Pulte |
| 2017-03-23 | the interpreter/shallow expects little-endian memory-values | Shaked Flur |
| 2017-01-12 | Adding sample generated power file | Kathy Gray |
| 2016-12-09 | sail changes for making lem embedding Isabelle-friendlier | Christopher Pulte |
| 2016-11-30 | shallow embedding fix, rename 'copy' to 'reset_vector_start', don't print sha... | Christopher Pulte |
| 2016-11-30 | add new barrier kind for MIPS (only one for now). | Robert Norton |
| 2016-11-27 | make outcome_s contain the instruction state pretty print rather than the ins... | Christopher Pulte |
| 2016-11-15 | wrap state monad into list monoad for non-deterministic write exclusive opera... | Christopher Pulte |
| 2016-11-14 | add option -lem_sequential for producing shallow embedding that refers to sta... | Christopher Pulte |
| 2016-11-10 | rewrite state.lem | Christopher Pulte |
| 2016-11-08 | fixes | Christopher Pulte |
| 2016-11-07 | factor out regfp analysis types into etc/regfp.sail | Christopher Pulte |
| 2016-11-05 | fixes | Christopher Pulte |
| 2016-11-02 | shallow embedding library fixes, logfile pp fixes | Christopher Pulte |
| 2016-10-28 | shallow embedding progress | Christopher Pulte |
| 2016-10-27 | more shallow embedding fixes | Christopher Pulte |
| 2016-10-26 | shallow embedding fixes | Christopher Pulte |
| 2016-10-25 | shallow embedding fixes | Christopher Pulte |
| 2016-10-24 | fixes, check in Shaked's sail_impl_base changes | Christopher Pulte |
| 2016-10-22 | fixes, Interp.value printing for debugging | Christopher Pulte |
| 2016-10-21 | shallow embedding progress | Christopher Pulte |
| 2016-10-19 | typeclass instances for converting between shallow and deep embedding | Christopher Pulte |
| 2016-10-11 | move armv8_extras and power_extras to idl/power and idlarm, fixes | Christopher Pulte |
| 2016-10-10 | changed the way registers/register fields work, fixes, nicer names for new le... | Christopher Pulte |
| 2016-10-06 | move type definitions that both interpreter and shallow embedding use to sail... | Christopher Pulte |
| 2016-09-30 | fixes, update isntruction_analysis for NIAs and DIA | Christopher Pulte |
| 2016-09-26 | minor changes | Christopher Pulte |
| 2016-09-26 | nicer lem output: fewer unnecessary letbinds, monad binds and returns | Christopher Pulte |
| 2016-09-25 | nicer lem output: no more unecessary 'unit' returns if if-expressions, for-lo... | Christopher Pulte |
