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
|
736b6a44a7
|
Fix CI: Var was only imported when mypy was present.
|
2017-07-24 14:08:44 -07:00 |
|
Dimo
|
12db123606
|
TI failure due to misplaced import
|
2017-07-24 14:08:44 -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 |
|