| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-07-04 | Correct error of forgetting type information that was allowing more programs ↵ | Kathy Gray | |
| than it should have | |||
| 2014-07-04 | Update power.sail | Gabriel Kerneis | |
| 2014-07-02 | Update Power example | Gabriel Kerneis | |
| 2014-06-27 | Update type conformance for overloading resolution on order arguments. | Kathy Gray | |
| Also, correctly type check nondet blocks | |||
| 2014-06-26 | Adding better support for unspecified values in indexed vectors | Kathy Gray | |
| Also begining to add support for nondeterministic blocks and cleaning up some of the Many warnings on pattern matches | |||
| 2014-06-25 | Add support for actions that read just a slice or single bit of a register | Kathy Gray | |
| 2014-06-24 | Get vector length for to_inc_vec and to_dec_vec from the type system after ↵ | Kathy Gray | |
| constraint solving (instead of hardcoding 64 as the default). | |||
| 2014-06-23 | Get indexed vectors, particularly with default values, working | Kathy Gray | |
| 2014-06-18 | Correct effect matching bug; and print out effect lists | Kathy Gray | |
| 2014-06-18 | Make hex constants work; improve utility of casts for selecting overloaded ↵ | Kathy Gray | |
| functions | |||
| 2014-06-11 | power.sail: store mode64bit in a bool register | Gabriel Kerneis | |
| This is now possible because we handle coercions better. | |||
| 2014-06-11 | Update power.sail: remove some hacks | Gabriel Kerneis | |
| 2014-06-09 | Improve interaction after chat with Peter | Gabriel Kerneis | |
| - remember mode (run, step or next) between instructions - display continuation by default in step mode - start in step mode by default - incompatible change: the shorthand for stack is now bt (=backtrace), since s becomes the shorthand for step - incompatible change: pressing enter now repeats the current mode, instead of "step" | |||
| 2014-06-07 | Don't use cycle for fetch-decode-execute | Gabriel Kerneis | |
| 2014-06-07 | exts returns bit[64] instead of nat | Gabriel Kerneis | |
| Update power.sail to new, pretty-printer-based version | |||
| 2014-06-07 | Copy main.bin in Sail repository for Power test | Gabriel Kerneis | |
| 2014-06-07 | Pattern-matching exhaustiveness | Gabriel Kerneis | |
| 2014-06-06 | Add wrapper script and --interactive for demo | Gabriel Kerneis | |
| 2014-06-05 | Shorten debug output for power | Gabriel Kerneis | |
| 2014-06-05 | Enable single-stepping for test/power.sail | Gabriel Kerneis | |
| 2014-06-04 | Fixup type coercions and overloading | Kathy Gray | |
| Reduce the number of implicit coercions we're doing, expanding overloading and fixing up types of functions. Warning: test_power does not run as not all overloaded funcitons are implemented Warning: vector concatenation does not pretty print to sail source yet | |||
| 2014-06-02 | Fix dependent-type for MEM in power.sail | Gabriel Kerneis | |
| Now, constraint resolution works for test/power.sail | |||
| 2014-05-30 | Add pretty-printer test (idempotence) | Gabriel Kerneis | |
| Fails in most cases because of "fresh" variables in type annotations that cannot be parsed again. | |||
| 2014-05-30 | Remove bit-rotted, abonned test file | Gabriel Kerneis | |
| 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-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 | Remove workarounds and update Power model | Gabriel Kerneis | |
| 2014-04-03 | Exhibit two bugs about bitwise operators and vector casts | Gabriel Kerneis | |
| 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 | Fix EXTS and signedness of to_num | Gabriel Kerneis | |
| 2014-04-02 | Update Power model | Gabriel Kerneis | |
| 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-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-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 | 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 | More tests for implicit casts | Gabriel Kerneis | |
| The last test added in vectors.sail fails. | |||
| 2014-03-19 | Fetch-decode-execute & init for power | Gabriel Kerneis | |
| 2014-03-19 | Fix bug when reading register through a cast | Kathy Gray | |
| 2014-03-17 | More coercions | Kathy Gray | |
| 2014-03-14 | Support regbits read and write | Gabriel Kerneis | |
| No support for non-contiguous writes. | |||
| 2014-03-13 | Make test_power compiling again | Gabriel Kerneis | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |