Updates to implementation to add supposome support for duplicate identifier declarati...
authorJohn Pirie <jpirie23@gmail.com>
Tue, 15 Oct 2013 19:01:05 +0000 (20:01 +0100)
committerJohn Pirie <jpirie23@gmail.com>
Tue, 15 Oct 2013 19:01:05 +0000 (20:01 +0100)
commit7857bb46fa43314a1f402657d802a830e5247383
tree989782d3586353e3833171e6c5f95d74ff8adaf3
parentc1f141ee51b0cd718b88e893143e8b889b96a1ac
Updates to implementation to add supposome support for duplicate identifier declarations in signatures and improve include specification handling
31 files changed:
analysis-engines/standard-ml/RunSlicer.sml
analysis-engines/standard-ml/ast/AstSML.sml
analysis-engines/standard-ml/constraint/Env.sig
analysis-engines/standard-ml/constraint/Env.sml
analysis-engines/standard-ml/enum/Enumeration.sml
analysis-engines/standard-ml/enum/Minimisation.sig
analysis-engines/standard-ml/enum/Minimisation.sml
analysis-engines/standard-ml/enum/StateEnv.sml
analysis-engines/standard-ml/enum/Unification.sml
analysis-engines/standard-ml/error/Error.sml
analysis-engines/standard-ml/error/ErrorKind.sig
analysis-engines/standard-ml/error/ErrorKind.sml
analysis-engines/standard-ml/error/ExtReg.sml
analysis-engines/standard-ml/error/Html.sml
analysis-engines/standard-ml/error/Tag.sml
analysis-engines/standard-ml/generation/Analyze.sml
analysis-engines/standard-ml/generation/Op.sml
analysis-engines/standard-ml/parse/Infix.sml
analysis-engines/standard-ml/parse/ML.grm
analysis-engines/standard-ml/sets/Ident.sml
analysis-engines/standard-ml/sets/Label.sml
analysis-engines/standard-ml/slicing/Slice.sml
analysis-engines/standard-ml/utils/Debug.sig
analysis-engines/standard-ml/utils/Debug.sml
documentation/skalpel-evaluation/test-subject-intro.tex [new file with mode: 0644]
testing/analysis-engine-tests/standard-ml/not-in-test-control/not-handled/include-specifications/test.sml
testing/analysis-engine-tests/standard-ml/not-in-test-control/not-handled/include-specifications/test7.sml [new file with mode: 0644]
testing/analysis-engine-tests/standard-ml/parse/bogus-type-annotation.sml [new file with mode: 0644]
testing/analysis-engine-tests/standard-ml/parse/extra-semicolon.sml [new file with mode: 0644]
testing/analysis-engine-tests/standard-ml/parse/missing-darrow.sml [new file with mode: 0644]
testing/analysis-engine-tests/standard-ml/parse/unbalanced-paren.sml [new file with mode: 0644]