summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2015-06-18Consistent handling of constructors with no parametersKathy Gray
2015-06-17fix missed pattern caseKathy Gray
2015-06-17Extend mode and external memory functions with endian flagKathy Gray
2015-06-16Incorporate comments from Peter.Kathy Gray
2015-06-16Fix omissions in nexp normalisation causing constraints not to be checked.Kathy Gray
2015-06-15Fix strange resulting type for functions with val spec, favouring the declare...Kathy Gray
2015-06-10Make quantified types work in structs, resolving issue #7.Kathy Gray
2015-06-10Put missing cases into nexp_eq_checkKathy Gray
2015-06-09Too hasty removal; still used by trans_sail.genKathy Gray
2015-06-09remove superfluous num_to_bits; replaced by bit_list_of_integerKathy Gray
2015-06-09support exit/escape out of the interfaceKathy Gray
2015-06-09Fix error in building register valuesKathy Gray
2015-06-08keeping tainted values in functionally updating recordsKathy Gray
2015-06-07Fix instruction extractorKathy Gray
2015-06-06append vectors with proper length for dec caseKathy Gray
2015-06-05Manually turn negative nat values to 0 instead of letting Lem use an abs call...Kathy Gray
2015-06-05Fix issue #5Kathy Gray
2015-06-05small variable renaming for Isabellecp526
2015-06-05slight change of binary_taint for Isabellecp526
2015-06-04reduce number of unknown identifiers and get one step closer to actually deco...Kathy Gray
2015-06-03make string functions used to UI and debugging output empty strings for theor...cp526
2015-06-02changes to compare and equality instances to make lem generate isabelle outputcp526
2015-06-02Fix errors around ARM not being able to decode due to instruction_extractor b...Kathy Gray
2015-05-28fix pattern matching bug on concatenated vectorsKathy Gray
2015-05-26small bug fixesKathy Gray
2015-05-19Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Shaked Flur
2015-05-19avoid the use of Str.regexp as it breaks js_of_ocamlShaked Flur
2015-05-19Add signed and unsigned functions, converting bit vectors to appropriate numb...Kathy Gray
2015-05-18Match cases better in bit vector printing (i.e. allow undef, and taint)Kathy Gray
2015-05-18expand unsigned comparisonsKathy Gray
2015-05-18Add equality check for addressesKathy Gray
2015-05-18Add comparison for addressKathy Gray
2015-05-17extend a missing caseKathy Gray
2015-05-16extend a missing caseKathy Gray
2015-05-16Fix bug where undef was blown up to fill the full register on a field assignmentKathy Gray
2015-05-16Fix vector field type annotation errorKathy Gray
2015-05-15actually match depend effect in has_effect functionKathy Gray
2015-05-13Add dynamic footprint dependency check event/outcomeKathy Gray
2015-05-05allow undefined in mask for sizeKathy Gray
2015-05-05continue moving closer to better Gt Lt constraint checksKathy Gray
2015-05-01Fix pattern match bug with enumerated valuesKathy Gray
2015-05-01Change interpreter interface to support ppcmem2's view of vectors as always i...Kathy Gray
2015-04-22Fix some interpreter bugs preventing ARM instructions from making progressKathy Gray
2015-04-17remove old elf sourcesKathy Gray
2015-04-14Fix bug showing up in power.sail's compilation to Lem causing unknown values ...Kathy Gray
2015-04-14Get power.sail compiling to Lem againKathy Gray
2015-04-08Fixes to make arm spec build againKathy Gray
2015-04-08Fixes for power compilation reworkingKathy Gray
2015-04-08makefile changes to keep up with lem ocaml-lib changesKathy Gray
2015-04-07Move interpreter to zarithKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 09:31:32 +0000