• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for call-alloy-0.5.0.1 source tarball

call-alloy-0.5.0.1/

• ChangeLog.md
• LICENSE
• README.md
• Setup.hs
• call-alloy.cabal
• data/
  • org.alloytools.alloy.dist.jar
  • alloy/
    • RunAlloy.class
    • SATSolver.class
  • commons-cli/
    • LICENSE.txt
    • NOTICE.txt
    • commons-cli-1.5.0.jar
  • slf4j/
    • LICENSE
    • slf4j-simple-1.7.36.jar
• src/
  • Language/
    • Alloy/
      • Call.hs
      • Debug.hs
      • Exceptions.hs
      • Functions.hs
      • Parser.hs
      • RessourceNames.hs
      • Ressources.hs
      • Types.hs
      • Internal/
        • Call.hs
• test/
  • ReadmeExample.hs
  • ReadmeExampleSpec.hs
  • Spec.hs
  • Language/
    • Alloy/
      • CallSpec.hs
  • unit/
    • readmeExampleInstance.hs
    • readmeExampleResult.hs
    • readmeExampleSpecification.als