summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-08-12more taint tracking, yet againKathy Gray
2014-08-11More taint tracking.Kathy Gray
2014-08-09More tracking register dependency; another check point that compiles in under...Kathy Gray
2014-08-08Tracking register dependence.Kathy Gray
2014-08-07Fix bug introduced by last commitKathy Gray
2014-08-07Track taints across machine calls.Kathy Gray
2014-08-06Document directory structures, make file commands, basic usability in README ...Kathy Gray
2014-08-05Add some reasonable targets for the top level make file, including make test ...Kathy Gray
2014-08-05start tainting values with register dependenciesKathy Gray
2014-08-05missed file from last commitKathy Gray
2014-08-05Support extracting length information into more functionsKathy Gray
2014-08-03Improve types for checking power.sailKathy Gray
2014-08-01Add some more types for power.sail generation.Kathy Gray
2014-08-01Support separated memory read/write functions.Kathy Gray
2014-07-31start separating memory reads and writesKathy Gray
2014-07-30working dec vectorsKathy Gray
2014-07-29A file can now declare that a default order is either inc or dec, and this wi...Kathy Gray
2014-07-25Add another type signature needed (we think but Susmit and I can't quite reme...Kathy Gray
2014-07-25Start of setting a default order for literal vectors and for vector shorthand...Kathy Gray
2014-07-25Update make file to make clean from top level directory, and to not build all...Kathy Gray
2014-07-25Additional functions for interfaceKathy Gray
2014-07-18Writing to concatenated aliasesKathy Gray
2014-07-16Reading from an alias to two concatenated registers; not writing yet.Kathy Gray
2014-07-16Get writing working for aliases in the interpreter, other than concatenation.Kathy Gray
2014-07-15Type check alias use in the left hand side of an assignment. Warning, interpr...Kathy Gray
2014-07-15Finishing up some of the support for ExitKathy Gray
2014-07-15Add failing test for type of aliasesGabriel Kerneis
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-08Extend language to support register aliases and to support interrupts, traps ...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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 10:09:20 +0000