| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-05-18 | Add equality check for addresses | Kathy Gray | |
| And fix match failure problem (hopefully) | |||
| 2015-05-18 | Add comparison for address | Kathy Gray | |
| 2015-05-17 | extend a missing case | Kathy Gray | |
| 2015-05-16 | extend a missing case | Kathy Gray | |
| 2015-05-16 | Fix bug where undef was blown up to fill the full register on a field assignment | Kathy Gray | |
| 2015-05-16 | Fix vector field type annotation error | Kathy Gray | |
| 2015-05-15 | actually match depend effect in has_effect function | Kathy Gray | |
| 2015-05-13 | Add dynamic footprint dependency check event/outcome | Kathy Gray | |
| Also fix type checker bug in not reporting modifications to parameter values | |||
| 2015-05-05 | allow undefined in mask for size | Kathy Gray | |
| 2015-05-05 | continue moving closer to better Gt Lt constraint checks | Kathy Gray | |
| 2015-05-01 | Fix pattern match bug with enumerated values | Kathy Gray | |
| 2015-05-01 | Change interpreter interface to support ppcmem2's view of vectors as always ↵ | Kathy Gray | |
| increasing while supporting inc and dec views to the interpreter and in printing Fix bugs exposed by running idlarm several instructions (after fixing above) | |||
| 2015-04-22 | Fix some interpreter bugs preventing ARM instructions from making progress | Kathy Gray | |
| 2015-04-17 | remove old elf sources | Kathy Gray | |
| 2015-04-14 | Fix bug showing up in power.sail's compilation to Lem causing unknown values ↵ | Kathy Gray | |
| where they shouldn't be | |||
| 2015-04-14 | Get power.sail compiling to Lem again | Kathy Gray | |
| 2015-04-08 | Fixes to make arm spec build again | Kathy Gray | |
| 2015-04-08 | Fixes for power compilation reworking | Kathy Gray | |
| 2015-04-08 | makefile changes to keep up with lem ocaml-lib changes | Kathy Gray | |
| 2015-04-07 | Move interpreter to zarith | Kathy Gray | |
| 2015-03-31 | Fix int -> nat bug. Now something with type int cannot be used as something ↵ | Kathy Gray | |
| of type nat (at least not without a >= 0 check) | |||
| 2015-03-26 | Turn off all the debugging printfs | Kathy Gray | |
| 2015-03-26 | Add subtraction to nexp grammar (removing the need to do a + (-1 * b)) | Kathy Gray | |
| Fix up parsing on 2** precedence Fix errors on type variables in function definition | |||
| 2015-03-19 | Begin adding new information to constraints to get tightness of bounds properly | Kathy Gray | |
| 2015-03-19 | added constructors for aarch64 read_kind and write_kind | Shaked Flur | |
| 2015-03-18 | Handle type/kind variables in val spec vs function declaration as equal, ↵ | Kathy Gray | |
| although the function ones are optional | |||
| 2015-03-18 | Use boolean on write where applicable | Kathy Gray | |
| 2015-03-17 | Correct directionality in interpreter. Now the interpreter shouldn't use inc ↵ | Kathy Gray | |
| unless that's the current default or there's no default set in the spec | |||
| 2015-03-15 | oops, last one broke power's build. this fixes it | Kathy Gray | |
| 2015-03-15 | Many changes: | Kathy Gray | |
| Split out specification specific memory and external functions Reduce the presence of big_int Reduce the use of inc direction, instead using a default from the spec. Still a few places need to be parameterised over direction Also some bug fixes exposed by above and running ARM second instruction | |||
| 2015-03-04 | Fix off-by-one constraint error on vector to number coercions | Kathy Gray | |
| 2015-02-27 | Fix a series of errors leading to the first ARM instruction not running. | Kathy Gray | |
| Including: Correct loss of constraints between declared constraints, pattern constraints and expression body constraints Handle insertion of dependent parameters in the case of unit parameters Add a case to how ifields are translated to permit numbers as well as bits and bitvectors Expand interpreter to actually handle user-defined functions on the left had side of the assignment expression. | |||
| 2015-02-25 | Fix rewriting tag bug | Kathy Gray | |
| 2015-02-25 | and catch a printf | Kathy Gray | |
| 2015-02-25 | Stop losing constraints due to incorrectly calculating their size | Kathy Gray | |
| 2015-02-24 | Fix lem printing | Kathy Gray | |
| 2015-02-24 | Turn off the printfs left in from previous debugging | Kathy Gray | |
| 2015-02-24 | Fix bug where type parameters weren't pushing down into the body of a ↵ | Kathy Gray | |
| function for good unification, especially for rewriting | |||
| 2015-02-18 | Fix dependency generation when type variable appears in a vector length position | Kathy Gray | |
| 2015-02-17 | actually support string types | Kathy Gray | |
| 2015-02-14 | Fix another failure to keep tracking rreg effects. | Kathy Gray | |
| 2015-02-13 | Fix error of not keeping register reads when they're accessed via a field | Kathy Gray | |
| 2015-02-13 | Actually use new dependency information in generation of lem/etc. | Kathy Gray | |
| Also stop rewriting code in the pretty printer, instead move it all into a new general rewriting pass | |||
| 2015-02-06 | Fix error in type internal stopping idlarm from building | Kathy Gray | |
| 2015-02-04 | collect and carry around more data for dependency tracking | Kathy Gray | |
| 2015-02-03 | Correct bug in typedef NAME = register bits .... for Dec not present in Inc | Kathy Gray | |
| Also tracking more information to help dependency eventually | |||
| 2015-01-28 | take sign into account on whether a number fits into the number of available ↵ | Kathy Gray | |
| bits or not | |||
| 2015-01-23 | Bring slice vector's type checking into line with what the formal system ↵ | Kathy Gray | |
| says and what the interpreter etc actually expects. (also generate the correct constraints) | |||
| 2015-01-22 | Actually remove minus on negative numbers from Lem output | Kathy Gray | |
| 2015-01-21 | Fix implicit type check error | Kathy Gray | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |