| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-04-03 | Typeclass Eq for values | Gabriel Kerneis | |
| Again, this is necessary to compare big_int | |||
| 2014-04-03 | make sail backwards compatible to older ocaml again | Kathy Gray | |
| 2014-04-03 | Do implicit coercions on expliciit casts | Kathy Gray | |
| 2014-04-03 | Fix arity error in bitwise helper function | Kathy Gray | |
| 2014-04-03 | start solving more constraints | Kathy Gray | |
| 2014-04-03 | Exhibit two bugs about bitwise operators and vector casts | Gabriel Kerneis | |
| 2014-04-03 | Correct types of bitwise operators | Gabriel Kerneis | |
| 2014-04-03 | More constraint solving through evaluation, fix size knowledge on coercion. | Kathy Gray | |
| 2014-04-02 | Fix bug that was throwing away the cast telling the interpreter to read a ↵ | Kathy Gray | |
| register | |||
| 2014-04-02 | Solve more constraints; fix up test suite bugs uncovered by solving more ↵ | Kathy Gray | |
| constraints. Clean up Lem output a little for readability while debugging. | |||
| 2014-04-02 | Checking missing cast for register as value in testsuite | Gabriel Kerneis | |
| 2014-04-02 | eq and neq return bit, not bool | Gabriel Kerneis | |
| 2014-04-02 | Fix EXTS and signedness of to_num | Gabriel Kerneis | |
| 2014-04-02 | Update Power model | Gabriel Kerneis | |
| 2014-04-02 | Skip constraint resolution to build Power model | Gabriel Kerneis | |
| 2014-04-02 | Add more information for resolving constraints involving variables; clean up ↵ | Kathy Gray | |
| various constraint generation (removing repetitive and adding missing constraints) | |||
| 2014-04-02 | Add -skip_constraints to type-check without constraints | Gabriel Kerneis | |
| 2014-04-01 | Allow negative "nat" internally | Gabriel Kerneis | |
| to_num and to_vec probably still need to be fixed | |||
| 2014-04-01 | Fix parsing of nexp constraints | Gabriel Kerneis | |
| 2014-04-01 | More type corrections for constraints | Kathy Gray | |
| 2014-04-01 | constraint corrections for to_num and to_vec | Kathy Gray | |
| 2014-03-31 | Fix constraint bug with + | Kathy Gray | |
| 2014-03-31 | Extend constraint checking, and add casts for base of a vector shifts (i.e. ↵ | Kathy Gray | |
| from 0 to 32 etc, doesn't change order yet.). | |||
| 2014-03-31 | test/vectors.sail: failing constraint checking | Gabriel Kerneis | |
| Type error: Type constraint mismatch: constraint arising from here requires 0 to be greater than or equal to 32 | |||
| 2014-03-27 | Check simple constraints (i.e. ones using only constants). | Kathy Gray | |
| Changes syntax of tuple type from * to , so that nexps of the form 8 * 'n can be supported in the parser, which was apparently not true before. | |||
| 2014-03-26 | More steps towards solving and using constraint information | Kathy Gray | |
| 2014-03-26 | Steps towards solving constraints | Kathy Gray | |
| 2014-03-23 | adding if test | Kathy Gray | |
| 2014-03-23 | Correctly unify types with default declarations and across if blocks for ↵ | Kathy Gray | |
| introduced variables. | |||
| 2014-03-23 | Fix more unification bugs | Kathy Gray | |
| 2014-03-20 | reset earlier commits to test3, that were supposed to be chosen instead of ↵ | Kathy Gray | |
| my changes in the conflict resolution but oops. | |||
| 2014-03-20 | small test changes | Kathy Gray | |
| 2014-03-20 | Fix type checking bug that was incorrectly unifying type variables, leading ↵ | Kathy Gray | |
| function 'a id x = x to have type 'a 'b . 'a -> 'b | |||
| 2014-03-20 | Type bit[n] means bit[0..n-1] | Gabriel Kerneis | |
| 2014-03-20 | Add missing GPR registers for Power example | Gabriel Kerneis | |
| Second instruction now executes (but probably not correctly, check arithmetic since we ignore exts). Next step is to implement bitwise_or. | |||
| 2014-03-20 | Remove work-around from interpreter, move it to power.sail | Gabriel Kerneis | |
| Two bugs are worked-around here: - missing cast to nat when a vector is wrapped in exts (exts is a no-op currently anyway, so we are discarding it) - missing cast (due to limited type-inference) in one if branch: type given explicitly. | |||
| 2014-03-20 | Fix default type env | Gabriel Kerneis | |
| 2014-03-20 | More tests for implicit casts | Gabriel Kerneis | |
| The last test added in vectors.sail fails. | |||
| 2014-03-20 | Workaround missing casts for external calls | Gabriel Kerneis | |
| This patch should be reverted when the interpreter is fixed. The first instruction of main.bin is now executed. The second one fails, seemingly because of a similar missing cast issue (external function add receives register GPR1 as value). | |||
| 2014-03-19 | Fetch-decode-execute & init for power | Gabriel Kerneis | |
| 2014-03-19 | Fix endianness | Gabriel Kerneis | |
| This will never end… | |||
| 2014-03-19 | Fix bug when reading register through a cast | Kathy Gray | |
| 2014-03-19 | Checking effects on functions | Kathy Gray | |
| 2014-03-18 | Add parser support for empty and one element vectors | Kathy Gray | |
| 2014-03-18 | More library functions for Power | Gabriel Kerneis | |
| 2014-03-17 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Kathy Gray | |
| Conflicts: src/test/regbits.sail | |||
| 2014-03-17 | More coercions | Kathy Gray | |
| 2014-03-17 | Revert broken vector handling | Gabriel Kerneis | |
| 2014-03-14 | Support regbits read and write | Gabriel Kerneis | |
| No support for non-contiguous writes. | |||
| 2014-03-14 | Pretty-print subreg correctly | Gabriel Kerneis | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |