summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-06-12Overloaded multiplicationGabriel Kerneis
2014-06-12Interpret when an unknown is inserted into the program by interp_exhaustiveKathy Gray
2014-06-12Add uint* to default type names for lexerGabriel Kerneis
2014-06-11power.sail: store mode64bit in a bool registerGabriel Kerneis
2014-06-11Update power.sail: remove some hacksGabriel Kerneis
2014-06-11Equality between range and bit vectorGabriel Kerneis
2014-06-11Improve error message for missing library functionsGabriel Kerneis
2014-06-10Minor color and build tweaksGabriel Kerneis
2014-06-10More colorsGabriel Kerneis
2014-06-10More robust build systemGabriel Kerneis
2014-06-09Better, colored holeGabriel Kerneis
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:03:40 +0000