forge

A model finding language with Alloy-adjacent syntax.

Build status: failed

Authors
Documentation
Tags
Last updatedFriday, January 24th, 2020 8:05:16pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/cemcutting/Forge.git?path=forgedfb0324b9496200dd89e5f85dd4a3234f7936f35
Last checkedFriday, January 24th, 2020 10:05:15pm (UTC)
Last editedFriday, January 24th, 2020 5:59:30pm (UTC)
Date addedFriday, January 24th, 2020 5:59:30pm (UTC)
Modules
  • forge/breaks.rkt
  • forge/examples/circular.rkt
  • forge/examples/Untitled.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/dispatcher.rkt
  • forge/server/eval-model.rkt
  • forge/racket-rfc6455/net/rfc6455/url.rkt
  • forge/main.rkt
  • forge/intreplacereader.rkt
  • forge/kodkod-cli/server/kks.rkt
  • forge/lang/ast.rkt
  • forge/kodkod-cli/server/server.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/test-server.rkt
  • forge/examples/blah.rkt
  • forge/examples/soundBreakTests3.rkt
  • forge/examples/simpleTrace.rkt
  • forge/examples/soundBreakTests.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/test-service-mapper.rkt
  • forge/translate-from-kodkod-cli.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/cat.rkt
  • forge/racket-rfc6455/net/rfc6455/server.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/dispatcher.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/conn.rkt
  • forge/examples/address2.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/time-server.rkt
  • forge/examples/simpleTrace2.rkt
  • forge/examples/address.rkt
  • forge/kodkod-cli/server/kkcli-reader.rkt
  • forge/examples/goatswolves3.rkt
  • forge/lang/alloy-syntax/parser.rkt
  • forge/server/forgeserver.rkt
  • forge/racket-rfc6455/net/rfc6455.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/frame.rkt
  • forge/lang/bounds.rkt
  • forge/examples/smallsigstest.rkt
  • forge/examples/address2_parsed.rkt
  • forge/examples/test.rkt
  • forge/server/modelToXML.rkt
  • forge/examples/test2.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/client.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/handshake.rkt
  • forge/examples/traceBreak.rkt
  • forge/racket-rfc6455/net/rfc6455/timeout.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/conn.rkt
  • forge/kodkod-cli/server/kkcli-trace.rkt
  • forge/kodkod-cli/server/kkcli-expander.rkt
  • forge/examples/tttboards.rkt
  • forge/racket-rfc6455/net/rfc6455/conn-api.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/handshake.rkt
  • forge/examples/undirectedtree.rkt
  • forge/examples/test0.rkt
  • forge/examples/address_parsed.rkt
  • forge/forge.rkt
  • forge/examples/goatswolves2.rkt
  • forge/lang/alloy-syntax/lexer.rkt
  • forge/sigs.rkt
  • forge/lang/alloy-syntax/indenter.rkt
  • forge/racket-rfc6455/net/rfc6455/client.rkt
  • forge/lang/alloy-syntax/tokenizer.rkt
  • forge/examples/traceComparison.rkt
  • forge/kodkod-cli/server/server-common.rkt
  • forge/examples/variadicBreakTests.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/echo-server.rkt
  • forge/examples/test1.rkt
  • forge/racket-rfc6455/net/rfc6455/http.rkt
  • forge/examples/ADTtrace.rkt
  • forge/kodkod-cli/server/log.rkt
  • forge/translate-to-kodkod-cli.rkt
  • forge/racket-rfc6455/net/rfc6455/private/connection-manager.rkt
  • forge/examples/tttnew.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/client.rkt
  • forge/racket-rfc6455/net/rfc6455/scribblings/rfc6455.scrbl
  • forge/kodkod-cli/server/kkcli-test.rkt
  • forge/examples/graph.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/client.rkt
  • forge/racket-rfc6455/net/rfc6455/service-mapper.rkt
  • forge/lang/reader.rkt
  • forge/lang/alloy-syntax/colorer.rkt
  • forge/racket-rfc6455/net/rfc6455/dispatcher.rkt
  • forge/examples/kittybacon.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/time-client-with-sync.rkt
  • forge/examples/token_test.rkt
  • forge/intreplacetest.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/time-client-with-threads.rkt
  • forge/examples/simplerTrace.rkt
  • forge/examples/soundBreakTests2.rkt