summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2014-07-14Add register to alias concatenation typeKathy Gray
2014-07-14Alias pretty-printingGabriel Kerneis
2014-07-14Initial support for aliases and exit through the type system and the interpre...Kathy Gray
2014-07-08add additional cases for nexp normalisationKathy Gray
2014-07-04Relax constraints for quot_vecGabriel Kerneis
2014-07-04Correct error of forgetting type information that was allowing more programs ...Kathy Gray
2014-07-04Update power.sailGabriel Kerneis
2014-07-04Fix pretty printer for verbose printingKathy Gray
2014-07-04Force end-of-input when parsing expression listGabriel Kerneis
2014-07-03Parse list of expressions in Sail_libGabriel Kerneis
2014-07-03Introduce a Sail libraryGabriel Kerneis
2014-07-03Adjust behavior on Unknown values in pattern match to stop matching as soon a...Kathy Gray
2014-07-02Support implicit parameters, to get the length of an expected vector into fun...Kathy Gray
2014-07-02Update Power exampleGabriel Kerneis
2014-07-02Fix ordering issue in vector-concat pattern matchingGabriel Kerneis
2014-07-01Better pretty-printing for vectorsGabriel Kerneis
2014-07-01Update case of EXTSGabriel Kerneis
2014-06-30Support for nondeterministic blocksKathy Gray
2014-06-27Update type conformance for overloading resolution on order arguments.Kathy Gray
2014-06-26range -> vector coerces only on constants and explicit castsKathy Gray
2014-06-26Remove .native in make cleanGabriel Kerneis
2014-06-26Adding better support for unspecified values in indexed vectorsKathy Gray
2014-06-25Add support for memory barrierKathy Gray
2014-06-25Add support for actions that read just a slice or single bit of a registerKathy Gray
2014-06-24Get enumerations working in interpreterKathy Gray
2014-06-24Get vector length for to_inc_vec and to_dec_vec from the type system after co...Kathy Gray
2014-06-23Get indexed vectors, particularly with default values, workingKathy Gray
2014-06-19Add mod:vec->range->vecGabriel Kerneis
2014-06-18reinstate range to vector coercionsKathy Gray
2014-06-18Fix mod_vec in libraryGabriel Kerneis
2014-06-18Correct effect matching bug; and print out effect listsKathy Gray
2014-06-18Add definition of mod to libKathy Gray
2014-06-18Make hex constants work; improve utility of casts for selecting overloaded fu...Kathy Gray
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:51:54 +0000