about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* 7184 - type checks for 'populate'Kartik Agaram2020-11-052-7/+447
* 7183 - type checks for 'allocate'Kartik Agaram2020-11-052-1/+347
* 7182 - type checks for 'copy-object'Kartik Agaram2020-11-052-1/+412
* 7181 - type checks for 'address' instructionKartik Agaram2020-11-053-2/+595
* 7180Kartik Agaram2020-11-043-12/+173
* 7179Kartik Agaram2020-11-042-0/+31
* 7178 - type checks for 'compare' instructionKartik Agaram2020-11-042-1/+553
* 7177 - type checks for 'copy-to' instructionKartik Agaram2020-11-042-12/+400
* 7176 - type checks for 'copy' instructionKartik Agaram2020-11-043-104/+473
* 7175Kartik Agaram2020-11-0320-28068/+29016
* 7174 - function returns should now be safeKartik Agaram2020-11-032-4/+197
* 7173Kartik Agaram2020-11-0312-12/+108
* 7172Kartik Agaram2020-11-031-1/+1
* 7171Kartik Agaram2020-11-031-1/+1
* 7170Kartik Agaram2020-11-031-0/+47
* 7169Kartik Agaram2020-11-031-7/+88
* 7168 - snapshotKartik Agaram2020-11-031-0/+93
* 7167Kartik Agaram2020-11-032-1/+74
* 7166Kartik Agaram2020-11-033-45/+170
* 7165Kartik Agaram2020-11-037-30/+97
* 7164Kartik Agaram2020-11-032-1/+112
* 7163 - first type checks for 'return' statementsKartik Agaram2020-11-033-5/+127
* 7162Kartik Agaram2020-11-0283-33153/+37215
* 7161 - stop processing function outputsKartik Agaram2020-11-022-601/+109
* 7160Kartik Agaram2020-11-022-133/+133
* 7159 - explicitly use 'return' everywhereKartik Agaram2020-11-0218-455/+407
* 7158Kartik Agaram2020-11-024-372/+310
* 7157Kartik Agaram2020-11-016-101/+96
* 7156Kartik Agaram2020-11-012-3/+6
* 7155Kartik Agaram2020-11-011-12/+12
* 7154Kartik Agaram2020-11-0112-369/+141
* 7153Kartik Agaram2020-11-012-3/+7
* 7152 - 'return' instructionKartik Agaram2020-11-014-1/+644
* 7151Kartik Agaram2020-11-012-97/+46
* 7150Kartik Agaram2020-10-311-0/+16
* 7149Kartik Agaram2020-10-311-1/+1
* 7148Kartik Agaram2020-10-312-5/+2
* 7147Kartik Agaram2020-10-312-8/+14
* 7146Kartik Agaram2020-10-312-173/+173
* 7145 - roll back to 7143Kartik Agaram2020-10-301-89/+174
* 7144 - tmp: redo checks for function outputsKartik Agaram2020-10-301-174/+89
* 7143Kartik Agaram2020-10-292-1/+1
* 7142Kartik Agaram2020-10-292-0/+4
* 7141Kartik Agaram2020-10-292-4/+1
* 7140Kartik Agaram2020-10-291-0/+11
* 7139 - type-check compute-offsetKartik Agaram2020-10-292-13/+908
* 7138 - type-check array 'length' instructionKartik Agaram2020-10-2916-6/+838
* 7137Kartik Agaram2020-10-282-2/+2
* 7136Kartik Agaram2020-10-282-10/+10
* 7135 - type-check write-to-streamKartik Agaram2020-10-282-0/+668