forge

A model-finding language with Alloy-adjacent syntax.

Build status: ok failing tests valid license

Authors

tim_nelsonλf959b50

Documentation

Tags

License

Last updated

Thursday, January 15th, 2026 5:52:51pm (UTC)

Ring

Conflicts

None

Dependencies

Most recent build results

Compiled successfully: transcript
Tests failed: transcript

Version Exceptions

Version	Source	Checksum
default	https://github.com/tnelson/Forge.git?path=forge	ffd940e18c252b8c01a83346726c124eab0b5be2

Last checked

Thursday, January 22nd, 2026 5:52:38pm (UTC)

Last edited

Monday, April 11th, 2022 11:42:40am (UTC)

Date added

Friday, January 24th, 2020 5:59:30pm (UTC)

Modules

forge/tests/forge-functional/other/ast-nodes.rkt
forge/tests/forge-core/examples/ast-parsing/skolem-test.rkt
forge/decode-wheat-lang/lang/reader.rkt
forge/utils/substitutor.rkt
forge/tests/forge-core/formulas/disj-some-core.rkt
forge/tests/forge-core/formulas/disj-lone-core.rkt
forge/tests/forge-functional/other/multiple-runs.rkt
forge/domains/abac/main.rkt
forge/tests/forge-core/other/skolemization.rkt
forge/racket-rfc6455/net/rfc6455/conn-api.rkt
forge/tests/forge-core/expressions/setComprehensions.rkt
forge/tests/forge-core/examples/ast-parsing/nnf-test.rkt
forge/tests/forge-core/other/test_behavior_last.rkt
forge/sigs-functional.rkt
forge/decode-wheat-lang/util.rkt
forge/examples/oopsla24/f9_core.rkt
forge/choose-lang-specific.rkt
forge/froglet/lang/reader.rkt
forge/racket-rfc6455/net/rfc6455/rfc6455/frame.rkt
forge/demo/life.rkt
forge/tests/forge-functional/ints/intComparators.rkt
forge/tests/forge-core/other/multiple-temporal-runs.rkt
forge/utils/lazy-tree.rkt
forge/tests/forge-functional/electrum/trace-length-errors.rkt
forge/tests/forge-functional/electrum/temporal-next-PvsC.rkt
forge/core/lang/reader.rkt
forge/tests/evaluator.rkt
forge/breaks.rkt
forge/tests/forge-functional/instances/eval-expr-match.rkt
forge/lang/alloy-syntax/parser.rkt
forge/racket-rfc6455/net/rfc6455/hybi00/conn.rkt
forge/tests/forge-core/other/builtins.rkt
forge/tests/forge-core/other/multiple-runs.rkt
forge/pardinus-cli/server/pardinus-server.rkt
forge/tests/forge-core/examples/ast-parsing/int-test.rkt
forge/domains/abac/pretty-formatting.rkt
forge/domains/abac/runner.rkt
forge/tests/srclocs/main.rkt
forge/temporal/lang/reader.rkt
forge/tests/forge-core/electrum/temporal-next-PvsC.rkt
forge/tests/forge-core/formulas/booleanFormulaOperators.rkt
forge/racket-rfc6455/net/rfc6455/http.rkt
forge/lang/alloy-syntax/indenter.rkt
forge/racket-rfc6455/net/rfc6455/examples/client.rkt
forge/tests/forge-core/formulas/disj-one-core.rkt
forge/domains/crypto/main.rkt
forge/solver-specific/translate-from-kodkod-cli.rkt
forge/racket-rfc6455/net/rfc6455/rfc6455/conn.rkt
forge/utils/target-oriented.rkt
forge/lang/alloy-syntax/lexer.rkt
forge/racket-rfc6455/net/rfc6455/client.rkt
forge/tests/forge-functional/examples/testing.rkt
forge/lang/reader.rkt
forge/racket-rfc6455/net/rfc6455/examples/time-client-with-threads.rkt
forge/tests/forge-core/electrum/non-temporal-next.rkt
forge/solver-specific/smtlib-shared.rkt
forge/domains/crypto/lang/reader.rkt
forge/utils/to-nnf.rkt
forge/tests/forge-core/formulas/quantifiedFormulas.rkt
forge/lang/deparse.rkt
forge/server/eval-model.rkt
forge/lang/lang-specific-checks.rkt
forge/tests/forge-functional/electrum/temporal-next.rkt
forge/temporal/lang/temporal-lang-specific-checks.rkt
forge/utils/collector.rkt
forge/racket-rfc6455/net/rfc6455/examples/cat.rkt
forge/racket-rfc6455/net/rfc6455/rfc6455/client.rkt
forge/logging/check-ex-spec/main.rkt
forge/domains/abac/helpers.rkt
forge/tests/error/import-invalid-example.rkt
forge/tests/forge-core/formulas/disj-all-core.rkt
forge/racket-rfc6455/net/rfc6455/rfc6455/handshake.rkt
forge/tests/forge-functional/formulas/multiplicityFormulas.rkt
forge/tests/forge-core/sigs/basicSigs.rkt
forge/lang/bounds.rkt
forge/tests/forge-functional/electrum/non-temporal-var-errors.rkt
forge/lang/alloy-syntax/colorer.rkt
forge/tests/forge-functional/instances/atoms.rkt
forge/tests/forge-core/other/bounds-optimization.rkt
forge/tests/forge-core/sigs/abstractSigs.rkt
forge/racket-rfc6455/net/rfc6455/rfc6455/dispatcher.rkt
forge/tests/forge-core/electrum/trace-length-errors.rkt
forge/tests/forge-core/other/test_behavior_first.rkt
forge/tests/forge-core/ints/intConverters.rkt
forge/tests/forge-core/formulas/disj-no-core.rkt
forge/domains/crypto/examples/reflect.rkt
forge/logging/sigs.rkt
forge/domains/abac/lexparse.rkt
forge/utils/to-skolem.rkt
forge/utils/identity.rkt
forge/lang/alloy-syntax/tokenizer.rkt
forge/racket-rfc6455/net/rfc6455/examples/time-server.rkt
forge/tests/forge-core/ints/intComparators.rkt
forge/logging/logging.rkt
forge/server/modelToXML.rkt
forge/server/serve-sterling-static.rkt
forge/lang/alloy-syntax/main.rkt
forge/tests/forge-core/sigs/extendingSigs.rkt
forge/racket-rfc6455/net/rfc6455/service-mapper.rkt
forge/racket-rfc6455/net/rfc6455/dispatcher.rkt
forge/racket-rfc6455/net/rfc6455/hybi00/dispatcher.rkt
forge/solver-specific/to-smtlib-tor.rkt
forge/tests/forge-functional/ints/intConverters.rkt
forge/utils/quantifier-grounding.rkt
forge/tests/forge-functional/sigs/abstractSigs.rkt
forge/tests/forge/target/tomf.rkt
forge/racket-rfc6455/net/rfc6455/examples/echo-server.rkt
forge/domains/abac/lang/reader.rkt
forge/solver-specific/cvc5-server.rkt
forge/tests/forge-functional/sigs/extendingSigs.rkt
forge/logging/2023/main.rkt
forge/tests/forge-core/other/override-core.rkt
forge/tests/forge-functional/sigs/basicSigs.rkt
forge/solver-specific/cvc5-tor.rkt
forge/racket-rfc6455/net/rfc6455/hybi00/handshake.rkt
forge/main.rkt
forge/tests/forge-functional/instances/eval-int-match.rkt
forge/tests/forge-functional/formulas/quantifiedFormulas.rkt
forge/tests/forge-functional/expressions/expressionOperators.rkt
forge/server/forgeserver.rkt
forge/tests/forge-core/instances/atoms.rkt
forge/racket-rfc6455/net/rfc6455/server.rkt
forge/lang/alloy-syntax/syntax-class.rkt
forge/utils/integer-converter.rkt
forge/core/main.rkt
forge/tests/forge-functional/examples/spanning-tree.rkt
forge/lang/ast.rkt
forge/racket-rfc6455/net/rfc6455/url.rkt
forge/bsl/lang/reader.rkt
forge/evaluator.rkt
forge/racket-rfc6455/net/rfc6455/examples/time-client-with-sync.rkt
forge/domains/abac/tests/emcstests.rkt
forge/sigs.rkt
forge/tests/forge-core/expressions/ifte-performance.rkt
forge/tests/forge-functional/instances/basic-instances.rkt
forge/tests/forge-functional/ints/intStructure.rkt
forge/tests/forge-functional/expressions/setComprehensions.rkt
forge/domains/crypto/expander.rkt
forge/tests/forge-core/ints/intStructure.rkt
forge/domains/abac/tests/abac1.rkt
forge/tests/forge-core/examples/testing.rkt
forge/tests/forge-core/other/emptyJoinError.rkt
forge/racket-rfc6455/net/rfc6455/timeout.rkt
forge/tests/forge-core/ints/intOperators.rkt
forge/tests/forge-core/other/target-oriented.rkt
forge/shared.rkt
forge/solver-specific/pardinus.rkt
forge/tests/forge-functional/electrum/non-temporal-next.rkt
forge/tests/forge-functional/ints/intOperators.rkt
forge/tests/forge-functional/formulas/booleanFormulaOperators.rkt
forge/racket-rfc6455/net/rfc6455/hybi00/client.rkt
forge/decode-wheat-lang/encode-wheat.rkt
forge/domains/crypto/examples/ns_fixed.rkt
forge/lang/expander.rkt
forge/tests/forge-core/instances/basic-instances.rkt
forge/send-to-solver.rkt
forge/racket-rfc6455/net/rfc6455/examples/test-service-mapper.rkt
forge/domains/abac/tests/abac2.rkt
forge/tests/forge-core/formulas/setFormulaOperators.rkt
forge/domains/crypto/examples/ns.rkt
forge/tests/forge-core/electrum/temporal-next.rkt
forge/tests/forge-core/sigs/oneSigs.rkt
forge/solver-specific/translate-to-kodkod-cli.rkt
forge/pardinus-cli/server/kks.rkt
forge/tests/forge-functional/formulas/setFormulaOperators.rkt
forge/tests/forge-core/examples/ast-parsing/sub-test.rkt
forge/tests/forge-core/examples/ast-parsing/identity-test.rkt
forge/tests/error/main.rkt
forge/froglet/lang/bsl-lang-specific-checks.rkt
forge/tests/forge-functional/sigs/oneSigs.rkt
forge/logging/2022/main.rkt
forge/tests/forge-core/other/ast-nodes.rkt
forge/racket-rfc6455/net/rfc6455.rkt
forge/tests/forge-core/formulas/multiplicityFormulas.rkt
forge/tests/forge-core/expressions/expressionOperators.rkt
forge/sigs-structs.rkt
forge/tests/forge-functional/expressions/ifte-performance.rkt
forge/tests/forge-core/electrum/non-temporal-var-errors.rkt
forge/solver-specific/server-common.rkt
forge/tests/forge-functional/other/emptyJoinError.rkt
forge/tests/forge-functional/instances/breakers.rkt
forge/racket-rfc6455/net/rfc6455/examples/test-server.rkt
forge/racket-rfc6455/net/rfc6455/private/connection-manager.rkt
forge/domains/abac/tests/errors.rkt
forge/last-checker.rkt