summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2015-01-28take sign into account on whether a number fits into the number of available ...Kathy Gray
2015-01-23Bring slice vector's type checking into line with what the formal system says...Kathy Gray
2015-01-22Actually remove minus on negative numbers from Lem outputKathy Gray
2015-01-21Fix implicit type check errorKathy Gray
2015-01-21turn negative numbers into 0-n in Lem ast backendKathy Gray
2015-01-20Fix sparse vector fupdate slicing, assigning values in the right order and wi...Kathy Gray
2015-01-19Add an overload for - for vec x vdc -> rangeKathy Gray
2015-01-17update divisionKathy Gray
2015-01-16more for loop corrections, as well as pattern match errorKathy Gray
2015-01-15signed subtractionKathy Gray
2015-01-15Fix for loop error causing premature stoppingKathy Gray
2015-01-15Add support for overflow detecting subtractionKathy Gray
2015-01-14correct where overflow checking should happen on multiplication arithmeticKathy Gray
2015-01-14correct wrongly used variable in arith operationsKathy Gray
2015-01-14more carry outKathy Gray
2015-01-14carry outKathy Gray
2015-01-12Add specialised support for numeric singleton types (i.e. what used to be ran...Kathy Gray
2014-12-19Support returning registers from functions, as with putting registers in vect...Kathy Gray
2014-12-18Fix subtraction with integer typeKathy Gray
2014-12-18Add negative literals such as -1. WARNING may not generate valid lem in the p...Kathy Gray
2014-12-18Bring interpreter upto date with current LemKathy Gray
2014-12-16Fix bug on nat/type/order/effect variable bindingKathy Gray
2014-12-11Add 2 ** n function; support providing type variables to other files when lexingKathy Gray
2014-12-11Change compare of two big ints to compare_big_intKathy Gray
2014-12-11turn back off debugging printfKathy Gray
2014-12-11fix error with type int and subtractionKathy Gray
2014-12-11Carry out changeKathy Gray
2014-12-11Many fixes, primarily dealing with undefinedKathy Gray
2014-12-10Fix negKathy Gray
2014-12-10Fix fromJust of Nothing error in multiplicationKathy Gray
2014-12-10Support splitting sail definition across multiple filesKathy Gray
2014-12-10Fix mismatch errors in interpreter, mostly relating to taint/detaint behaviourKathy Gray
2014-12-09Add quite important detaintKathy Gray
2014-12-09Abstract tainting to almost always use taint, detaint, retaint, and binary_ta...Kathy Gray
2014-11-30clean up ghastly pre-submission pp hackeryPeter Sewell
2014-11-27updated test for power.sailKathy Gray
2014-11-26Fix negKathy Gray
2014-11-25more changes to quot and modKathy Gray
2014-11-25another carry out attemptKathy Gray
2014-11-25improved divisionKathy Gray
2014-11-25wibKathy Gray
2014-11-25carry out is computedKathy Gray
2014-11-25another mod and quot definitionKathy Gray
2014-11-25refine quot and modKathy Gray
2014-11-24Add new quot and mod operatorsKathy Gray
2014-11-24don't to_num a num...Kathy Gray
2014-11-24Give a better answer on overflow with two vectors of unknowns (i.e. unknown i...Kathy Gray
2014-11-24Correctly cast between 1 and a single bitKathy Gray
2014-11-24improve value to string for debuggingKathy Gray
2014-11-24wibKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 02:43:02 +0000