summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2014-08-19Add file that actually drives command line interpreterKathy Gray
2014-08-18Handling many register reads, writes, and memory reads.Kathy Gray
2014-08-18fix compile errorKathy Gray
2014-08-18Switch run_power to use interp_interface. Compilers and begins running, and t...Kathy Gray
2014-08-18wib?Peter Sewell
2014-08-18make interp_exhaustive not take an interp_mode argumentPeter Sewell
2014-08-18tweak barrier kinds in interface (likely needs changes elsewhere)Peter Sewell
2014-08-14Small tweaks to interp_interface interfaceKathy Gray
2014-08-13Update library functionsKathy Gray
2014-08-13FInd/fix a redundant case now that warnings are manageableKathy Gray
2014-08-13Silence some lem warnings in compilation.Kathy Gray
2014-08-13Complete tainting phase 1Kathy Gray
2014-08-13Kathy, Peter tweak Makefile for interactive demo and src/myocamlbuild.ml to t...Peter Sewell
2014-08-12taint tracking through most of interpreterKathy Gray
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-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-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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 08:56:03 +0000