summaryrefslogtreecommitdiff
path: root/chapter28a/src/main
Commit message (Expand)AuthorAgeFilesLines
* Canonicalize aggregate memory duals and preserve field finalityCliff Click6 days1-9/+9
* Preserve escape bounds when splitting bulk memory PhisCliff Click6 days1-8/+4
* Backport some minor speedupsCliff Click8 days3-27/+65
* Remove _phase checks from Arith & ComputeCliff Click8 days2-16/+18
* Backport Opto speedups and Minus fixCliff Click8 days4-49/+64
* Backport a bunch of fixesCliff Click9 days6-27/+28
* Fix ++x in methodsCliff Click11 days1-18/+19
* Fix chained comparisons and restore recursion coverageCliff Click12 days1-11/+10
* Rename modules chapter to 28aCliff Click12 days298-0/+28157