4 commits

Author	SHA1	Message	Date
MerryMage	d8a37e287c	IR: Add IR type CoprocInfo	2017-01-08 14:56:06 +00:00
MerryMage	192a0029be	ir/opcodes: Implement IR::AreTypesCompatible ... Type-checking is now occuring in more than one place.	2016-08-19 01:34:14 +01:00
Tillmann Karras	9782e7da3f	verification_pass: show type errors	2016-08-19 01:17:30 +01:00
MerryMage	1029fd27ce	Update documentation (2016-08-12)	2016-08-12 18:17:31 +01:00