| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-05-15 | Testing pretty-printer | Gabriel Kerneis | |
| It does not work - infinite loop somewhere probably when trying to handle precedence. | |||
| 2014-05-15 | Finish pretty-printer translation | Gabriel Kerneis | |
| Untested. Scattered definitions not supported yet. | |||
| 2014-05-15 | Check name_sect during parsing | Gabriel Kerneis | |
| 2014-05-15 | Expression support in new pretty-printer | Gabriel Kerneis | |
| We follow the parser here, but some fixes will be necessary on both sides (for instance the precedence of assignments). | |||
| 2014-05-15 | Cosmetic tweaks to new pretty-printer | Gabriel Kerneis | |
| 2014-05-15 | Questions and comments about parser | Gabriel Kerneis | |
| 2014-05-15 | Missing cases in lexer and parser | Gabriel Kerneis | |
| 2014-05-12 | First part of new pretty-printer | Gabriel Kerneis | |
| Compiles but untested. Parentheses should be correct (based on parser), but it probably lacks some spacing (in particular in lists) and breaking opportunities. The plan is to tweak those later, when we have a working first implementation. | |||
| 2014-05-12 | Avoid pattern-matching warnings in pretty-printer | Gabriel Kerneis | |
| 2014-05-12 | OCamlbuild magic to use PPrint | Gabriel Kerneis | |
| 2014-05-12 | Import pprint library | Gabriel Kerneis | |
| 2014-05-12 | More interface support | Kathy Gray | |
| 2014-05-08 | more interface changes | Kathy Gray | |
| 2014-05-06 | Begin tie to ppcmem style actions/outcomes | Kathy Gray | |
| Change type of + on vectors to (bit vector,bit vector) -> bit vector | |||
| 2014-05-01 | Make an overloading type decision (all + operations return ranges, never ↵ | Kathy Gray | |
| vectors) and make the test suite pass again | |||
| 2014-04-30 | More support for overloading functions; primarily focusing on + | Kathy Gray | |
| WARNING: vector test breaks due to not having implemented the full range of different + functions In general, we need to decide whether vector + vector, vector + range and range + vector should all return ranges, vectors or a mixture | |||
| 2014-04-28 | Add support for overloading for better constraints, and for reducing the ↵ | Kathy Gray | |
| number of coercions | |||
| 2014-04-25 | more support for path-aware (ish) constraint checking | Kathy Gray | |
| 2014-04-25 | rename interpreter's local memory type to reflect that it's all local memory | Kathy Gray | |
| 2014-04-23 | Rename main to sail, build pretty_printer lib | Gabriel Kerneis | |
| 2014-04-23 | make doc | Gabriel Kerneis | |
| Build html doc of module interface | |||
| 2014-04-21 | Remove unsoundness of pattern match in interpreter | Kathy Gray | |
| 2014-04-15 | Use type information in vector concatenation pattern matching in interpreter. | Kathy Gray | |
| Does not properly bind variables (i.e. in the pattern 0b01:(bit[3]) a: 0b0001 subsequent uses of a will not be bound in the interpreter, though they are in the type checker), so until bug is fixed, treat all such identifiers as _ | |||
| 2014-04-15 | Put conditional path information into constraint gathering so that checking ↵ | Kathy Gray | |
| uses appropriate information gleaned from pattern matching | |||
| 2014-04-10 | more constraint resolution; and turning off some assert falses until I find ↵ | Kathy Gray | |
| out why unification isn't being forced everywhere it needs to | |||
| 2014-04-08 | Reduce redundant information in AST | Kathy Gray | |
| 2014-04-08 | Try to reduce size of Lem output a little bit | Kathy Gray | |
| 2014-04-04 | Cosmetic improvements (statistics, --quiet) | Gabriel Kerneis | |
| 2014-04-04 | Improve Power execution | Gabriel Kerneis | |
| - Move FDE loop to the OCaml side of the Power model (avoid leaking memory due to lack of TCO in interpreter) - Display cycle count - Check the value of CIA at the end of each cycle and stop if it is equal to the initial value of LR, returning the value in GPR3. | |||
| 2014-04-03 | Power example now EXECUTES (almost) CORRECTLY! \o/ | Gabriel Kerneis | |
| Warning: we set the link register to the address of the first instruction, which means the program is effectively an infinite loop returning 42 forever. (Except it slows down and leaks memory, probably because the interpreter doesn't optimise the tail call in fde_loop.) 42, 42, 42, 42, 42, 42, 42, 42, ... | |||
| 2014-04-03 | Implement some arithmetic operations | Gabriel Kerneis | |
| 2014-04-03 | Re-index vector slices | Gabriel Kerneis | |
| - increasing vector slices are re-indexed from 0 - decreasing vector slices are re-indexed towards 0 I don't know how the type system handles this currently, but it is essential for the correctness of execution. | |||
| 2014-04-03 | Implement bitwise library operations | Gabriel Kerneis | |
| 2014-04-03 | Remove workarounds and update Power model | Gabriel Kerneis | |
| 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) | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |