3 Commits

Author	SHA1	Message	Date
Dimo	345d6754f5	Change TV ranking to select src vars as a representative during unification; Nit: cleanup dot() emitting code; Nit: fix small bug in verify_semantics() - make an internal copy of src rtl to avoid clobbering of typevars re-used in multiple definitions	2017-07-25 15:38:48 -07:00
Dimo	9258283e14	Documentation nits; Sematnics syntax cleanup	2017-07-24 14:08:44 -07:00
Dimo	40c86d58b9	Add insturction semantics. Add semantics for vsplit,vconcat,iadd. Add initial tests	2017-07-24 14:08:44 -07:00