| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-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 | |||
| 2014-05-19 | Various wrong tokens in pretty-printer | Gabriel Kerneis | |
| 2014-05-19 | Add tricky necessary whitespace to avoid lexer confusion | Gabriel Kerneis | |
| 2014-05-19 | Bugs in old pretty-printer | Gabriel Kerneis | |
| There are more that are not fixed. | |||
| 2014-05-19 | More parser comments (and remove one spurious atomic_) | Gabriel Kerneis | |
| 2014-05-16 | Improve spacing in pretty-printer | Gabriel Kerneis | |
| More work to do (in particular in typedef) to remove spurious ^/^ | |||
| 2014-05-15 | Make pp_exp export to buffer | Gabriel Kerneis | |
| 2014-05-15 | Group definitions | Gabriel Kerneis | |
| This is only a first step towards sensible spacing. As it turns out, I use too many breaks (hidden in ^/^) instead of separate space [...] for instance. | |||
| 2014-05-15 | Add support for scattered functions | Gabriel Kerneis | |
| 2014-05-15 | Refactor doc_type_union | Gabriel Kerneis | |
| 2014-05-15 | Fix recursive call to doc_exp | Gabriel Kerneis | |
| 2014-05-15 | Missing space for function clauses | Gabriel Kerneis | |
| 2014-05-15 | Exhaustive check of app_infix operators for precedence | Gabriel Kerneis | |
| 2014-05-15 | Pretty-print to stdout rather than Format.stdout_formatter | Gabriel Kerneis | |
| PPrint.ToFormatter is either broken, or I do not know how to use it properly. Switching to ToChannel solves the issue nicely. | |||
| 2014-05-15 | Fix infinite loop bug | Gabriel Kerneis | |
| The output is *completely* broken (a mix of missing and too many whitespaces). No idea what is going on. | |||
| 2014-05-15 | Testing pretty-printer | Gabriel Kerneis | |
| It does not work - infinite loop somewhere probably when trying to handle precedence. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |