forge

A model finding language with Alloy-adjacent syntax.

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedTuesday, September 1st, 2020 4:32:35pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/cemcutting/Forge.git?path=forge119566b56edcc6d189bbbea2d63d502fda8ccd45
Last checkedTuesday, December 1st, 2020 6:50:25pm (UTC)
Last editedWednesday, June 3rd, 2020 2:57:36pm (UTC)
Date addedFriday, January 24th, 2020 5:59:30pm (UTC)
Modules
  • forge/forge.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/time-client-with-sync.rkt
  • forge/kodkod-cli/server/kks.rkt
  • forge/intreplacereader.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/conn.rkt
  • forge/examples/smallsigstest.rkt
  • forge/examples/crypto.rkt
  • forge/examples/traceComparison.rkt
  • forge/examples/abc.rkt
  • forge/racket-rfc6455/net/rfc6455/timeout.rkt
  • forge/examples/undirected_tree_syntax.rkt
  • forge/examples/higherOrderHack.rkt
  • forge/examples/address.rkt
  • forge/racket-rfc6455/net/rfc6455/dispatcher.rkt
  • forge/main.rkt
  • forge/tests/basic/sudoku.rkt
  • forge/examples/blah.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/time-server.rkt
  • forge/tests/basic/plinear.rkt
  • forge/examples/address_parsed.rkt
  • forge/examples/goatswolves3.rkt
  • forge/examples/test2.rkt
  • forge/examples/state-machine-inst.rkt
  • forge/examples/variadicBreakTests.rkt
  • forge/examples/Untitled.rkt
  • forge/examples/address2_parsed.rkt
  • forge/breaks.rkt
  • forge/tests/basic/booleanLogic.rkt
  • forge/tests/traces/addRemove.rkt
  • forge/examples/intTests.rkt
  • forge/examples/address2.rkt
  • forge/demo/life.rkt
  • forge/kodkod-cli/server/kkcli-expander.rkt
  • forge/racket-rfc6455/net/rfc6455/url.rkt
  • forge/tests/basic/skolemOptions.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/test-service-mapper.rkt
  • forge/examples/simplerTrace.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/frame.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/conn.rkt
  • forge/lang/alloy-syntax/indenter.rkt
  • forge/examples/soundBreakTests3.rkt
  • forge/examples/hopsBetweenCities.rkt
  • forge/lang/alloy-syntax/tokenizer.rkt
  • forge/examples/life.rkt
  • forge/examples/test1.rkt
  • forge/examples/errors/error-test-forge.rkt
  • forge/examples/circular.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/cat.rkt
  • forge/racket-rfc6455/net/rfc6455/conn-api.rkt
  • forge/examples/checkXSpecTests.rkt
  • forge/shared.rkt
  • forge/examples/errors/error-test-ast.rkt
  • forge/examples/traceSyntax.rkt
  • forge/tests/ints/intConversion.rkt
  • forge/examples/booleanLogic.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/echo-server.rkt
  • forge/racket-rfc6455/net/rfc6455/client.rkt
  • forge/racket-rfc6455/net/rfc6455/service-mapper.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/test-server.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/time-client-with-threads.rkt
  • forge/examples/soundBreakTests2.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/handshake.rkt
  • forge/examples/ADTtrace.rkt
  • forge/translate-to-kodkod-cli.rkt
  • forge/examples/test0.rkt
  • forge/translate-from-kodkod-cli.rkt
  • forge/examples/graph.rkt
  • forge/examples/goatswolves2.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/client.rkt
  • forge/examples/bindTests.rkt
  • forge/server/forgeserver.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/handshake.rkt
  • forge/examples/errors/error-test-paren.rkt
  • forge/racket-rfc6455/net/rfc6455/http.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/dispatcher.rkt
  • forge/intreplacetest.rkt
  • forge/kodkod-cli/server/server.rkt
  • forge/examples/token_test.rkt
  • forge/examples/kittybacon.rkt
  • forge/server/eval-model.rkt
  • forge/examples/tttnew.rkt
  • forge/examples/dir/file.rkt
  • forge/racket-rfc6455/net/rfc6455/private/connection-manager.rkt
  • forge/kodkod-cli/server/kkcli-reader.rkt
  • forge/server/modelToXML.rkt
  • forge/examples/simpleTrace2.rkt
  • forge/tests/test-evaluator.rkt
  • forge/lang/ast.rkt
  • forge/tests/basic/instances.rkt
  • forge/lang/alloy-syntax/colorer.rkt
  • forge/racket-rfc6455/net/rfc6455/server.rkt
  • forge/racket-rfc6455/net/rfc6455.rkt
  • forge/examples/simplest.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/dispatcher.rkt
  • forge/tests/basic/basicGraph.rkt
  • forge/examples/namedAtoms.rkt
  • forge/kodkod-cli/server/error-tests.rkt
  • forge/kodkod-cli/server/server-common.rkt
  • forge/kodkod-cli/server/kkcli-trace.rkt
  • forge/sigs.rkt
  • forge/examples/simpleTrace.rkt
  • forge/lang/bounds.rkt
  • forge/kodkod-cli/server/kkcli-test.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/client.rkt
  • forge/tests/basic/sigMultiplicities.rkt
  • forge/kodkod-cli/server/log.rkt
  • forge/lang/alloy-syntax/lexer.rkt
  • forge/kodkod-cli/server/intTests2.rkt
  • forge/examples/soundBreakTests.rkt
  • forge/lang/reader.rkt
  • forge/examples/tttboards.rkt
  • forge/examples/traceBreak.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/client.rkt
  • forge/lang/alloy-syntax/parser.rkt
  • forge/examples/undirectedtree.rkt
  • forge/examples/sudoku.rkt
  • forge/examples/intTests2.rkt
  • forge/examples/test.rkt
  • forge/examples/fancyBoundsTests.rkt