andrei/modelverse @ 4b68fa00e032b068de36ab385600d555f0e59677

Yentl Van Tendeloo 4b68fa00e0 Update model to prevent stripping of list of length 1		%!s(int64=9) %!d(string=hai) anos
..
__init__.py	e527d9b485 Initial commit from svn	%!s(int64=9) %!d(string=hai) anos
compiled.py	8dba3e30af Remove old symbol checking code (in Python) and all related code in AL and Python compiled AL.	%!s(int64=9) %!d(string=hai) anos
main.py	4b68fa00e0 Update model to prevent stripping of list of length 1	%!s(int64=9) %!d(string=hai) anos
primitives.py	89590e2837 Explicitly model the symbol checking algorithm	%!s(int64=9) %!d(string=hai) anos