forge

A language for teaching model checking with relational logic

Build status: failed

Authors
Documentation
Tags
Last updatedSaturday, October 12th, 2019 10:16:48pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/cemcutting/Summer-2019-New-LFS-Language.git?path=forge694996dfbfc5423b482468db38ab6845621d1759
Last checkedMonday, October 14th, 2019 9:19:10pm (UTC)
Last editedFriday, August 9th, 2019 5:53:31pm (UTC)
Date addedWednesday, July 24th, 2019 2:38:24pm (UTC)
Modules
  • forge/examples/Untitled.rkt
  • forge/server/modelToJSON.rkt
  • forge/server/eval-model.rkt
  • forge/main.rkt
  • forge/intreplacereader.rkt
  • forge/kodkod-cli/server/kks.rkt
  • forge/lang/ast.rkt
  • forge/kodkod-cli/server/server.rkt
  • forge/kodkod-model-translate.rkt
  • forge/kodkod-cli/server/kkcli-reader.rkt
  • forge/kodkod-translate.rkt
  • forge/doc/quickstart.scrbl
  • forge/server/forgeserver.rkt
  • forge/lang/bounds.rkt
  • forge/examples/smallsigstest.rkt
  • forge/kodkod-cli/server/kkcli-expander.rkt
  • forge/examples/tttboards.rkt
  • forge/examples/undirectedtree.rkt
  • forge/lang/test.rkt
  • forge/forge.rkt
  • forge/examples/goatswolves2.rkt
  • forge/sigs.rkt
  • forge/kodkod-cli/server/server-common.rkt
  • forge/kodkod-cli/server/log.rkt
  • forge/kodkod-cli/server/kkcli-test.rkt
  • forge/lang/reader.rkt
  • forge/examples/kittybacon.rkt
  • forge/intreplacetest.rkt