5 Commits

Author	SHA1	Message	Date
Jonathan Dönszelmann	75ffaf02a9	add section on overlap checks (#2042) ... * add section on overlap checks * fix some typos * merge piece on overlap checks with docs about coherence (based on review comments) * fix comments after discussion	2024-09-06 16:03:43 +02:00
lcnr	d0dc6c97a6	trans -> codegen	2022-11-07 16:49:22 +02:00
Mark Mansi	e7d7e38e95	add comments from sunjay	2019-01-25 13:37:54 -06:00
Mark Mansi	b83f584379	add link to sunjay talk	2019-01-25 13:37:54 -06:00
Mark Mansi	c0851bc66e	fix remaining links	2018-06-02 17:20:47 -04:00