Parsing of multiple types working
Added casting
files for matlab parsing.
simple example
Basic type checking implemented
Checks function parameter types correctly
Updated todo
Merged multiple types/semantic checking branch
Reverted conditional expression output format
Merge branch 'conditional-simplification' of github.com:pvatterott/software-cert into conditional-simplification
Removed LT and GT ops
Basic range propagation implemented
Merge branch 'master' of github.com:pvatterott/software-cert