summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix GCM of CSE storesCliff Click2024-09-1223-54/+104
* Support transpiling more test features: iterate, IRPrinter, assertions, Graph...Robert Obkircher2024-09-094-57/+158
* Add transpiler for JUnit testsRobert Obkircher2024-09-0911-0/+473
* Remove commutative peepholes for shiftsThalia Archibald2024-09-073-18/+3
* Fix typos in chapter 14Thalia Archibald2024-09-074-15/+15
* README includes more design decisions for type names.Cliff Click2024-09-078-4/+161
* Update README.mdCliff Click2024-09-071-3/+2
* better monotone check for dead loopsCliff Click2024-09-074-24/+32
* Correct err msgCliff Click2024-09-072-4/+4
* Fix bugsCliff Click2024-09-075-1/+44
* Fix possible monotonicity bugCliff Click2024-09-074-0/+12
* Updates READMECliff Click2024-09-073-22/+31
* Cleanup comments to match designCliff Click2024-09-072-22/+26
* And-masking sharpens narrowed intsCliff Click2024-09-073-3/+38
* minus is sane for high rangesCliff Click2024-09-071-1/+3
* Add READMECliff Click2024-09-071-1/+65
* All the remaining narrow typesCliff Click2024-09-076-34/+135
* Backport empty statement fixCliff Click2024-09-0717-228/+351
* Update fuzzer for chapter 14. (#107)XmiliaH2024-09-072-51/+138
* Shift operators; sign extensionCliff Click2024-09-077-8/+228
* handle all unsigned int variantsCliff Click2024-09-078-19/+249
* Correct constant fold with ranges for most primitivesCliff Click2024-09-079-14/+17
* Add TypeInteger rangesCliff Click2024-09-078-70/+119
* #98 Chapter 14 arraysdibyendumajumdar2024-09-074-0/+26
* #98 Chapter 14 arraysdibyendumajumdar2024-09-0776-0/+11080
* Fix chapter 1 link and mis-spelling (#102)Dibyendu Majumdar2024-09-031-1/+1
* Update fuzzer for chapter 13. (#105)XmiliaH2024-09-032-50/+114
* Update fuzzer for chapter 12. (#104)XmiliaH2024-08-182-37/+73
* Some updates to Chapter 3 docs based on feedback by Yarden (#100)Dibyendu Majumdar2024-08-161-12/+22
* Scope docs (#99)Cliff Click2024-08-153-28/+48
* #92 Update readmesdibyendumajumdar2024-08-063-56/+9
* Fix chapter12 grammarThalia Archibald2024-08-062-130/+1
* Update README.mdCliff Click2024-08-061-2/+22
* More error cases, error checkingCliff Click2024-08-066-11/+74
* Fix graph draw with field namesCliff Click2024-08-064-7/+27
* Ref types workingCliff Click2024-08-0625-149/+273
* chapter 13 from 12, splitting out ref fields in structsdibyendumajumdar2024-08-063-2/+132
* Copy chapter12 -> chapter13Thalia Archibald2024-08-0675-0/+10930
* Unify type parsingCliff Click2024-08-051-48/+22
* Update Ch12 readmeCliff Click2024-08-051-1/+45
* Fuzzer nit picksCliff Click2024-08-053-8/+4
* auto-widen on assignCliff Click2024-08-052-125/+11
* missing null checkCliff Click2024-08-052-2/+121
* A series of minor fuzzer bugsCliff Click2024-08-055-27/+28
* Better filter on Load cloneCliff Click2024-08-052-6/+20
* Float bugsCliff Click2024-08-0520-42/+113
* Clean up floatsCliff Click2024-08-057-53/+48
* a little FP cleanupCliff Click2024-08-052-7/+6
* more fp bugfixesCliff Click2024-08-054-6/+5
* minor FP bugsCliff Click2024-08-056-17/+23
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-16 19:06:43 +0000