summaryrefslogtreecommitdiff
path: root/src/test/vectors.sail
AgeCommit message (Expand)Author
2014-08-07Fix bug introduced by last commitKathy Gray
2014-08-07Track taints across machine calls.Kathy Gray
2014-06-26Adding better support for unspecified values in indexed vectorsKathy Gray
2014-06-23Get indexed vectors, particularly with default values, workingKathy Gray
2014-04-02Checking missing cast for register as value in testsuiteGabriel Kerneis
2014-03-31Fix constraint bug with +Kathy Gray
2014-03-31test/vectors.sail: failing constraint checkingGabriel Kerneis
2014-03-27Check simple constraints (i.e. ones using only constants).Kathy Gray
2014-03-20small test changesKathy Gray
2014-03-20More tests for implicit castsGabriel Kerneis
2014-03-12Correctly type checking and interpreting accesses of register "fields". Regis...Kathy Gray
2014-03-11Exhibit bug in interpreter in vector testGabriel Kerneis
2014-03-07Treat registers as values when not being actively read or written to, so that...Kathy Gray
2014-03-01Fix printing bug on vector slicing that caused only one element to ever be sl...Kathy Gray
2014-02-26Get interpreter working using types, no added functionality yetKathy Gray
2014-02-14Infinite loop in interpreter for register slice writeGabriel Kerneis
2014-02-14Register slice writeGabriel Kerneis
2014-02-07more checkingKathy Gray
2014-02-05Typechecking lets, concrete vectors, and function calls (minus effects)Kathy Gray
2014-01-15Test indexed matchGabriel Kerneis
2014-01-14Fix vector concat pattern matchingGabriel Kerneis
2014-01-08More tests for various vector patterns bugsGabriel Kerneis
2014-01-08Between Scylla and CharybdisGabriel Kerneis
2014-01-07Add first operationnal tests for vectorsGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 16:59:36 +0000