forge

A model-finding language with Alloy-adjacent syntax.

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedMonday, April 12th, 2021 2:43:46pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/tnelson/Forge.git?path=forgeb24e3063c5701dee4f4267084cf512081feed58b
Last checkedFriday, May 14th, 2021 11:06:46am (UTC)
Last editedMonday, March 1st, 2021 1:48:34pm (UTC)
Date addedFriday, January 24th, 2020 5:59:30pm (UTC)
Modules
  • forge/logging/logging.rkt
  • forge/testme/library/commands.rkt
  • forge/example/forge/importing.rkt
  • forge/example/store/with-command/make-c-sig.rkt
  • forge/OLD/test-evaluator.rkt
  • forge/tests/forge-core/instances/atoms.rkt
  • forge/example/store/testing2.rkt
  • forge/tests/forge-core/sigs/extendingSigs.rkt
  • forge/new-mode/library/commands.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/time-client-with-sync.rkt
  • forge/kodkod-cli/server/kks.rkt
  • forge/sigs-structs.rkt
  • forge/pardinus-cli/server/server.rkt
  • forge/example/store/quant-bug.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/conn.rkt
  • forge/testme/library/download-file.rkt
  • forge/examples/smallsigstest.rkt
  • forge/examples/crypto.rkt
  • forge/tests/forge-core/formulas/setFormulaOperators.rkt
  • forge/tests/forge/electrum/var-vs-non-var-sigs.rkt
  • forge/examples/traceComparison.rkt
  • forge/example/forge-core/info-maps.rkt
  • forge/examples/abc.rkt
  • forge/tests/forge-core/examples/testing.rkt
  • forge/tests/forge/expressions/setComprehensions.rkt
  • forge/example/forge-core/relation-breakers.rkt
  • forge/check-ex-spec/core/main.rkt
  • forge/amalgam.rkt
  • forge/OLD/bugs/unreferencedAtomsDontPopulateBug.rkt
  • forge/racket-rfc6455/net/rfc6455/timeout.rkt
  • forge/examples/undirected_tree_syntax.rkt
  • forge/core/lang/reader.rkt
  • forge/tests/forge-core/electrum/trace-length-errors.rkt
  • forge/example/store/quant-bug2.rkt
  • forge/examples/higherOrderHack.rkt
  • forge/examples/address.rkt
  • forge/example/forge/coercing-ints.rkt
  • forge/example/store/forge-core-file.rkt
  • forge/example/forge-core/ints.rkt
  • forge/racket-rfc6455/net/rfc6455/dispatcher.rkt
  • forge/amalgam/tests/forge_ex2.rkt
  • forge/main.rkt
  • forge/tests/forge/electrum/traffic-light.rkt
  • forge/examples/blah.rkt
  • forge/example/store/forge-file.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/time-server.rkt
  • forge/pardinus-cli/server/kkcli-trace.rkt
  • forge/example/forge-core/transition-system.rkt
  • forge/examples/address_parsed.rkt
  • forge/examples/goatswolves3.rkt
  • forge/check-ex-spec/examples/sample-student/student-sample-core.rkt
  • forge/examples/test2.rkt
  • forge/tests/forge/formulas/setFormulaOperators.rkt
  • forge/example/store/tainting/tainting.rkt
  • forge/amalgam/desugar/desugar.rkt
  • forge/tests/forge/relations/lone.rkt
  • forge/examples/state-machine-inst.rkt
  • forge/amalgam/tests/desugar_helpers_test.rkt
  • forge/tests/forge/ints/intConverters.rkt
  • forge/tests/evaluator.rkt
  • forge/tests/forge-core/ints/intOperators.rkt
  • forge/examples/variadicBreakTests.rkt
  • forge/tests/forge/electrum/always-tests.rkt
  • forge/example/forge-core/contrasting.rkt
  • forge/pardinus-cli/server/kks.rkt
  • forge/examples/Untitled.rkt
  • forge/examples/address2_parsed.rkt
  • forge/tests/forge/sigs/extendingSigs.rkt
  • forge/logging/check-ex-spec/main.rkt
  • forge/breaks.rkt
  • forge/amalgam/userStudies/un-commentedKittyBacon.rkt
  • forge/tests/forge/sigs/abstractSigs.rkt
  • forge/tests/forge/ints/intStructure.rkt
  • forge/tests/forge/sigs/givenBounds.rkt
  • forge/example/store/forge-core-importing.rkt
  • forge/OLD/OLD/old-tests/basicGraph.rkt
  • forge/tests/forge-core/formulas/multiplicityFormulas.rkt
  • forge/example/forge-core/import2.rkt
  • forge/tests/forge/electrum/after-tests.rkt
  • forge/testme/core/main.rkt
  • forge/amalgam/userStudies/mturk_spec.rkt
  • forge/check-ex-spec/library/download-file.rkt
  • forge/example/new-mode/new-mode-fancy.rkt
  • forge/examples/intTests.rkt
  • forge/tests/forge-core/electrum/temporal-next.rkt
  • forge/tests/forge-core/other/ast-nodes.rkt
  • forge/amalgam/desugar/tuple2Expr.rkt
  • forge/examples/address2.rkt
  • forge/demo/life.rkt
  • forge/tests/forge/other/instances.rkt
  • forge/check-ex-spec/examples/sample-ta/sample/chaffs/sample-chaff2.rkt
  • forge/drracket-link.rkt
  • forge/tests/forge/relations/one.rkt
  • forge/testme/lang/expander.rkt
  • forge/tests/forge-core/ints/intConverters.rkt
  • forge/check-ex-spec/examples/ta-template/summarize.rkt
  • forge/tests/forge-core/instances/excluded-extender-value.rkt
  • forge/kodkod-cli/server/kkcli-expander.rkt
  • forge/last-checker.rkt
  • forge/amalgam/tests/forge_ex_test.rkt
  • forge/example/store/scripting-preds.rkt
  • forge/OLD/OLD/old-tests/instances.rkt
  • forge/racket-rfc6455/net/rfc6455/url.rkt
  • forge/new-mode/lang/expander.rkt
  • forge/OLD/bugs/quantifierBug.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/test-service-mapper.rkt
  • forge/examples/simplerTrace.rkt
  • forge/tests/forge/electrum/social-network.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/frame.rkt
  • forge/pardinus-cli/server/error-tests.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/conn.rkt
  • forge/example/forge-core/basic-relation.rkt
  • forge/lang/alloy-syntax/indenter.rkt
  • forge/example/forge-core/partial-instance.rkt
  • forge/example/forge-core/multiple-import.rkt
  • forge/examples/soundBreakTests3.rkt
  • forge/new-mode/core/main.rkt
  • forge/testme/examples/sample-student/student-sample-core.rkt
  • forge/examples/hopsBetweenCities.rkt
  • forge/new-mode/examples/basic-example-core.rkt
  • forge/examples/internal/highlighting-experiment.rkt
  • forge/example/forge/basic-core.rkt
  • forge/check-ex-spec/examples/sample-ta/sample/wheats/sample-wheat.rkt
  • forge/lang/alloy-syntax/tokenizer.rkt
  • forge/examples/life.rkt
  • forge/examples/test1.rkt
  • forge/examples/errors/error-test-forge.rkt
  • forge/new-mode/core/lang/reader.rkt
  • forge/examples/circular.rkt
  • forge/example/forge-core/graphs.rkt
  • forge/pardinus-cli/server/server-common.rkt
  • forge/tests/forge/expressions/expressionOperators.rkt
  • forge/example/forge-core/testing-merge.rkt
  • forge/new-mode/library.rkt
  • forge/example/forge/graphs.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/OLD/OLD/instances.rkt
  • forge/tests/forge/examples/booleanLogic.rkt
  • forge/testme/core/lang/reader.rkt
  • forge/testme/examples/sample-student/student-sample-surface.rkt
  • forge/testme/examples/sample-ta/sample/chaffs/sample-chaff1.rkt
  • forge/amalgam/userStudies/test.rkt
  • forge/example/store/edge-size-bug.rkt
  • forge/examples/errors/error-test-ast.rkt
  • forge/examples/traceSyntax.rkt
  • forge/example/store/tainting/some-defs.rkt
  • forge/OLD/OLD/old-tests/intConversion.rkt
  • forge/tests/forge-core/instances/basic-instances.rkt
  • forge/tests/forge-core/formulas/quantifiedFormulas.rkt
  • forge/examples/booleanLogic.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/echo-server.rkt
  • forge/amalgam/desugar/desugar_helpers.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/example/forge/transition-system.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/time-client-with-threads.rkt
  • forge/examples/soundBreakTests2.rkt
  • forge/example/store/edge-size-bug-forge.rkt
  • forge/tests/forge-core/formulas/booleanFormulaOperators.rkt
  • forge/example/store/old-forge.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/handshake.rkt
  • forge/examples/ADTtrace.rkt
  • forge/translate-to-kodkod-cli.rkt
  • forge/examples/test0.rkt
  • forge/tests/forge/electrum/eventually-tests.rkt
  • forge/pardinus-cli/server/kkcli-reader.rkt
  • forge/testme/examples/sample-ta/sample/chaffs/sample-chaff2.rkt
  • forge/amalgam/tests/amalgam_tests.rkt
  • forge/example/store/new-bug2.rkt
  • forge/translate-from-kodkod-cli.rkt
  • forge/examples/graph.rkt
  • forge/example/store/minimal-quant-bug.rkt
  • forge/testme/examples/sample-ta/sample/wheats/sample-wheat.rkt
  • forge/examples/goatswolves2.rkt
  • forge/tests/forge/relations/set.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/example/store/meeting-bug.rkt
  • forge/examples/errors/error-test-paren.rkt
  • forge/tests/forge-core/sigs/basicSigs.rkt
  • forge/evaluator.rkt
  • forge/racket-rfc6455/net/rfc6455/http.rkt
  • forge/drracket-gui.rkt
  • forge/check-ex-spec/lang/expander.rkt
  • forge/check-ex-spec/main.rkt
  • forge/tests/forge/ints/intOperators.rkt
  • forge/example/new-mode/new-mode-core.rkt
  • forge/example/forge-core/importing.rkt
  • forge/tests/forge/examples/sudoku.rkt
  • forge/racket-rfc6455/net/rfc6455/rfc6455/dispatcher.rkt
  • forge/example/forge/tristan-bug.rkt
  • forge/tests/forge-core/electrum/non-temporal-next.rkt
  • forge/pardinus-cli/server/kkcli-test.rkt
  • forge/examples/example.rkt
  • forge/amalgam/tests/lift-bounds_helpers_tests.rkt
  • forge/example/forge/unbound-identifier-bug.rkt
  • forge/tests/forge/electrum/example-light-puzzle.rkt
  • forge/core/main.rkt
  • forge/amalgam/lift-bounds/lift-bounds.rkt
  • forge/example/forge/simple-graph.rkt
  • forge/send-to-kodkod.rkt
  • forge/kodkod-cli/server/server.rkt
  • forge/lang/expander.rkt
  • forge/examples/token_test.rkt
  • forge/OLD/OLD/old-tests/plinear.rkt
  • forge/tests/forge/electrum/basic-temporal-example.rkt
  • forge/tests/forge-core/ints/intComparators.rkt
  • forge/examples/kittybacon.rkt
  • forge/server/eval-model.rkt
  • forge/tests/forge/electrum/cities.rkt
  • forge/examples/tttnew.rkt
  • forge/tests/forge-core/other/multiple-runs.rkt
  • forge/example/forge-core/small.rkt
  • forge/tests/forge-core/other/emptyJoinError.rkt
  • forge/examples/dir/file.rkt
  • forge/amalgam/userStudies/test-model2.rkt
  • forge/racket-rfc6455/net/rfc6455/private/connection-manager.rkt
  • forge/kodkod-cli/server/kkcli-reader.rkt
  • forge/server/modelToXML.rkt
  • forge/amalgam/substitutor/substitutor.rkt
  • forge/tests/forge-core/sigs/oneSigs.rkt
  • forge/new-mode/library/private-utilities.rkt
  • forge/OLD/OLD/traces/addRemove.rkt
  • forge/testme/examples/ta-template/summarize.rkt
  • forge/tool.rkt
  • forge/testme/library.rkt
  • forge/tests/forge/formulas/multiplicityFormulas.rkt
  • forge/check-ex-spec/examples/sample-student/student-sample-surface.rkt
  • forge/tests/forge/other/univIdenRTC.rkt
  • forge/example/forge-core/pardinus.rkt
  • forge/example/forge-core/extending-ints.rkt
  • forge/amalgam/userStudies/KittyBacon.rkt
  • forge/examples/simpleTrace2.rkt
  • forge/new-mode/library/public-utilities.rkt
  • forge/tests/forge-core/electrum/non-temporal-var-errors.rkt
  • forge/testme/lang/reader.rkt
  • forge/OLD/bugs/restrictionOperatorBug.rkt
  • forge/example/forge-core/read-from-file.rkt
  • forge/example/forge-core/pardinus2.rkt
  • forge/lang/ast.rkt
  • forge/lang/alloy-syntax/colorer.rkt
  • forge/logging/sigs.rkt
  • forge/pardinus-cli/server/log.rkt
  • forge/racket-rfc6455/net/rfc6455/server.rkt
  • forge/amalgam/lift-bounds/lift-bounds_helpers.rkt
  • forge/check-ex-spec/core/lang/reader.rkt
  • forge/tests/forge/ints/intComparators.rkt
  • forge/tests/forge-core/expressions/setComprehensions.rkt
  • forge/example/store/with-command/local-import.rkt
  • forge/example/forge-core/testing-test.rkt
  • forge/amalgam/tests/lift-bounds_test.rkt
  • forge/tests/forge/formulas/quantifiedFormulas.rkt
  • forge/OLD/bugs/func-bug.rkt
  • forge/racket-rfc6455/net/rfc6455.rkt
  • forge/examples/simplest.rkt
  • forge/tests/forge/electrum/non-var-can-stop-var-changes.rkt
  • forge/example/forge/instances.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/dispatcher.rkt
  • forge/examples/namedAtoms.rkt
  • forge/example/store/with-command/make-b-sig.rkt
  • forge/tests/forge-core/ints/intStructure.rkt
  • forge/pardinus-cli/server/intTests2.rkt
  • forge/tests/forge/sigs/oneSigs.rkt
  • forge/kodkod-cli/server/error-tests.rkt
  • forge/example/forge/basic.rkt
  • forge/kodkod-cli/server/server-common.rkt
  • forge/tests/forge/electrum/var-vs-non-var-rels.rkt
  • forge/tests/forge-core/sigs/abstractSigs.rkt
  • forge/check-ex-spec/library.rkt
  • forge/amalgam/tests/test_helpers.rkt
  • forge/kodkod-cli/server/kkcli-trace.rkt
  • forge/tests/forge/electrum/past-time.rkt
  • forge/sigs.rkt
  • forge/examples/simpleTrace.rkt
  • forge/OLD/OLD/old-tests/skolemOptions.rkt
  • forge/lang/bounds.rkt
  • forge/example/store/testing.rkt
  • forge/tests/forge/sigs/basicSigs.rkt
  • forge/example/store/new-bug.rkt
  • forge/kodkod-cli/server/kkcli-test.rkt
  • forge/racket-rfc6455/net/rfc6455/examples/client.rkt
  • forge/example/forge/check.rkt
  • forge/kodkod-cli/server/log.rkt
  • forge/testme/main.rkt
  • forge/amalgam/tests/substitutor_test.rkt
  • forge/lang/alloy-syntax/lexer.rkt
  • forge/check-ex-spec/library/commands.rkt
  • forge/new-mode/lang/reader.rkt
  • forge/kodkod-cli/server/intTests2.rkt
  • forge/examples/soundBreakTests.rkt
  • forge/example/forge-core/setting-solver.rkt
  • forge/new-mode/main.rkt
  • forge/example/forge-core/import1.rkt
  • forge/lang/reader.rkt
  • forge/new-mode/examples/basic-example-surface.rkt
  • forge/lazy-tree.rkt
  • forge/pardinus-cli/server/kkcli-expander.rkt
  • forge/examples/tttboards.rkt
  • forge/examples/traceBreak.rkt
  • forge/check-ex-spec/lang/reader.rkt
  • forge/example/forge-core/evaluating.rkt
  • forge/racket-rfc6455/net/rfc6455/hybi00/client.rkt
  • forge/lang/alloy-syntax/parser.rkt
  • forge/example/forge-core/shutdown.rkt
  • forge/tests/forge-core/expressions/expressionOperators.rkt
  • forge/examples/undirectedtree.rkt
  • forge/examples/sudoku.rkt
  • forge/example/store/meeting-test.rkt
  • forge/tests/forge/electrum/var-can-force-var-changes.rkt
  • forge/check-ex-spec/examples/sample-ta/sample/chaffs/sample-chaff1.rkt
  • forge/examples/intTests2.rkt
  • forge/tests/forge/formulas/booleanFormulaOperators.rkt
  • forge/examples/test.rkt
  • forge/examples/fancyBoundsTests.rkt
  • forge/amalgam/tests/forge_ex.rkt
  • forge/amalgam/tests/desugar_test.rkt