summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2014-06-09Improve interaction after chat with PeterGabriel Kerneis
2014-06-09Support deinfix pretty-printingGabriel Kerneis
2014-06-09Add more stops in interpreter (stopping just at the point of each internal fu...Kathy Gray
2014-06-09Working towards evaluating with interp_exhaustiveKathy Gray
2014-06-09Add "continuation" command in interpreterGabriel Kerneis
2014-06-09Add switch to show/hide casts in interpreterGabriel Kerneis
2014-06-09Add explicit flag -r to rebuild in demo.shGabriel Kerneis
2014-06-09Merge branch 'for-dagstuhl' into masterGabriel Kerneis
2014-06-07Interactive demoGabriel Kerneis
2014-06-07Add optional overloading on expected return type to fix bug in constraint sol...Kathy Gray
2014-06-07Don't use cycle for fetch-decode-executeGabriel Kerneis
2014-06-07exts returns bit[64] instead of natGabriel Kerneis
2014-06-07Adding type abbreviations for uint8 to uint64 to make for easier castsKathy Gray
2014-06-07Copy main.bin in Sail repository for Power testGabriel Kerneis
2014-06-07Improve help messageGabriel Kerneis
2014-06-07Print mem and envGabriel Kerneis
2014-06-07Pattern-matching exhaustivenessGabriel Kerneis
2014-06-07Stack printingGabriel Kerneis
2014-06-07Print holes as [x]Gabriel Kerneis
2014-06-07Fix E_vector_append in interp pretty-printerGabriel Kerneis
2014-06-07Fix pretty-printing for E_vector_appendGabriel Kerneis
2014-06-06Compact debug output and first draft of interactive loopGabriel Kerneis
2014-06-06Improve work-aroundGabriel Kerneis
2014-06-06Add wrapper script and --interactive for demoGabriel Kerneis
2014-06-06Add a pretty-printer for Interp_astGabriel Kerneis
2014-06-06Adding type abbreviations for uint8 to uint64 to make for easier castsKathy Gray
2014-06-05Shorten debug output for powerGabriel Kerneis
2014-06-05Enable single-stepping for test/power.sailGabriel Kerneis
2014-06-05Refactor to_vec and add work-around to avoid truncationGabriel Kerneis
2014-06-04Fixup type coercions and overloadingKathy Gray
2014-06-02Fix dependent-type for MEM in power.sailGabriel Kerneis
2014-05-30Remove fresh variables from type annotations (have not tested yet that the re...Kathy Gray
2014-05-30Change == to eq_big_int in a missed comparisonKathy Gray
2014-05-30Add pretty-printer test (idempotence)Gabriel Kerneis
2014-05-30Remove bit-rotted, abonned test fileGabriel Kerneis
2014-05-30More correct arithmetic types, to generate even more constraintsKathy Gray
2014-05-29Check constraints in power.sail; this required using big_int instead of int t...Kathy Gray
2014-05-28correct mismatched parens didn't mean to commit...Kathy Gray
2014-05-28Support stepped interpreting, and use normalisation instead of eval_nexp in c...Kathy Gray
2014-05-23Convert nexps into a normal formKathy Gray
2014-05-22A (hopefully) sufficient interface and implementation between memory and the ...Kathy Gray
2014-05-21correct accidental capitalization of Interp in file nameKathy Gray
2014-05-21More interface support; interp_inter_imp now compilingKathy Gray
2014-05-20Fix semicolon in scattered unionsGabriel Kerneis
2014-05-20Turn off annoying printfKathy Gray
2014-05-20Remove legacy pretty printerGabriel Kerneis
2014-05-20Fix pattern-matching exhaustivenessGabriel Kerneis
2014-05-20Merge new pretty-printerGabriel Kerneis
2014-05-20Fix interp compiling bugKathy Gray
2014-05-20yet more interfaceKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 13:37:17 +0000