Further support for include specifications, some documentation updates.
authorJohn Pirie <jpirie23@gmail.com>
Wed, 30 Oct 2013 02:05:49 +0000 (02:05 +0000)
committerJohn Pirie <jpirie23@gmail.com>
Wed, 30 Oct 2013 02:05:49 +0000 (02:05 +0000)
commitd7d86d49e8aa3ec0e39c3597516daa2950e3c281
tree8c7b10ff81e3d78255a0766cee1e2df2ec8b6cac
parent7857bb46fa43314a1f402657d802a830e5247383
Further support for include specifications, some documentation updates.
25 files changed:
analysis-engines/standard-ml/RunSlicer.sig
analysis-engines/standard-ml/RunSlicer.sml
analysis-engines/standard-ml/Tester.sig
analysis-engines/standard-ml/Tester.sml
analysis-engines/standard-ml/ast/AstSML.sml
analysis-engines/standard-ml/constraint/Env.sml
analysis-engines/standard-ml/constraint/Ty.sig
analysis-engines/standard-ml/constraint/Ty.sml
analysis-engines/standard-ml/enum/Enumeration.sig
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.sig
analysis-engines/standard-ml/error/Error.sml
analysis-engines/standard-ml/error/ExtReg.sml
analysis-engines/standard-ml/error/Html.sig
analysis-engines/standard-ml/error/Html.sml
analysis-engines/standard-ml/generation/Analyze.sml
analysis-engines/standard-ml/parse/Parser.sig
analysis-engines/standard-ml/parse/Parser.sml
analysis-engines/standard-ml/slicing/Slice.sig
analysis-engines/standard-ml/slicing/Slice.sml
testing/analysis-engine-tests/standard-ml/not-in-test-control/not-handled/sharing/sharing-variable-not-in-sig.sml