| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-06-09 | Add explicit flag -r to rebuild in demo.sh | Gabriel Kerneis | |
| ./demo.sh now jumps straight into the interpreter. ./demo.sh -r does the fancy "rebuild step-by-step with comments" show | |||
| 2014-06-09 | Merge branch 'for-dagstuhl' into master | Gabriel Kerneis | |
| Conflicts: src/lem_interp/interp_lib.lem src/lem_interp/run_interp.ml Remove "to_vec_safe" work-around | |||
| 2014-06-07 | Interactive demo | Gabriel Kerneis | |
| 2014-06-07 | Add optional overloading on expected return type to fix bug in constraint ↵ | Kathy Gray | |
| solving; get test_power running again by supporting the correct operations and bit operations | |||
| 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 | Adding type abbreviations for uint8 to uint64 to make for easier casts | Kathy Gray | |
| 2014-06-07 | Copy main.bin in Sail repository for Power test | Gabriel Kerneis | |
| 2014-06-07 | Improve help message | Gabriel Kerneis | |
| 2014-06-07 | Print mem and env | Gabriel Kerneis | |
| 2014-06-07 | Pattern-matching exhaustiveness | Gabriel Kerneis | |
| 2014-06-07 | Stack printing | Gabriel Kerneis | |
| 2014-06-07 | Print holes as [x] | Gabriel Kerneis | |
| 2014-06-07 | Fix E_vector_append in interp pretty-printer | Gabriel Kerneis | |
| 2014-06-07 | Fix pretty-printing for E_vector_append | Gabriel Kerneis | |
| 2014-06-06 | Compact debug output and first draft of interactive loop | Gabriel Kerneis | |
| 2014-06-06 | Improve work-around | Gabriel Kerneis | |
| Default to 64 bit for vec + range | |||
| 2014-06-06 | Add wrapper script and --interactive for demo | Gabriel Kerneis | |
| 2014-06-06 | Add a pretty-printer for Interp_ast | Gabriel Kerneis | |
| Copy-pasted with a few tweaks from Pretty_printer. Should really make a functor instead, but not sure how to deal with E_internal_cast yet. Note that Interp_ast and Ast are *not* generated from the same ott file (resp. l2.ott and l2_type.ott), but they are close enough that the code almost "just works". | |||
| 2014-06-06 | Adding type abbreviations for uint8 to uint64 to make for easier casts | Kathy Gray | |
| 2014-06-05 | Shorten debug output for power | Gabriel Kerneis | |
| 2014-06-05 | Enable single-stepping for test/power.sail | Gabriel Kerneis | |
| 2014-06-05 | Refactor to_vec and add work-around to avoid truncation | 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 | Remove fresh variables from type annotations (have not tested yet that the ↵ | Kathy Gray | |
| resulting files once pretty-printed will type check) | |||
| 2014-05-30 | Change == to eq_big_int in a missed comparison | Kathy Gray | |
| 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-05-30 | More correct arithmetic types, to generate even more constraints | Kathy Gray | |
| 2014-05-29 | Check constraints in power.sail; this required using big_int instead of int ↵ | Kathy Gray | |
| to support 2**64. Note: now nat (short hand for range<0,infinity>) should only be used if you really mean a nat instead of a bounded number (i.e. range<0,2**32>) | |||
| 2014-05-28 | correct mismatched parens didn't mean to commit... | Kathy Gray | |
| 2014-05-28 | Support stepped interpreting, and use normalisation instead of eval_nexp in ↵ | Kathy Gray | |
| constraints | |||
| 2014-05-23 | Convert nexps into a normal form | Kathy Gray | |
| 2014-05-22 | A (hopefully) sufficient interface and implementation between memory and the ↵ | Kathy Gray | |
| interpreter | |||
| 2014-05-21 | correct accidental capitalization of Interp in file name | Kathy Gray | |
| 2014-05-21 | More interface support; interp_inter_imp now compiling | Kathy Gray | |
| 2014-05-20 | Fix semicolon in scattered unions | Gabriel Kerneis | |
| 2014-05-20 | Turn off annoying printf | Kathy Gray | |
| Answer some apparent questions in the pretty printer (tagged with AAA after an XXX) | |||
| 2014-05-20 | Remove legacy pretty printer | Gabriel Kerneis | |
| 2014-05-20 | Fix pattern-matching exhaustiveness | Gabriel Kerneis | |
| 2014-05-20 | Merge new pretty-printer | Gabriel Kerneis | |
| 2014-05-20 | Fix interp compiling bug | Kathy Gray | |
| 2014-05-20 | yet more interface | Kathy Gray | |
| 2014-05-20 | Fix precedence of right_atomic_exp (if, foreach, let) | Gabriel Kerneis | |
| 2014-05-20 | More sensible whitespacing | Gabriel Kerneis | |
| 2014-05-20 | More interface | Kathy Gray | |
| 2014-05-19 | Print type-check warning to stderr instead of stdout | Gabriel Kerneis | |
| Otherwise, warnings are interleaved with code when using -verbose. | |||
| 2014-05-19 | Improve line breaks | Gabriel Kerneis | |
| 2014-05-19 | Refactor lexp and patterns to fix precedence | Gabriel Kerneis | |
| Also work-around minus being unparseable | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |