| Age | Commit message (Expand) | Author |
|---|
| 2014-11-20 | Handle constructors with zero parameters better. | Kathy Gray |
| 2014-11-20 | Set vector start for more register writes | Kathy Gray |
| 2014-11-20 | set more vector starts before sending them off to register writes | Kathy Gray |
| 2014-11-20 | look for sub matches of registers on exhaustive mode | Kathy Gray |
| 2014-11-19 | more equality instance definitions | Kathy Gray |
| 2014-11-19 | add value compare functions | Kathy Gray |
| 2014-11-19 | add byte_list_of_integer | Kathy Gray |
| 2014-11-19 | print sparse vectors | Kathy Gray |
| 2014-11-19 | Correct off-by-one bug in type checking vector slices | Kathy Gray |
| 2014-11-18 | fix bad type annotation in interp_interface | Peter Sewell |
| 2014-11-18 | wib | Kathy Gray |
| 2014-11-18 | Add missing cases to printing_functions printing of interp_values | Kathy Gray |
| 2014-11-18 | Actually expect barriers to happen | Kathy Gray |
| 2014-11-18 | Fix countLeadingZeroes typo (diff in number of es present) | Kathy Gray |
| 2014-11-18 | Fix various pattern match bugs; add a few functions | Kathy Gray |
| 2014-11-17 | Use red printing for the value in the hole from Printing_functions instead of... | Kathy Gray |
| 2014-11-17 | Make env_union intelligently join two environments instead of just list append. | Kathy Gray |
| 2014-11-17 | wib | Peter Sewell |
| 2014-11-16 | Add some missing functions | Kathy Gray |
| 2014-11-16 | Add overflow checking arithmetic operations. Fix various bugs that this exposed | Kathy Gray |
| 2014-11-13 | numbers got to big for show, write my own version | Kathy Gray |
| 2014-11-13 | Catch more cases of registers for extern_reg | Kathy Gray |
| 2014-11-13 | Set start index on bits in extern_value | Kathy Gray |
| 2014-11-12 | ; -> , | Peter Sewell |
| 2014-11-12 | Add a function to print local variables and values, local_variables_to_string | Kathy Gray |
| 2014-11-11 | remove [ and ] from values in the hole | Kathy Gray |
| 2014-11-10 | Print contents of the [_] hole when it's available. | Kathy Gray |
| 2014-11-08 | make pp of Bitvector values of widths 1,2,4, or 8 bytes be in hex (but includ... | Peter Sewell |
| 2014-11-07 | Add integer_of_byte_list : list word8 -> integer | Kathy Gray |
| 2014-11-07 | stop using LEMLIB in makefile, in case that's interfering with lem library pl... | Kathy Gray |
| 2014-11-07 | typo | Kathy Gray |
| 2014-11-07 | more num_to_bits | Kathy Gray |
| 2014-11-07 | Put back old num_to_bits temporarily; add in a num_to_bits_correct that treat... | Kathy Gray |
| 2014-11-07 | Fix types in num_to_bits | Kathy Gray |
| 2014-11-06 | Refactor printing to display the contents the [_] and to better format bit ve... | Kathy Gray |
| 2014-11-05 | Correct bug treating unsigned values as signed in arith operations | Kathy Gray |
| 2014-11-05 | Fix bug on decoding Sc | Kathy Gray |
| 2014-11-05 | add type class instantiations (required as reg_name currently contains big_ints) | Peter Sewell |
| 2014-11-05 | fix(?) a Big_int/int type error wrt trans_sail | Peter Sewell |
| 2014-11-04 | Merge branch 'master' of bitbucket.org:Peter_Sewell/l2 | Peter Sewell |
| 2014-11-04 | proposed split of decode into decode-to-instruction and instruction-to-instru... | Peter Sewell |
| 2014-11-04 | Read parts of a register, not always just the whole thing | Kathy Gray |
| 2014-11-04 | K,P debugging | Peter Sewell |
| 2014-11-04 | Fixes bugs: | Kathy Gray |
| 2014-11-04 | Fix setting of initial position in a vector after a slice | Kathy Gray |
| 2014-11-04 | K,P better instruction pp | Peter Sewell |
| 2014-11-03 | pp of initial index of bitvector | Peter Sewell |
| 2014-11-03 | kathy,christopher,peter: talking about bitvectors and sc calls | Peter Sewell |
| 2014-11-01 | extend interface | Peter Sewell |
| 2014-10-31 | Add a num to bits function; start hooking up the power.ml file to the symbol/... | Kathy Gray |
