on 6f75310 help sign in
all commits
f73a6ffAdd an occurs check to finally resolve #294Evan Czaplicki 18c67cbProperly perform extraChecksEvan Czaplicki b5979b4Add occurs check and a test to make sure it worksEvan Czaplicki 70f1242Check that main is a Signal or (Signal Element), add tests for this caseEvan Czaplicki 4da7588Add the ExtraChecks module to do occurs check and check the type of mainEvan Czaplicki