summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-09towards buildability - l2.ml and l2_parse.ml as regenerated with current OttPeter Sewell
2015-05-09use less confusing Ott binaryPeter Sewell
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
2015-03-31Fix int -> nat bug. Now something with type int cannot be used as something o...Kathy Gray
2015-03-26Turn off all the debugging printfsKathy Gray
2015-03-26Add subtraction to nexp grammar (removing the need to do a + (-1 * b))Kathy Gray
2015-03-19Begin adding new information to constraints to get tightness of bounds properlyKathy Gray
2015-03-19added constructors for aarch64 read_kind and write_kindShaked Flur
2015-03-18Handle type/kind variables in val spec vs function declaration as equal, alth...Kathy Gray
2015-03-18Use boolean on write where applicableKathy Gray
2015-03-17Correct directionality in interpreter. Now the interpreter shouldn't use inc ...Kathy Gray
2015-03-15oops, last one broke power's build. this fixes itKathy Gray
2015-03-15Many changes:Kathy Gray
2015-03-04Fix off-by-one constraint error on vector to number coercionsKathy Gray
2015-02-27Fix a series of errors leading to the first ARM instruction not running.Kathy Gray
2015-02-25Fix rewriting tag bugKathy Gray
2015-02-25and catch a printfKathy Gray
2015-02-25Stop losing constraints due to incorrectly calculating their sizeKathy Gray
2015-02-24Fix lem printingKathy Gray
2015-02-24Turn off the printfs left in from previous debuggingKathy Gray
2015-02-24Fix bug where type parameters weren't pushing down into the body of a functio...Kathy Gray
2015-02-24Overloading formal relationKathy Gray
2015-02-18All existing type rules in line with implementation (and no more red)Kathy Gray
2015-02-18Fix dependency generation when type variable appears in a vector length positionKathy Gray
2015-02-18expression type checking inline with rules, lexp still out of date; overloadi...Kathy Gray
2015-02-17actually support string typesKathy Gray
2015-02-17Bring type rules more into modern state of type checkerKathy Gray
2015-02-14Fix another failure to keep tracking rreg effects.Kathy Gray
2015-02-13Fix error of not keeping register reads when they're accessed via a fieldKathy Gray
2015-02-13Actually use new dependency information in generation of lem/etc.Kathy Gray
2015-02-06Fix error in type internal stopping idlarm from buildingKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-10 09:08:31 +0000