| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2015-01-21 | turn negative numbers into 0-n in Lem ast backend | Kathy Gray | |
| 2015-01-20 | Fix sparse vector fupdate slicing, assigning values in the right order and ↵ | Kathy Gray | |
| with the correct bit number | |||
| 2015-01-19 | Add an overload for - for vec x vdc -> range | Kathy Gray | |
| 2015-01-17 | update division | Kathy Gray | |
| 2015-01-16 | more for loop corrections, as well as pattern match error | Kathy Gray | |
| 2015-01-15 | signed subtraction | Kathy Gray | |
| 2015-01-15 | Fix for loop error causing premature stopping | Kathy Gray | |
| 2015-01-15 | Add support for overflow detecting subtraction | Kathy Gray | |
| 2015-01-14 | correct where overflow checking should happen on multiplication arithmetic | Kathy Gray | |
| 2015-01-14 | correct wrongly used variable in arith operations | Kathy Gray | |
| 2015-01-14 | more carry out | Kathy Gray | |
| 2015-01-14 | carry out | Kathy Gray | |
| 2015-01-12 | Add specialised support for numeric singleton types (i.e. what used to be ↵ | Kathy Gray | |
| range<'N,'N>) Non-sugar syntax is -- forall Nat 'N. atom<'N> Sugar syntax is -- [: 'N :] Also begin adding pp support for generating ocaml from ast types. | |||
| 2014-12-19 | Support returning registers from functions, as with putting registers in ↵ | Kathy Gray | |
| vectors; and allow the result to access fields of registers where applicable. | |||
| 2014-12-18 | Fix subtraction with integer type | Kathy Gray | |
| 2014-12-18 | Add negative literals such as -1. WARNING may not generate valid lem in the ↵ | Kathy Gray | |
| presence of negative literals | |||
| 2014-12-18 | Bring interpreter upto date with current Lem | Kathy Gray | |
| 2014-12-16 | Fix bug on nat/type/order/effect variable binding | Kathy Gray | |
| Fix bug allowing function types in too many places | |||
| 2014-12-11 | Add 2 ** n function; support providing type variables to other files when lexing | Kathy Gray | |
| 2014-12-11 | Change compare of two big ints to compare_big_int | Kathy Gray | |
| 2014-12-11 | turn back off debugging printf | Kathy Gray | |
| 2014-12-11 | fix error with type int and subtraction | Kathy Gray | |
| 2014-12-11 | Carry out change | Kathy Gray | |
| 2014-12-11 | Many fixes, primarily dealing with undefined | Kathy Gray | |
| Including: turn an undefined literal into a vector of undefined values of the correct length handle sparse vector unspecified default values as undefined literals allow global lets to call library functions | |||
| 2014-12-10 | Fix neg | Kathy Gray | |
| 2014-12-10 | Fix fromJust of Nothing error in multiplication | Kathy Gray | |
| 2014-12-10 | Support splitting sail definition across multiple files | Kathy Gray | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |