simplified DerefenceByIndex with typechecker's pointer arithmeticsozulis-0.5
treeb50663e1105c5e7e9435fe91a2a580b11cf1801c
-rw-r--r-- 31 .gitignore
-rw-r--r-- 44 AUTHORS
-rw-r--r-- 171 CMakeLists.txt
-rw-r--r-- 7639 LICENSE
-rw-r--r-- 1719 Makefile
-rw-r--r-- 632 README
-rw-r--r-- 200 TODO
-rwxr-xr-x 431 check_expr.sh
-rwxr-xr-x 1750 configure
drwxr-xr-x - doc
drwxr-xr-x - llvm-tests
drwxr-xr-x - moulette
drwxr-xr-x - patches
drwxr-xr-x - src
drwxr-xr-x - tests