├── .github └── workflows │ ├── continuousIntegration.yml │ ├── semanticVersionUpdater.yml │ └── semanticVersionUpdater │ ├── get-update-type.py │ └── read-version.py ├── .gitignore ├── LICENSE ├── Notes ├── Bounds.md ├── README.md ├── UpdatingPardinus.txt ├── github-actions.txt ├── imports │ ├── README.md │ ├── info.rkt │ ├── main.rkt │ ├── other.rkt │ └── shared.rkt ├── types │ └── crypto_example.frg └── utilities │ └── JavaTemp.java ├── OLD ├── DEV │ ├── ADTtrace.rkt │ ├── addressbook_sexpr_escape.frg │ ├── bindTests.rkt │ ├── checkXSpecTests.rkt │ ├── errors │ │ ├── error-test-ast.rkt │ │ ├── error-test-forge.rkt │ │ ├── error-test-paren.rkt │ │ └── notes │ ├── eval-thing.rkt │ ├── fancyBoundsTests.rkt │ ├── higherOrderHack.rkt │ ├── hopsBetweenCities.rkt │ ├── internal │ │ └── highlighting-experiment.rkt │ ├── locs.frg │ ├── namedAtoms.rkt │ ├── property-where │ │ └── undirected_tree_properties.rkt │ ├── simpleTrace.rkt │ ├── simpleTrace2.rkt │ ├── simplerTrace.rkt │ ├── smallsigstest.rkt │ ├── soundBreakTests.rkt │ ├── soundBreakTests2.rkt │ ├── soundBreakTests3.rkt │ ├── test1.rkt │ ├── test2.rkt │ ├── traceBreak.rkt │ ├── traceComparison.rkt │ ├── traceSyntax.rkt │ ├── undirected_tree_syntax.rkt │ └── variadicBreakTests.rkt ├── ERROR MESSAGES ├── amalgam.rkt ├── amalgam │ ├── README.md │ ├── desugar │ │ ├── desugar.rkt │ │ ├── desugar_helpers.rkt │ │ └── tuple2Expr.rkt │ ├── lift-bounds │ │ ├── lift-bounds.rkt │ │ └── lift-bounds_helpers.rkt │ ├── substitutor │ │ └── substitutor.rkt │ ├── tests │ │ ├── amalgam_tests.rkt │ │ ├── desugar_helpers_test.rkt │ │ ├── desugar_test.rkt │ │ ├── forge_ex.rkt │ │ ├── forge_ex2.rkt │ │ ├── forge_ex_test.rkt │ │ ├── lift-bounds_helpers_tests.rkt │ │ ├── lift-bounds_test.rkt │ │ ├── substitutor_test.rkt │ │ └── test_helpers.rkt │ └── userStudies │ │ ├── KittyBacon.rkt │ │ ├── mturk_spec.rkt │ │ ├── test-model2.rkt │ │ ├── test.rkt │ │ └── un-commentedKittyBacon.rkt ├── bugs │ ├── func-bug.rkt │ ├── quantifierBug.rkt │ ├── restrictionOperatorBug.rkt │ └── unreferencedAtomsDontPopulateBug.rkt ├── check-ex-spec │ ├── README.md │ ├── core │ │ ├── lang │ │ │ └── reader.rkt │ │ └── main.rkt │ ├── demo │ │ └── demo-suite.rkt │ ├── examples │ │ ├── sample-student │ │ │ ├── student-sample-core.rkt │ │ │ └── student-sample-surface.rkt │ │ ├── sample-ta │ │ │ └── sample │ │ │ │ ├── chaffs │ │ │ │ ├── sample-chaff1.rkt │ │ │ │ └── sample-chaff2.rkt │ │ │ │ └── wheats │ │ │ │ └── sample-wheat.rkt │ │ └── ta-template │ │ │ ├── README │ │ │ ├── config.sh │ │ │ ├── new.sh │ │ │ ├── publish.sh │ │ │ ├── setup.sh │ │ │ └── summarize.rkt │ ├── info.rkt │ ├── lang │ │ ├── expander.rkt │ │ └── reader.rkt │ ├── library.rkt │ ├── library │ │ ├── commands.rkt │ │ └── download-file.rkt │ └── main.rkt ├── docs │ ├── basicForgeDocumentation.md │ ├── instances.md │ └── traces.md ├── drracket-tool │ ├── drracket-gui.rkt │ ├── drracket-link.rkt │ └── tool.rkt ├── errors │ ├── error-test-ast.rkt │ ├── error-test-forge.rkt │ └── error-test-paren.rkt ├── example │ ├── forge-core │ │ ├── basic-relation.rkt │ │ ├── contrasting.rkt │ │ ├── evaluating.rkt │ │ ├── extending-ints.rkt │ │ ├── graphs.rkt │ │ ├── import1.rkt │ │ ├── import2.rkt │ │ ├── importing.rkt │ │ ├── info-maps.rkt │ │ ├── ints.rkt │ │ ├── multiple-import.rkt │ │ ├── pardinus.rkt │ │ ├── pardinus2.rkt │ │ ├── partial-instance.rkt │ │ ├── read-from-file-source │ │ ├── read-from-file.rkt │ │ ├── relation-breakers.rkt │ │ ├── setting-solver.rkt │ │ ├── shutdown.rkt │ │ ├── small.rkt │ │ ├── stderr.txt │ │ ├── testing-merge.rkt │ │ ├── testing-test.rkt │ │ └── transition-system.rkt │ ├── forge │ │ ├── basic-core.rkt │ │ ├── basic.rkt │ │ ├── check.rkt │ │ ├── coercing-ints.rkt │ │ ├── graphs.rkt │ │ ├── importing.rkt │ │ ├── instances.rkt │ │ ├── simple-graph.rkt │ │ ├── transition-system.rkt │ │ ├── tristan-bug.rkt │ │ └── unbound-identifier-bug.rkt │ ├── new-mode │ │ ├── new-mode-core.rkt │ │ └── new-mode-fancy.rkt │ ├── pardinus │ │ ├── options.txt │ │ ├── pardinus.txt │ │ ├── pardinus2.txt │ │ ├── target.txt │ │ └── target2.txt │ └── store │ │ ├── edge-size-bug-forge.rkt │ │ ├── edge-size-bug.rkt │ │ ├── forge-core-file.rkt │ │ ├── forge-core-importing.rkt │ │ ├── forge-file.rkt │ │ ├── meeting-bug.rkt │ │ ├── meeting-test.rkt │ │ ├── minimal-quant-bug.rkt │ │ ├── new-bug.rkt │ │ ├── new-bug2.rkt │ │ ├── old-forge.rkt │ │ ├── quant-bug.rkt │ │ ├── quant-bug2.rkt │ │ ├── scripting-preds.rkt │ │ ├── tainting │ │ ├── some-defs.rkt │ │ └── tainting.rkt │ │ ├── testing.rkt │ │ ├── testing2.rkt │ │ └── with-command │ │ ├── local-import.rkt │ │ ├── make-b-sig.rkt │ │ └── make-c-sig.rkt ├── examples-and-tests │ ├── ADTtrace.rkt │ ├── Untitled.rkt │ ├── abc.rkt │ ├── address.rkt │ ├── address2.rkt │ ├── address2_parsed.rkt │ ├── address_parsed.rkt │ ├── bindTests.rkt │ ├── blah.rkt │ ├── booleanLogic.rkt │ ├── checkXSpecTests.rkt │ ├── circular.rkt │ ├── crypto.rkt │ ├── eval-thing.rkt │ ├── example.rkt │ ├── fancyBoundsTests.rkt │ ├── goatswolves2.rkt │ ├── goatswolves3.rkt │ ├── graph.rkt │ ├── higherOrderHack.rkt │ ├── hopsBetweenCities.rkt │ ├── instances.rkt │ ├── intTests.rkt │ ├── intTests2.rkt │ ├── join-lhs-core.rkt │ ├── join-lhs.rkt │ ├── kittybacon.rkt │ ├── life.rkt │ ├── namedAtoms.rkt │ ├── simpleTrace.rkt │ ├── simpleTrace2.rkt │ ├── simplerTrace.rkt │ ├── simplest.rkt │ ├── smallsigstest.rkt │ ├── soundBreakTests.rkt │ ├── soundBreakTests2.rkt │ ├── soundBreakTests3.rkt │ ├── state-machine-inst.rkt │ ├── sudoku.rkt │ ├── test-evaluator.rkt │ ├── test.rkt │ ├── test0.rkt │ ├── test1.rkt │ ├── test2.rkt │ ├── token_test.rkt │ ├── traceBreak.rkt │ ├── traceComparison.rkt │ ├── traceSyntax.rkt │ ├── tttboards.rkt │ ├── tttnew.rkt │ ├── undirected_tree_syntax.rkt │ ├── undirectedtree.rkt │ └── variadicBreakTests.rkt ├── internal │ ├── highlighting-experiment.rkt │ ├── kodkod-cli-syntax.txt │ └── pardinus-cli-tests │ │ ├── error-tests.rkt │ │ ├── intTests2.rkt │ │ ├── kkcli-expander.rkt │ │ ├── kkcli-reader.rkt │ │ ├── kkcli-test.rkt │ │ └── kkcli-trace.rkt ├── kodkod-cli │ ├── build.sh │ ├── builddocs.sh │ ├── customSolver │ │ └── python │ │ │ └── solver.py │ ├── jar │ │ ├── asm-7.1.jar │ │ ├── asm-analysis-7.1.jar │ │ ├── asm-tree-7.1.jar │ │ ├── asm-util-7.1.jar │ │ ├── hamcrest-core-1.3.jar │ │ ├── javabdd-1.0b2.jar │ │ ├── junit-4.12.jar │ │ ├── kodkod-cli.jar │ │ ├── kodkod.jar │ │ ├── libglucose.dylib │ │ ├── libglucose.so │ │ ├── liblingeling.dylib │ │ ├── liblingeling.so │ │ ├── libminisat.dylib │ │ ├── libminisat.so │ │ ├── libminisatprover.dll.a │ │ ├── libminisatprover.dylib │ │ ├── libminisatprover.so │ │ ├── minisatprover.dll │ │ ├── org.sat4j.core.jar │ │ ├── parboiled-core-1.3.1.jar │ │ ├── parboiled-java-1.3.1.jar │ │ ├── win32 │ │ │ └── minisatprover.dll │ │ └── win64 │ │ │ └── minisatprover.dll │ ├── new-old-jar │ │ ├── asm-7.1.jar │ │ ├── asm-analysis-7.1.jar │ │ ├── asm-tree-7.1.jar │ │ ├── asm-util-7.1.jar │ │ ├── hamcrest-core-1.3.jar │ │ ├── javabdd-1.0b2.jar │ │ ├── junit-4.12.jar │ │ ├── kodkod-cli.jar │ │ ├── kodkod.jar │ │ ├── libglucose.dylib │ │ ├── libglucose.so │ │ ├── liblingeling.dylib │ │ ├── liblingeling.so │ │ ├── libminisat.dylib │ │ ├── libminisat.so │ │ ├── libminisatprover.dll.a │ │ ├── libminisatprover.dylib │ │ ├── libminisatprover.so │ │ ├── minisatprover.dll │ │ ├── org.sat4j.core.jar │ │ ├── parboiled-core-1.3.1.jar │ │ ├── parboiled-java-1.3.1.jar │ │ ├── win32 │ │ │ └── minisatprover.dll │ │ └── win64 │ │ │ └── minisatprover.dll │ ├── run.sh │ ├── runtest.sh │ ├── server │ │ ├── error-tests.rkt │ │ ├── intTests2.rkt │ │ ├── kkcli-expander.rkt │ │ ├── kkcli-reader.rkt │ │ ├── kkcli-test.rkt │ │ ├── kkcli-trace.rkt │ │ ├── kks.rkt │ │ ├── server-common.rkt │ │ └── server.rkt │ ├── src │ │ └── kodkod │ │ │ └── cli │ │ │ ├── DefEnv.java │ │ │ ├── Defs.java │ │ │ ├── KodkodFactory.java │ │ │ ├── KodkodFormatter.java │ │ │ ├── KodkodOutput.java │ │ │ ├── KodkodParser.java │ │ │ ├── KodkodProblem.java │ │ │ ├── KodkodReporter.java │ │ │ ├── KodkodServer.java │ │ │ └── StandardKodkodOutput.java │ └── test-sat4j │ │ └── kodkod │ │ └── cli │ │ ├── AbstractParserTest.java │ │ ├── AllParserTests.java │ │ ├── AssertRuleTest.java │ │ ├── ConfigureRuleTest.java │ │ ├── ConstraintRuleTest.java │ │ ├── ExprRuleTest.java │ │ ├── IntExprRuleTest.java │ │ ├── IntsRuleTest.java │ │ ├── NodeRuleTest.java │ │ ├── RelationRuleTest.java │ │ ├── ServerTest.java │ │ ├── TupleSetRuleTest.java │ │ ├── UniverseRuleTest.java │ │ ├── bad.kks │ │ ├── good.kks │ │ ├── sample-incremental.kks │ │ └── sample.kks ├── locs.frg ├── new-mode │ ├── README.md │ ├── core │ │ ├── lang │ │ │ └── reader.rkt │ │ └── main.rkt │ ├── examples │ │ ├── basic-example-core.rkt │ │ └── basic-example-surface.rkt │ ├── lang │ │ ├── expander.rkt │ │ └── reader.rkt │ ├── library.rkt │ ├── library │ │ ├── commands.rkt │ │ ├── private-utilities.rkt │ │ └── public-utilities.rkt │ └── main.rkt ├── old-tests │ ├── basicGraph.rkt │ ├── instances.rkt │ ├── intConversion.rkt │ ├── plinear.rkt │ └── skolemOptions.rkt ├── smt │ ├── larger_forge │ │ ├── bridge.frg │ │ ├── grandpa.frg │ │ └── stacks.frg │ └── to-smtlib-uflia.rkt ├── smtlibtor │ ├── cvc5_confidence │ │ ├── choose.smt2 │ │ ├── crs_grandpa_cvc4.smt2 │ │ ├── grandpa_diff.smt2 │ │ ├── grandpa_test.smt2 │ │ ├── iden.smt2 │ │ └── minimal_unknown.smt2 │ ├── hidden_benchmarks │ │ ├── abt_dua.frg │ │ ├── geneaology.frg │ │ ├── lights.frg │ │ └── social_6.frg │ ├── old_tests │ │ ├── atom.smt2 │ │ ├── atom_tests.frg │ │ ├── basic_tests.frg │ │ ├── cvc5-with-commands.smt │ │ ├── cvc5.smt │ │ ├── goldbach.frg │ │ ├── grandpa.frg │ │ ├── grounding_tests.frg │ │ ├── own-grandpa.smt2 │ │ └── skolem_tests.rkt │ └── sterling │ │ └── int_relational_display.frg ├── test4.rkt ├── testme │ ├── core │ │ ├── lang │ │ │ └── reader.rkt │ │ └── main.rkt │ ├── examples │ │ ├── sample-student │ │ │ ├── student-sample-core.rkt │ │ │ └── student-sample-surface.rkt │ │ ├── sample-ta │ │ │ └── sample │ │ │ │ ├── chaffs │ │ │ │ ├── sample-chaff1.rkt │ │ │ │ └── sample-chaff2.rkt │ │ │ │ └── wheats │ │ │ │ └── sample-wheat.rkt │ │ └── ta-template │ │ │ ├── README │ │ │ ├── config.sh │ │ │ ├── new.sh │ │ │ ├── publish.sh │ │ │ ├── setup.sh │ │ │ └── summarize.rkt │ ├── info.rkt │ ├── lang │ │ ├── expander.rkt │ │ └── reader.rkt │ ├── library.rkt │ ├── library │ │ ├── commands.rkt │ │ └── download-file.rkt │ └── main.rkt ├── traces │ └── addRemove.rkt └── turf.frg ├── README.md ├── docs ├── CNAME ├── _config.yml ├── favicon.ico ├── img │ ├── abac_vscode.png │ ├── borrow-newt-custom.png │ ├── crypto_vscode.png │ ├── forge_logo_64.png │ ├── logo.png │ ├── logo_trimmed.png │ ├── netlab-custom-def1.png │ ├── reflect-0-custom.png │ └── ttt_vscode.png └── index.md ├── e2e ├── README.md ├── fail_assertion.frg ├── failing_decls_example.frg ├── failing_example.frg ├── passing_example.frg └── sat_pass_unsat_pass_2_runs.frg ├── forge ├── breaks.rkt ├── bsl │ └── lang │ │ └── reader.rkt ├── choose-lang-specific.rkt ├── clean.sh ├── core │ ├── lang │ │ └── reader.rkt │ └── main.rkt ├── decode-wheat-lang │ ├── encode-wheat.rkt │ ├── lang │ │ └── reader.rkt │ └── util.rkt ├── demo │ ├── README.md │ └── life.rkt ├── domains │ ├── abac │ │ ├── abac.frg │ │ ├── helpers.rkt │ │ ├── lang │ │ │ └── reader.rkt │ │ ├── lexparse.rkt │ │ ├── main.rkt │ │ ├── pretty-formatting.rkt │ │ ├── runner.rkt │ │ └── tests │ │ │ ├── abac1.rkt │ │ │ ├── abac2.rkt │ │ │ ├── emcstests.rkt │ │ │ ├── errors.rkt │ │ │ └── info.rkt │ └── crypto │ │ ├── README.md │ │ ├── base.frg │ │ ├── examples │ │ ├── ns.frg │ │ ├── ns.rkt │ │ ├── ns_fixed.frg │ │ ├── ns_fixed.rkt │ │ ├── reflect.frg │ │ └── reflect.rkt │ │ ├── expander.rkt │ │ ├── lang │ │ └── reader.rkt │ │ ├── main.rkt │ │ └── vis │ │ └── crypto_viz.js ├── evaluator.rkt ├── examples │ ├── README.md │ ├── basic │ │ ├── booleanLogic.frg │ │ ├── buckets.frg │ │ ├── gameOfLife.frg │ │ ├── restricting_space.frg │ │ ├── schoolPuzzle.frg │ │ └── traceSkeletonInst.frg │ ├── bdds │ │ └── bdds.frg │ ├── bsearch_array │ │ ├── binarysearch.frg │ │ └── binarysearch.js │ ├── bst │ │ ├── README.md │ │ ├── bst.frg │ │ ├── bst.js │ │ ├── bst_1.frg │ │ ├── bst_2.frg │ │ ├── bst_3.frg │ │ ├── bst_4.frg │ │ ├── bst_temporal.js │ │ ├── v1_success.png │ │ └── v2_failure.png │ ├── lights_puzzle │ │ ├── README.md │ │ ├── example.png │ │ ├── lights.js │ │ └── ring_of_lights.frg │ ├── ltlf │ │ ├── README.md │ │ ├── ltl_f.frg │ │ └── ltl_f.test.frg │ ├── musical_scales │ │ ├── scales.frg │ │ └── scales.js │ ├── network │ │ └── network.frg │ ├── oopsla24 │ │ ├── README.md │ │ ├── f2_ttt.frg │ │ ├── f3_nodes.frg │ │ ├── f4_counter.frg │ │ ├── f8_testing.frg │ │ ├── f9_core.rkt │ │ ├── goat_cabbage_wolf.frg │ │ ├── goat_cabbage_wolf.js │ │ ├── lab1_start.frg │ │ └── net1.vis.js │ ├── prim │ │ └── prim.frg │ ├── raft │ │ └── leader.frg │ ├── smt │ │ ├── factorization.frg │ │ ├── pythagorean.frg │ │ └── understanding_ic3.frg │ ├── sudoku_opt_viz │ │ ├── README.md │ │ ├── sudoku.js │ │ ├── sudoku_basic.frg │ │ ├── sudoku_rethink.frg │ │ ├── sudoku_unrolled.frg │ │ ├── sudoku_with_inst.frg │ │ └── sudoku_with_inst_2.frg │ ├── tic_tac_toe │ │ ├── tic_tac_toe_assertions.frg │ │ └── ttt_viz.js │ └── unsat │ │ ├── README.md │ │ ├── unsat_big.frg │ │ ├── unsat_comprehension.frg │ │ ├── unsat_example.frg │ │ ├── unsat_example.png │ │ ├── unsat_temporal.frg │ │ └── unsat_temporal_no_var.frg ├── froglet │ └── lang │ │ ├── bsl-lang-specific-checks.rkt │ │ └── reader.rkt ├── info.rkt ├── lang │ ├── alloy-syntax │ │ ├── colorer.rkt │ │ ├── indenter.rkt │ │ ├── lexer.rkt │ │ ├── main.rkt │ │ ├── parser.rkt │ │ ├── syntax-class.rkt │ │ └── tokenizer.rkt │ ├── ast.rkt │ ├── bounds.rkt │ ├── deparse.rkt │ ├── expander.rkt │ ├── lang-specific-checks.rkt │ └── reader.rkt ├── last-checker.rkt ├── logging │ ├── 2022 │ │ ├── README.md │ │ ├── index.js │ │ ├── main.rkt │ │ ├── package.js │ │ └── schema.sql │ ├── 2023 │ │ ├── README.md │ │ ├── index.js │ │ ├── main.rkt │ │ ├── package.js │ │ └── schema.sql │ ├── check-ex-spec │ │ ├── README.md │ │ ├── index.js │ │ ├── main.rkt │ │ ├── package.js │ │ └── schema.sql │ ├── google-cloud-function.py │ ├── logging.rkt │ ├── requirements.txt │ ├── schema.sql │ └── sigs.rkt ├── main.rkt ├── pardinus-cli │ ├── buddy.dll │ ├── buddytest.kks │ ├── build.sh │ ├── builddocs.sh │ ├── jar │ │ ├── asm-7.1.jar │ │ ├── asm-analysis-7.1.jar │ │ ├── asm-tree-7.1.jar │ │ ├── asm-util-7.1.jar │ │ ├── hamcrest-core-1.3.jar │ │ ├── javabdd-1.0b2.jar │ │ ├── junit-4.12.jar │ │ ├── kodkod.jar │ │ ├── libglucose.dylib │ │ ├── libglucose.so │ │ ├── liblingeling.dylib │ │ ├── liblingeling.so │ │ ├── libminisat.dylib │ │ ├── libminisat.so │ │ ├── libminisatprover.dll.a │ │ ├── libminisatprover.dylib │ │ ├── libminisatprover.so │ │ ├── minisatprover.dll │ │ ├── org.sat4j.core-2.3.1.jar │ │ ├── org.sat4j.maxsat-2.3.1.jar │ │ ├── org.sat4j.pb-2.3.1.jar │ │ ├── parboiled-core-1.3.1.jar │ │ ├── parboiled-java-1.3.1.jar │ │ ├── win32 │ │ │ └── minisatprover.dll │ │ └── win64 │ │ │ └── minisatprover.dll │ ├── pardinus-cli.iml │ ├── pardinus.txt │ ├── run.sh │ ├── runtest.sh │ ├── server │ │ ├── kks.rkt │ │ └── pardinus-server.rkt │ ├── temprun.sh │ └── test-sat4j │ │ └── kodkod │ │ └── cli │ │ ├── AbstractParserTest.java │ │ ├── AllParserTests.java │ │ ├── AssertRuleTest.java │ │ ├── ConfigureRuleTest.java │ │ ├── ConstraintRuleTest.java │ │ ├── ExprRuleTest.java │ │ ├── IntExprRuleTest.java │ │ ├── IntsRuleTest.java │ │ ├── NodeRuleTest.java │ │ ├── RelationRuleTest.java │ │ ├── ServerTest.java │ │ ├── TupleSetRuleTest.java │ │ ├── UniverseRuleTest.java │ │ ├── bad.kks │ │ ├── good.kks │ │ ├── sample-incremental.kks │ │ └── sample.kks ├── racket-rfc6455 │ ├── Makefile │ ├── README.md │ ├── TODO │ ├── info.rkt │ └── net │ │ ├── rfc6455.rkt │ │ └── rfc6455 │ │ ├── client.rkt │ │ ├── conn-api.rkt │ │ ├── dispatcher.rkt │ │ ├── examples │ │ ├── cat.rkt │ │ ├── client.html │ │ ├── client.js │ │ ├── client.rkt │ │ ├── echo-server.rkt │ │ ├── test-server.rkt │ │ ├── test-service-mapper.rkt │ │ ├── time-client-with-sync.rkt │ │ ├── time-client-with-threads.rkt │ │ └── time-server.rkt │ │ ├── http.rkt │ │ ├── hybi00 │ │ ├── client.rkt │ │ ├── conn.rkt │ │ ├── dispatcher.rkt │ │ └── handshake.rkt │ │ ├── private │ │ └── connection-manager.rkt │ │ ├── rfc6455 │ │ ├── client.rkt │ │ ├── conn.rkt │ │ ├── dispatcher.rkt │ │ ├── frame.rkt │ │ └── handshake.rkt │ │ ├── server.rkt │ │ ├── service-mapper.rkt │ │ ├── timeout.rkt │ │ └── url.rkt ├── run-tests.sh ├── send-to-solver.rkt ├── server │ ├── eval-model.rkt │ ├── forgeserver.rkt │ ├── modelToXML.rkt │ ├── serve-sterling-static.rkt │ └── static │ │ ├── avsdf-base.js │ │ ├── cola.min.js │ │ ├── cose-base.js │ │ ├── cyto.css │ │ ├── cyto.js │ │ ├── cytoscape-avsdf.js │ │ ├── cytoscape-cise.js │ │ ├── cytoscape-cola.js │ │ ├── cytoscape-cose-bilkent.js │ │ ├── cytoscape-dagre.js │ │ ├── cytoscape-euler.js │ │ ├── cytoscape-klay.js │ │ ├── cytoscape.min.js │ │ ├── eval.css │ │ ├── eval.js │ │ ├── layout-base.js │ │ ├── tabs.css │ │ ├── tabs.js │ │ ├── vizdocs.txt │ │ ├── viznotes.txt │ │ └── viznotes2.txt ├── shared.rkt ├── sigs-functional.rkt ├── sigs-structs.rkt ├── sigs.rkt ├── solver-specific │ ├── README.md │ ├── cvc5-server.rkt │ ├── cvc5-tor.rkt │ ├── pardinus.rkt │ ├── server-common.rkt │ ├── smtlib-shared.rkt │ ├── to-smtlib-tor.rkt │ ├── translate-from-kodkod-cli.rkt │ └── translate-to-kodkod-cli.rkt ├── sterling │ ├── README.md │ └── build │ │ ├── 04d1e2761f9f35056f4d.woff2 │ │ ├── 1065.bundle.js │ │ ├── 1065.bundle.js.LICENSE.txt │ │ ├── 1134.bundle.js │ │ ├── 1134.bundle.js.LICENSE.txt │ │ ├── 1147.bundle.js │ │ ├── 1147.bundle.js.LICENSE.txt │ │ ├── 1156.bundle.js │ │ ├── 1156.bundle.js.LICENSE.txt │ │ ├── 1259.bundle.js │ │ ├── 1259.bundle.js.LICENSE.txt │ │ ├── 1448.bundle.js │ │ ├── 1448.bundle.js.LICENSE.txt │ │ ├── 1471.bundle.js │ │ ├── 1471.bundle.js.LICENSE.txt │ │ ├── 180.bundle.js │ │ ├── 180.bundle.js.LICENSE.txt │ │ ├── 1886.bundle.js │ │ ├── 1886.bundle.js.LICENSE.txt │ │ ├── 1960.bundle.js │ │ ├── 1960.bundle.js.LICENSE.txt │ │ ├── 1961.bundle.js │ │ ├── 1961.bundle.js.LICENSE.txt │ │ ├── 1fca7e2436d828bfcc1e.woff2 │ │ ├── 2060.bundle.js │ │ ├── 2060.bundle.js.LICENSE.txt │ │ ├── 2075.bundle.js │ │ ├── 2075.bundle.js.LICENSE.txt │ │ ├── 2140.bundle.js │ │ ├── 2140.bundle.js.LICENSE.txt │ │ ├── 2240.bundle.js │ │ ├── 2240.bundle.js.LICENSE.txt │ │ ├── 249.bundle.js │ │ ├── 249.bundle.js.LICENSE.txt │ │ ├── 2571.bundle.js │ │ ├── 2571.bundle.js.LICENSE.txt │ │ ├── 2798.bundle.js │ │ ├── 2798.bundle.js.LICENSE.txt │ │ ├── 2814.bundle.js │ │ ├── 2814.bundle.js.LICENSE.txt │ │ ├── 2892.bundle.js │ │ ├── 2892.bundle.js.LICENSE.txt │ │ ├── 2911.bundle.js │ │ ├── 2911.bundle.js.LICENSE.txt │ │ ├── 2954.bundle.js │ │ ├── 2954.bundle.js.LICENSE.txt │ │ ├── 3036.bundle.js │ │ ├── 3036.bundle.js.LICENSE.txt │ │ ├── 3585.bundle.js │ │ ├── 3585.bundle.js.LICENSE.txt │ │ ├── 361b4e954e8542179f4e.woff2 │ │ ├── 3632.bundle.js │ │ ├── 3632.bundle.js.LICENSE.txt │ │ ├── 3682.bundle.js │ │ ├── 3682.bundle.js.LICENSE.txt │ │ ├── 3760.bundle.js │ │ ├── 3760.bundle.js.LICENSE.txt │ │ ├── 3919.bundle.js │ │ ├── 3919.bundle.js.LICENSE.txt │ │ ├── 4028.bundle.js │ │ ├── 4028.bundle.js.LICENSE.txt │ │ ├── 4129.bundle.js │ │ ├── 4129.bundle.js.LICENSE.txt │ │ ├── 4188.bundle.js │ │ ├── 4188.bundle.js.LICENSE.txt │ │ ├── 4368.bundle.js │ │ ├── 4368.bundle.js.LICENSE.txt │ │ ├── 4386.bundle.js │ │ ├── 4386.bundle.js.LICENSE.txt │ │ ├── 4407.bundle.js │ │ ├── 4407.bundle.js.LICENSE.txt │ │ ├── 4902.bundle.js │ │ ├── 4902.bundle.js.LICENSE.txt │ │ ├── 4912.bundle.js │ │ ├── 4912.bundle.js.LICENSE.txt │ │ ├── 4946.bundle.js │ │ ├── 4946.bundle.js.LICENSE.txt │ │ ├── 49cee852aa31171c40ec.woff2 │ │ ├── 5062.bundle.js │ │ ├── 5062.bundle.js.LICENSE.txt │ │ ├── 512fb741699ee46e71c3.woff2 │ │ ├── 525.bundle.js │ │ ├── 525.bundle.js.LICENSE.txt │ │ ├── 5288.bundle.js │ │ ├── 5288.bundle.js.LICENSE.txt │ │ ├── 5377.bundle.js │ │ ├── 5377.bundle.js.LICENSE.txt │ │ ├── 5593.bundle.js │ │ ├── 5593.bundle.js.LICENSE.txt │ │ ├── 56da2b3c6dfb1f0328db.woff2 │ │ ├── 56dba998166ea5a0ca7f.ttf │ │ ├── 5703.bundle.js │ │ ├── 5703.bundle.js.LICENSE.txt │ │ ├── 5849.bundle.js │ │ ├── 5849.bundle.js.LICENSE.txt │ │ ├── 5962.bundle.js │ │ ├── 5962.bundle.js.LICENSE.txt │ │ ├── 5e8f03c3b9316f732063.woff2 │ │ ├── 6082.bundle.js │ │ ├── 6082.bundle.js.LICENSE.txt │ │ ├── 6241.bundle.js │ │ ├── 6241.bundle.js.LICENSE.txt │ │ ├── 6424.bundle.js │ │ ├── 6424.bundle.js.LICENSE.txt │ │ ├── 6449.bundle.js │ │ ├── 6449.bundle.js.LICENSE.txt │ │ ├── 6489.bundle.js │ │ ├── 6489.bundle.js.LICENSE.txt │ │ ├── 6563.bundle.js │ │ ├── 6563.bundle.js.LICENSE.txt │ │ ├── 6587.bundle.js │ │ ├── 6587.bundle.js.LICENSE.txt │ │ ├── 662312a083b9f48417ca.woff2 │ │ ├── 665.bundle.js │ │ ├── 665.bundle.js.LICENSE.txt │ │ ├── 6717.bundle.js │ │ ├── 6717.bundle.js.LICENSE.txt │ │ ├── 67d8cd94107e624e1ba3.woff2 │ │ ├── 7043.bundle.js │ │ ├── 7043.bundle.js.LICENSE.txt │ │ ├── 7131.bundle.js │ │ ├── 7131.bundle.js.LICENSE.txt │ │ ├── 7287.bundle.js │ │ ├── 7287.bundle.js.LICENSE.txt │ │ ├── 7562.bundle.js │ │ ├── 7562.bundle.js.LICENSE.txt │ │ ├── 7637.bundle.js │ │ ├── 7637.bundle.js.LICENSE.txt │ │ ├── 7778.bundle.js │ │ ├── 7778.bundle.js.LICENSE.txt │ │ ├── 7835.bundle.js │ │ ├── 7835.bundle.js.LICENSE.txt │ │ ├── 7b190f87f3b16cfe66f0.woff2 │ │ ├── 7c2a112ab30d0c9d36b9.woff2 │ │ ├── 8070.bundle.js │ │ ├── 8070.bundle.js.LICENSE.txt │ │ ├── 8084.bundle.js │ │ ├── 8084.bundle.js.LICENSE.txt │ │ ├── 8180.bundle.js │ │ ├── 8180.bundle.js.LICENSE.txt │ │ ├── 8401.bundle.js │ │ ├── 8401.bundle.js.LICENSE.txt │ │ ├── 8424.bundle.js │ │ ├── 8424.bundle.js.LICENSE.txt │ │ ├── 848.bundle.js │ │ ├── 848.bundle.js.LICENSE.txt │ │ ├── 854.bundle.js │ │ ├── 854.bundle.js.LICENSE.txt │ │ ├── 8670.bundle.js │ │ ├── 8670.bundle.js.LICENSE.txt │ │ ├── 8715.bundle.js │ │ ├── 8715.bundle.js.LICENSE.txt │ │ ├── 8719.bundle.js │ │ ├── 8719.bundle.js.LICENSE.txt │ │ ├── 8906.bundle.js │ │ ├── 8906.bundle.js.LICENSE.txt │ │ ├── 8946.bundle.js │ │ ├── 8946.bundle.js.LICENSE.txt │ │ ├── 911.bundle.js │ │ ├── 911.bundle.js.LICENSE.txt │ │ ├── 9343.bundle.js │ │ ├── 9343.bundle.js.LICENSE.txt │ │ ├── 9398.bundle.js │ │ ├── 9398.bundle.js.LICENSE.txt │ │ ├── 9400.bundle.js │ │ ├── 9400.bundle.js.LICENSE.txt │ │ ├── 9537.bundle.js │ │ ├── 9537.bundle.js.LICENSE.txt │ │ ├── 9684.bundle.js │ │ ├── 9684.bundle.js.LICENSE.txt │ │ ├── 9907.bundle.js │ │ ├── 9907.bundle.js.LICENSE.txt │ │ ├── 996.bundle.js │ │ ├── 996.bundle.js.LICENSE.txt │ │ ├── 9ec88c733519f2c4d290.woff2 │ │ ├── a1150ac3087281f17899.woff2 │ │ ├── ac8a623eed5d619296c0.woff2 │ │ ├── aff26d13fe0b9fa60a38.woff2 │ │ ├── assets │ │ ├── android-chrome-144x144.png │ │ ├── android-chrome-192x192.png │ │ ├── android-chrome-256x256.png │ │ ├── android-chrome-36x36.png │ │ ├── android-chrome-384x384.png │ │ ├── android-chrome-48x48.png │ │ ├── android-chrome-512x512.png │ │ ├── android-chrome-72x72.png │ │ ├── android-chrome-96x96.png │ │ ├── apple-touch-icon-1024x1024.png │ │ ├── apple-touch-icon-114x114.png │ │ ├── apple-touch-icon-120x120.png │ │ ├── apple-touch-icon-144x144.png │ │ ├── apple-touch-icon-152x152.png │ │ ├── apple-touch-icon-167x167.png │ │ ├── apple-touch-icon-180x180.png │ │ ├── apple-touch-icon-57x57.png │ │ ├── apple-touch-icon-60x60.png │ │ ├── apple-touch-icon-72x72.png │ │ ├── apple-touch-icon-76x76.png │ │ ├── apple-touch-icon-precomposed.png │ │ ├── apple-touch-icon.png │ │ ├── apple-touch-startup-image-1125x2436.png │ │ ├── apple-touch-startup-image-1136x640.png │ │ ├── apple-touch-startup-image-1242x2208.png │ │ ├── apple-touch-startup-image-1242x2688.png │ │ ├── apple-touch-startup-image-1334x750.png │ │ ├── apple-touch-startup-image-1536x2048.png │ │ ├── apple-touch-startup-image-1620x2160.png │ │ ├── apple-touch-startup-image-1668x2224.png │ │ ├── apple-touch-startup-image-1668x2388.png │ │ ├── apple-touch-startup-image-1792x828.png │ │ ├── apple-touch-startup-image-2048x1536.png │ │ ├── apple-touch-startup-image-2048x2732.png │ │ ├── apple-touch-startup-image-2160x1620.png │ │ ├── apple-touch-startup-image-2208x1242.png │ │ ├── apple-touch-startup-image-2224x1668.png │ │ ├── apple-touch-startup-image-2388x1668.png │ │ ├── apple-touch-startup-image-2436x1125.png │ │ ├── apple-touch-startup-image-2688x1242.png │ │ ├── apple-touch-startup-image-2732x2048.png │ │ ├── apple-touch-startup-image-640x1136.png │ │ ├── apple-touch-startup-image-750x1334.png │ │ ├── apple-touch-startup-image-828x1792.png │ │ ├── browserconfig.xml │ │ ├── coast-228x228.png │ │ ├── favicon-16x16.png │ │ ├── favicon-32x32.png │ │ ├── favicon-48x48.png │ │ ├── favicon.ico │ │ ├── firefox_app_128x128.png │ │ ├── firefox_app_512x512.png │ │ ├── firefox_app_60x60.png │ │ ├── manifest.json │ │ ├── manifest.webapp │ │ ├── mstile-144x144.png │ │ ├── mstile-150x150.png │ │ ├── mstile-310x150.png │ │ ├── mstile-310x310.png │ │ ├── mstile-70x70.png │ │ ├── yandex-browser-50x50.png │ │ └── yandex-browser-manifest.json │ │ ├── c20795eca5fc139c1f8a.woff2 │ │ ├── css.worker.js │ │ ├── d422a2608bde11389a91.woff2 │ │ ├── e7bf88ca0c20756ee8e8.woff2 │ │ ├── editor.worker.js │ │ ├── f040c6c2c35bd88d2ce8.woff │ │ ├── f5946aeee8e1ab23d609.woff2 │ │ ├── html.worker.js │ │ ├── html.worker.js.LICENSE.txt │ │ ├── index.html │ │ ├── json.worker.js │ │ ├── main.bundle.js │ │ ├── ts.worker.js │ │ └── ts.worker.js.LICENSE.txt ├── temporal │ └── lang │ │ ├── reader.rkt │ │ └── temporal-lang-specific-checks.rkt ├── tests │ ├── error │ │ ├── abstract.frg │ │ ├── arity-in-comprehension-domain.frg │ │ ├── bsl-arrow.frg │ │ ├── bsl-ast-arrow.frg │ │ ├── bsl-ast-intersect.frg │ │ ├── bsl-ast-minus.frg │ │ ├── bsl-ast-plus.frg │ │ ├── bsl-ast-star.frg │ │ ├── bsl-ast-transitive-closure.frg │ │ ├── bsl-int-minus.frg │ │ ├── bsl-join-right.frg │ │ ├── bsl-join-right2.frg │ │ ├── bsl-join-right3.frg │ │ ├── bsl-join-right4.frg │ │ ├── bsl-join-right5.frg │ │ ├── bsl-join-right6.frg │ │ ├── bsl-join.frg │ │ ├── bsl-join2.frg │ │ ├── bsl-join3.frg │ │ ├── bsl-reachable-nonfield-varargs.frg │ │ ├── bsl-reachable-nonfield.frg │ │ ├── bsl-reachable-too-few-arguments.frg │ │ ├── bsl-reachable.frg │ │ ├── bsl-reachable2.frg │ │ ├── bsl-set-singleton-equal.frg │ │ ├── bsl-set.frg │ │ ├── bsl-transpose-ast.frg │ │ ├── bsl_multiple_failures.frg │ │ ├── consistency-error.frg │ │ ├── example_electrum.frg │ │ ├── example_impossible.frg │ │ ├── excluded-extender-value.frg │ │ ├── exp-on-rhs-assert.frg │ │ ├── exp-on-rhs-consistency.frg │ │ ├── exp-on-rhs-inconsistency.frg │ │ ├── exp-on-rhs-quantified-assert.frg │ │ ├── expect-fun-args.frg │ │ ├── expect-fun-no-args.frg │ │ ├── expect-predicate-args.frg │ │ ├── expect-predicate-no-args.frg │ │ ├── expr-in-comprehension-condition.frg │ │ ├── failed_sat.frg │ │ ├── failed_theorem.frg │ │ ├── failed_unsat.frg │ │ ├── formula_comprehension_cardinality.frg │ │ ├── formula_comprehension_multiplicity.frg │ │ ├── froglet-arrow.frg │ │ ├── froglet-ast-arrow.frg │ │ ├── froglet-ast-bind.frg │ │ ├── froglet-ast-intersect.frg │ │ ├── froglet-ast-minus.frg │ │ ├── froglet-ast-notimplies.frg │ │ ├── froglet-ast-plus.frg │ │ ├── froglet-ast-star.frg │ │ ├── froglet-ast-transitive-closure.frg │ │ ├── froglet-ast-transpose.frg │ │ ├── froglet-field-shadow.frg │ │ ├── froglet-http.frg │ │ ├── froglet-int-minus.frg │ │ ├── froglet-is-linear0.frg │ │ ├── froglet-is-linear1.frg │ │ ├── froglet-join-right.frg │ │ ├── froglet-join-right2.frg │ │ ├── froglet-join-right3.frg │ │ ├── froglet-join-right4.frg │ │ ├── froglet-join-right5.frg │ │ ├── froglet-join-right6.frg │ │ ├── froglet-join.frg │ │ ├── froglet-join2.frg │ │ ├── froglet-join3.frg │ │ ├── froglet-pred.frg │ │ ├── froglet-reachable-2.frg │ │ ├── froglet-reachable-3.frg │ │ ├── froglet-reachable-4.frg │ │ ├── froglet-reachable1.frg │ │ ├── froglet-reachable3.frg │ │ ├── froglet-reachable5.frg │ │ ├── froglet-reachable6.frg │ │ ├── froglet-set-singleton-equal.frg │ │ ├── froglet-set.frg │ │ ├── hello.frg │ │ ├── hidden-wheat.frg │ │ ├── ill_typed_inst_columns_reversed.frg │ │ ├── import-invalid-example.rkt │ │ ├── inconsistency-error.frg │ │ ├── inst-lower-not-subset-upper.frg │ │ ├── inst-undefined-bound-child-one.frg │ │ ├── int_literal_too_big.frg │ │ ├── invalid-example.frg │ │ ├── is_theorem_disabled.frg │ │ ├── loc │ │ │ ├── field_use_loc_error.frg │ │ │ ├── ifte-error.frg │ │ │ └── sig_use_loc_error.frg │ │ ├── main.rkt │ │ ├── malformed-test-double.frg │ │ ├── mismatched-arg-type-arity.frg │ │ ├── mismatched-arg-type-basic-univ.frg │ │ ├── mismatched-arg-type-basic.frg │ │ ├── mismatched-arg-type-fun-arity.frg │ │ ├── mismatched-arg-type-fun-codomain-int.frg │ │ ├── mismatched-arg-type-fun-codomain-non-primsig.frg │ │ ├── mismatched-arg-type-fun-codomain.frg │ │ ├── mismatched-arg-type-fun-output-int.frg │ │ ├── mismatched-arg-type-fun-output-non-primsig.frg │ │ ├── mismatched-arg-type-fun-output.frg │ │ ├── mismatched-arg-type-fun-univ-output.frg │ │ ├── mismatched-arg-type-fun.frg │ │ ├── mismatched-arg-type-int.frg │ │ ├── mismatched-arg-type-no-quant.frg │ │ ├── mismatched-arg-type-no-quant2.frg │ │ ├── mismatched-arg-type-non-primsig.frg │ │ ├── mismatched-arg-type-non-primsig2.frg │ │ ├── multiple-positive-examples-failing.frg │ │ ├── multiple_test_failures.frg │ │ ├── no-temporal-ltl-evaluator.frg │ │ ├── no-temporal-ltl.frg │ │ ├── non-expr-in-comprehension-domain.frg │ │ ├── override-no-overlap.frg │ │ ├── override-wrong-arity.frg │ │ ├── parsing_less_dash.frg │ │ ├── piecewise-bind-combine.frg │ │ ├── piecewise-bind-mix-ops.frg │ │ ├── piecewise-bind-repeat.frg │ │ ├── piecewise-bind-sigs.frg │ │ ├── piecewise_domain_too_big.frg │ │ ├── priming-basic.frg │ │ ├── properties_directed_tree_necessity_error.frg │ │ ├── properties_directed_tree_sufficiency_error.frg │ │ ├── properties_undirected_tree_overconstraint_error.frg │ │ ├── properties_undirected_tree_underconstraint_multiple_errors.frg │ │ ├── run-given-non-formula.frg │ │ ├── tree-type-error.frg │ │ └── unstated_bounds.frg │ ├── evaluator.rkt │ ├── forge-core │ │ ├── electrum │ │ │ ├── non-temporal-next.rkt │ │ │ ├── non-temporal-var-errors.rkt │ │ │ ├── temporal-next-PvsC.rkt │ │ │ ├── temporal-next.rkt │ │ │ └── trace-length-errors.rkt │ │ ├── examples │ │ │ ├── ast-parsing │ │ │ │ ├── identity-test.rkt │ │ │ │ ├── int-test.frg │ │ │ │ ├── int-test.rkt │ │ │ │ ├── nnf-test.frg │ │ │ │ ├── nnf-test.rkt │ │ │ │ ├── skolem-test.frg │ │ │ │ ├── skolem-test.rkt │ │ │ │ ├── sub-test.frg │ │ │ │ ├── sub-test.rkt │ │ │ │ └── test.frg │ │ │ ├── test.frg │ │ │ ├── test2.frg │ │ │ └── testing.rkt │ │ ├── expressions │ │ │ ├── expressionOperators.rkt │ │ │ ├── ifte-performance.rkt │ │ │ ├── metadata.frg │ │ │ └── setComprehensions.rkt │ │ ├── formulas │ │ │ ├── booleanFormulaOperators.rkt │ │ │ ├── disj-all-core.rkt │ │ │ ├── disj-lone-core.rkt │ │ │ ├── disj-no-core.rkt │ │ │ ├── disj-one-core.rkt │ │ │ ├── disj-some-core.rkt │ │ │ ├── metadata.frg │ │ │ ├── multiplicityFormulas.rkt │ │ │ ├── quantifiedFormulas.rkt │ │ │ └── setFormulaOperators.rkt │ │ ├── instances │ │ │ ├── atoms.rkt │ │ │ └── basic-instances.rkt │ │ ├── ints │ │ │ ├── intComparators.rkt │ │ │ ├── intConverters.rkt │ │ │ ├── intOperators.rkt │ │ │ └── intStructure.rkt │ │ ├── other │ │ │ ├── arrow-core.frg │ │ │ ├── ast-nodes.rkt │ │ │ ├── bounds-optimization.rkt │ │ │ ├── builtins.rkt │ │ │ ├── emptyJoinError.rkt │ │ │ ├── funcBreaker.frg │ │ │ ├── int-minus-core.frg │ │ │ ├── join-core.frg │ │ │ ├── multiple-runs.rkt │ │ │ ├── multiple-temporal-runs.rkt │ │ │ ├── override-core.rkt │ │ │ ├── set-single-equal.frg │ │ │ ├── skolemization.rkt │ │ │ ├── target-oriented.rkt │ │ │ ├── test_behavior_first.rkt │ │ │ └── test_behavior_last.rkt │ │ └── sigs │ │ │ ├── abstractSigs.rkt │ │ │ ├── basicSigs.rkt │ │ │ ├── extendingSigs.rkt │ │ │ └── oneSigs.rkt │ ├── forge-functional │ │ ├── electrum │ │ │ ├── non-temporal-next.rkt │ │ │ ├── non-temporal-var-errors.rkt │ │ │ ├── temporal-next-PvsC.rkt │ │ │ ├── temporal-next.rkt │ │ │ └── trace-length-errors.rkt │ │ ├── examples │ │ │ ├── spanning-tree.rkt │ │ │ └── testing.rkt │ │ ├── expressions │ │ │ ├── expressionOperators.rkt │ │ │ ├── ifte-performance.rkt │ │ │ └── setComprehensions.rkt │ │ ├── formulas │ │ │ ├── booleanFormulaOperators.rkt │ │ │ ├── multiplicityFormulas.rkt │ │ │ ├── quantifiedFormulas.rkt │ │ │ └── setFormulaOperators.rkt │ │ ├── instances │ │ │ ├── atoms.rkt │ │ │ ├── basic-instances.rkt │ │ │ ├── breakers.rkt │ │ │ ├── eval-expr-match.rkt │ │ │ └── eval-int-match.rkt │ │ ├── ints │ │ │ ├── intComparators.rkt │ │ │ ├── intConverters.rkt │ │ │ ├── intOperators.rkt │ │ │ └── intStructure.rkt │ │ ├── other │ │ │ ├── ast-nodes.rkt │ │ │ ├── emptyJoinError.rkt │ │ │ └── multiple-runs.rkt │ │ └── sigs │ │ │ ├── abstractSigs.rkt │ │ │ ├── basicSigs.rkt │ │ │ ├── extendingSigs.rkt │ │ │ └── oneSigs.rkt │ ├── forge │ │ ├── bsl │ │ │ ├── intSumMinus.frg │ │ │ ├── join-no-error.frg │ │ │ ├── reachable-no-error.frg │ │ │ └── set-card.frg │ │ ├── electrum │ │ │ ├── after-tests.frg │ │ │ ├── always-tests.frg │ │ │ ├── always-true.frg │ │ │ ├── basic-temporal-example.frg │ │ │ ├── cities.frg │ │ │ ├── eventually-tests.frg │ │ │ ├── example-light-puzzle.frg │ │ │ ├── non-var-can-stop-var-changes.frg │ │ │ ├── past-time.frg │ │ │ ├── prime-check.frg │ │ │ ├── social-network.frg │ │ │ ├── traffic-light.frg │ │ │ ├── var-can-force-var-changes.frg │ │ │ ├── var-vs-non-var-rels.frg │ │ │ └── var-vs-non-var-sigs.frg │ │ ├── examples │ │ │ ├── booleanLogic.frg │ │ │ └── sudoku.frg │ │ ├── expressions │ │ │ ├── expressionOperators.frg │ │ │ ├── ifte.frg │ │ │ ├── orderOfOpsExprs.frg │ │ │ ├── orderOfOpsLogical.frg │ │ │ ├── orderOfOpsLogical2.frg │ │ │ └── setComprehensions.frg │ │ ├── formulas │ │ │ ├── booleanFormulaOperators.frg │ │ │ ├── multiplicityFormulas.frg │ │ │ ├── predicates.frg │ │ │ ├── quantifiedFormulas.frg │ │ │ └── setFormulaOperators.frg │ │ ├── fuzz │ │ │ ├── README.md │ │ │ ├── unsat_binarysearch_preservation.frg │ │ │ ├── unsat_comprehension.frg │ │ │ ├── unsat_temporal.frg │ │ │ ├── unsat_temporal_no_var.frg │ │ │ ├── unsat_toplevel_andand.frg │ │ │ └── unsat_toplevel_pred_andand.frg │ │ ├── ints │ │ │ ├── extendInt.frg │ │ │ ├── extendIntOne.frg │ │ │ ├── implicitConversion.frg │ │ │ ├── intComparators.frg │ │ │ ├── intConverters.frg │ │ │ ├── intOperators.frg │ │ │ └── intStructure.frg │ │ ├── library │ │ │ ├── reachable.frg │ │ │ ├── seq.frg │ │ │ └── seq_relational.frg │ │ ├── other │ │ │ ├── QUOTES_TEMPLATE.txt │ │ │ ├── Space In Filename.frg │ │ │ ├── ast-errors.frg │ │ │ ├── consistency-assertions.frg │ │ │ ├── decl-order.frg │ │ │ ├── disj-all.frg │ │ │ ├── disj-lone.frg │ │ │ ├── disj-no.frg │ │ │ ├── disj-one.frg │ │ │ ├── disj-some.frg │ │ │ ├── empty.frg │ │ │ ├── example_instances.frg │ │ │ ├── instances.frg │ │ │ ├── integer-instances.frg │ │ │ ├── internal-ids-preds.frg │ │ │ ├── internal-ids-sigs.frg │ │ │ ├── logging-ok-with-hashlang-comment.frg │ │ │ ├── no_overflow.frg │ │ │ ├── open.frg │ │ │ ├── other-file.frg │ │ │ ├── other-file2.frg │ │ │ ├── override-surface.frg │ │ │ ├── parser-ids-OK.frg │ │ │ ├── properties_undirected_tree.frg │ │ │ ├── quantified-assertions.frg │ │ │ ├── recursive-error.frg │ │ │ ├── satisfaction-assertions.frg │ │ │ ├── sequences.frg │ │ │ ├── sterling-off.frg │ │ │ └── univIdenRTC.frg │ │ ├── relations │ │ │ ├── breakers.frg │ │ │ ├── lone.frg │ │ │ ├── ont.frg │ │ │ └── set.frg │ │ ├── sigs │ │ │ ├── abstractSigs.frg │ │ │ ├── basicSigs.frg │ │ │ ├── extendingSigs.frg │ │ │ ├── givenBounds.frg │ │ │ ├── loneSigs.frg │ │ │ └── oneSigs.frg │ │ └── target │ │ │ ├── tomf.frg │ │ │ ├── tomf.rkt │ │ │ └── tomf_change.frg │ ├── froglet │ │ ├── forge.frg │ │ ├── froglet-errors.frg │ │ ├── froglet-in-checks.frg │ │ ├── froglet-pi.frg │ │ ├── froglet-uni.frg │ │ ├── import_internal_identifiers.frg │ │ ├── internal_identifiers.frg │ │ └── require-forge.frg │ ├── smt │ │ └── smtlibtor │ │ │ ├── alloy_benchmarks │ │ │ ├── .gitignore │ │ │ ├── ab_ai.frg │ │ │ ├── ab_dua.frg │ │ │ ├── academia_0.frg │ │ │ ├── academia_1.frg │ │ │ ├── academia_2.frg │ │ │ ├── academia_3.frg │ │ │ ├── academia_4.frg │ │ │ ├── birthday.frg │ │ │ ├── cf_0.frg │ │ │ ├── family_1.frg │ │ │ ├── family_2.frg │ │ │ ├── fs_nda.frg │ │ │ ├── fs_sd.frg │ │ │ ├── gp_nsf.frg │ │ │ ├── gp_nsg.frg │ │ │ ├── javatypes.frg │ │ │ ├── library.frg │ │ │ ├── loc_int.frg │ │ │ ├── number_1.frg │ │ │ ├── railway.frg │ │ │ ├── run_benchmarks.sh │ │ │ ├── set.frg │ │ │ ├── social_1.frg │ │ │ ├── social_2.frg │ │ │ ├── social_3.frg │ │ │ ├── social_4.frg │ │ │ └── social_5.frg │ │ │ ├── arity_testing.frg │ │ │ ├── bounds_instantation.frg │ │ │ ├── cardinality_testing.frg │ │ │ ├── comprehension_testing.frg │ │ │ ├── finite_intset.frg │ │ │ ├── int_cardinality_testing.frg │ │ │ ├── int_relational.frg │ │ │ ├── multiplicity_testing.frg │ │ │ ├── operator_testing.frg │ │ │ ├── optimize_testing.frg │ │ │ ├── simple_s-exp_test.frg │ │ │ └── sum_behavior_errors.frg │ ├── srclocs │ │ ├── main.rkt │ │ └── sigs_fields_preds_funs.frg │ ├── temporal │ │ └── temporal_lang.frg │ ├── test-forge │ ├── test-forge-bsl-no-error │ ├── test-forge-core │ └── test-forge-functional └── utils │ ├── collector.rkt │ ├── identity.rkt │ ├── integer-converter.rkt │ ├── lazy-tree.rkt │ ├── quantifier-grounding.rkt │ ├── substitutor.rkt │ ├── target-oriented.rkt │ ├── to-nnf.rkt │ └── to-skolem.rkt ├── froglet ├── info.rkt ├── lang │ └── reader.rkt ├── main.rkt ├── typecheck │ ├── error.rkt │ ├── main.rkt │ └── struct.rkt └── util.rkt ├── script-examples └── digraph │ ├── digraph.rkt │ └── spec.rkt └── viz-examples ├── tree ├── static_tree_edges.js ├── tree.frg ├── tree.js ├── tree2.js └── tree3.js └── ttt ├── ttt.frg ├── ttt_new.js └── ttt_old.js /.github/workflows/continuousIntegration.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/.github/workflows/continuousIntegration.yml -------------------------------------------------------------------------------- /.github/workflows/semanticVersionUpdater.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/.github/workflows/semanticVersionUpdater.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/LICENSE -------------------------------------------------------------------------------- /Notes/Bounds.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/Bounds.md -------------------------------------------------------------------------------- /Notes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/README.md -------------------------------------------------------------------------------- /Notes/UpdatingPardinus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/UpdatingPardinus.txt -------------------------------------------------------------------------------- /Notes/github-actions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/github-actions.txt -------------------------------------------------------------------------------- /Notes/imports/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/imports/README.md -------------------------------------------------------------------------------- /Notes/imports/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/imports/info.rkt -------------------------------------------------------------------------------- /Notes/imports/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/imports/main.rkt -------------------------------------------------------------------------------- /Notes/imports/other.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/imports/other.rkt -------------------------------------------------------------------------------- /Notes/imports/shared.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/imports/shared.rkt -------------------------------------------------------------------------------- /Notes/types/crypto_example.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/types/crypto_example.frg -------------------------------------------------------------------------------- /Notes/utilities/JavaTemp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/Notes/utilities/JavaTemp.java -------------------------------------------------------------------------------- /OLD/DEV/ADTtrace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/ADTtrace.rkt -------------------------------------------------------------------------------- /OLD/DEV/addressbook_sexpr_escape.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/addressbook_sexpr_escape.frg -------------------------------------------------------------------------------- /OLD/DEV/bindTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/bindTests.rkt -------------------------------------------------------------------------------- /OLD/DEV/checkXSpecTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/checkXSpecTests.rkt -------------------------------------------------------------------------------- /OLD/DEV/errors/error-test-ast.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/errors/error-test-ast.rkt -------------------------------------------------------------------------------- /OLD/DEV/errors/error-test-forge.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/errors/error-test-forge.rkt -------------------------------------------------------------------------------- /OLD/DEV/errors/error-test-paren.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/errors/error-test-paren.rkt -------------------------------------------------------------------------------- /OLD/DEV/errors/notes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/errors/notes -------------------------------------------------------------------------------- /OLD/DEV/eval-thing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/eval-thing.rkt -------------------------------------------------------------------------------- /OLD/DEV/fancyBoundsTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/fancyBoundsTests.rkt -------------------------------------------------------------------------------- /OLD/DEV/higherOrderHack.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/higherOrderHack.rkt -------------------------------------------------------------------------------- /OLD/DEV/hopsBetweenCities.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/hopsBetweenCities.rkt -------------------------------------------------------------------------------- /OLD/DEV/internal/highlighting-experiment.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/internal/highlighting-experiment.rkt -------------------------------------------------------------------------------- /OLD/DEV/locs.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/locs.frg -------------------------------------------------------------------------------- /OLD/DEV/namedAtoms.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/namedAtoms.rkt -------------------------------------------------------------------------------- /OLD/DEV/simpleTrace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/simpleTrace.rkt -------------------------------------------------------------------------------- /OLD/DEV/simpleTrace2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/simpleTrace2.rkt -------------------------------------------------------------------------------- /OLD/DEV/simplerTrace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/simplerTrace.rkt -------------------------------------------------------------------------------- /OLD/DEV/smallsigstest.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/smallsigstest.rkt -------------------------------------------------------------------------------- /OLD/DEV/soundBreakTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/soundBreakTests.rkt -------------------------------------------------------------------------------- /OLD/DEV/soundBreakTests2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/soundBreakTests2.rkt -------------------------------------------------------------------------------- /OLD/DEV/soundBreakTests3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/soundBreakTests3.rkt -------------------------------------------------------------------------------- /OLD/DEV/test1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/test1.rkt -------------------------------------------------------------------------------- /OLD/DEV/test2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/test2.rkt -------------------------------------------------------------------------------- /OLD/DEV/traceBreak.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/traceBreak.rkt -------------------------------------------------------------------------------- /OLD/DEV/traceComparison.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/traceComparison.rkt -------------------------------------------------------------------------------- /OLD/DEV/traceSyntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/traceSyntax.rkt -------------------------------------------------------------------------------- /OLD/DEV/undirected_tree_syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/undirected_tree_syntax.rkt -------------------------------------------------------------------------------- /OLD/DEV/variadicBreakTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/DEV/variadicBreakTests.rkt -------------------------------------------------------------------------------- /OLD/ERROR MESSAGES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/ERROR MESSAGES -------------------------------------------------------------------------------- /OLD/amalgam.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam.rkt -------------------------------------------------------------------------------- /OLD/amalgam/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/README.md -------------------------------------------------------------------------------- /OLD/amalgam/desugar/desugar.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/desugar/desugar.rkt -------------------------------------------------------------------------------- /OLD/amalgam/desugar/desugar_helpers.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/desugar/desugar_helpers.rkt -------------------------------------------------------------------------------- /OLD/amalgam/desugar/tuple2Expr.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/desugar/tuple2Expr.rkt -------------------------------------------------------------------------------- /OLD/amalgam/lift-bounds/lift-bounds.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/lift-bounds/lift-bounds.rkt -------------------------------------------------------------------------------- /OLD/amalgam/lift-bounds/lift-bounds_helpers.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/lift-bounds/lift-bounds_helpers.rkt -------------------------------------------------------------------------------- /OLD/amalgam/substitutor/substitutor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/substitutor/substitutor.rkt -------------------------------------------------------------------------------- /OLD/amalgam/tests/amalgam_tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/tests/amalgam_tests.rkt -------------------------------------------------------------------------------- /OLD/amalgam/tests/desugar_helpers_test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/tests/desugar_helpers_test.rkt -------------------------------------------------------------------------------- /OLD/amalgam/tests/desugar_test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/tests/desugar_test.rkt -------------------------------------------------------------------------------- /OLD/amalgam/tests/forge_ex.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/tests/forge_ex.rkt -------------------------------------------------------------------------------- /OLD/amalgam/tests/forge_ex2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/tests/forge_ex2.rkt -------------------------------------------------------------------------------- /OLD/amalgam/tests/forge_ex_test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/tests/forge_ex_test.rkt -------------------------------------------------------------------------------- /OLD/amalgam/tests/lift-bounds_helpers_tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/tests/lift-bounds_helpers_tests.rkt -------------------------------------------------------------------------------- /OLD/amalgam/tests/lift-bounds_test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/tests/lift-bounds_test.rkt -------------------------------------------------------------------------------- /OLD/amalgam/tests/substitutor_test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/tests/substitutor_test.rkt -------------------------------------------------------------------------------- /OLD/amalgam/tests/test_helpers.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/tests/test_helpers.rkt -------------------------------------------------------------------------------- /OLD/amalgam/userStudies/KittyBacon.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/userStudies/KittyBacon.rkt -------------------------------------------------------------------------------- /OLD/amalgam/userStudies/mturk_spec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/userStudies/mturk_spec.rkt -------------------------------------------------------------------------------- /OLD/amalgam/userStudies/test-model2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/userStudies/test-model2.rkt -------------------------------------------------------------------------------- /OLD/amalgam/userStudies/test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/amalgam/userStudies/test.rkt -------------------------------------------------------------------------------- /OLD/bugs/func-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/bugs/func-bug.rkt -------------------------------------------------------------------------------- /OLD/bugs/quantifierBug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/bugs/quantifierBug.rkt -------------------------------------------------------------------------------- /OLD/bugs/restrictionOperatorBug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/bugs/restrictionOperatorBug.rkt -------------------------------------------------------------------------------- /OLD/bugs/unreferencedAtomsDontPopulateBug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/bugs/unreferencedAtomsDontPopulateBug.rkt -------------------------------------------------------------------------------- /OLD/check-ex-spec/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/README.md -------------------------------------------------------------------------------- /OLD/check-ex-spec/core/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/core/lang/reader.rkt -------------------------------------------------------------------------------- /OLD/check-ex-spec/core/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/core/main.rkt -------------------------------------------------------------------------------- /OLD/check-ex-spec/demo/demo-suite.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/demo/demo-suite.rkt -------------------------------------------------------------------------------- /OLD/check-ex-spec/examples/ta-template/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/examples/ta-template/README -------------------------------------------------------------------------------- /OLD/check-ex-spec/examples/ta-template/new.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/examples/ta-template/new.sh -------------------------------------------------------------------------------- /OLD/check-ex-spec/examples/ta-template/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/examples/ta-template/setup.sh -------------------------------------------------------------------------------- /OLD/check-ex-spec/info.rkt: -------------------------------------------------------------------------------- 1 | #lang info 2 | 3 | (define compile-omit-paths '("examples")) -------------------------------------------------------------------------------- /OLD/check-ex-spec/lang/expander.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/lang/expander.rkt -------------------------------------------------------------------------------- /OLD/check-ex-spec/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/lang/reader.rkt -------------------------------------------------------------------------------- /OLD/check-ex-spec/library.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/library.rkt -------------------------------------------------------------------------------- /OLD/check-ex-spec/library/commands.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/library/commands.rkt -------------------------------------------------------------------------------- /OLD/check-ex-spec/library/download-file.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/library/download-file.rkt -------------------------------------------------------------------------------- /OLD/check-ex-spec/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/check-ex-spec/main.rkt -------------------------------------------------------------------------------- /OLD/docs/basicForgeDocumentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/docs/basicForgeDocumentation.md -------------------------------------------------------------------------------- /OLD/docs/instances.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/docs/instances.md -------------------------------------------------------------------------------- /OLD/docs/traces.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/docs/traces.md -------------------------------------------------------------------------------- /OLD/drracket-tool/drracket-gui.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/drracket-tool/drracket-gui.rkt -------------------------------------------------------------------------------- /OLD/drracket-tool/drracket-link.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/drracket-tool/drracket-link.rkt -------------------------------------------------------------------------------- /OLD/drracket-tool/tool.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/drracket-tool/tool.rkt -------------------------------------------------------------------------------- /OLD/errors/error-test-ast.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/errors/error-test-ast.rkt -------------------------------------------------------------------------------- /OLD/errors/error-test-forge.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/errors/error-test-forge.rkt -------------------------------------------------------------------------------- /OLD/errors/error-test-paren.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/errors/error-test-paren.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/basic-relation.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/basic-relation.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/contrasting.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/contrasting.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/evaluating.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/evaluating.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/extending-ints.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/extending-ints.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/graphs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/graphs.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/import1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/import1.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/import2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/import2.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/importing.rkt: -------------------------------------------------------------------------------- 1 | #lang forge/core 2 | 3 | (require "transition-system.rkt") 4 | 5 | -------------------------------------------------------------------------------- /OLD/example/forge-core/info-maps.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/info-maps.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/ints.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/ints.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/multiple-import.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/multiple-import.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/pardinus.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/pardinus.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/pardinus2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/pardinus2.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/partial-instance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/partial-instance.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/read-from-file-source: -------------------------------------------------------------------------------- 1 | (= A B) -------------------------------------------------------------------------------- /OLD/example/forge-core/read-from-file.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/read-from-file.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/relation-breakers.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/relation-breakers.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/setting-solver.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/setting-solver.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/shutdown.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/shutdown.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/small.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/small.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/stderr.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /OLD/example/forge-core/testing-merge.rkt: -------------------------------------------------------------------------------- 1 | #lang forge/core -------------------------------------------------------------------------------- /OLD/example/forge-core/testing-test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/testing-test.rkt -------------------------------------------------------------------------------- /OLD/example/forge-core/transition-system.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge-core/transition-system.rkt -------------------------------------------------------------------------------- /OLD/example/forge/basic-core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge/basic-core.rkt -------------------------------------------------------------------------------- /OLD/example/forge/basic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge/basic.rkt -------------------------------------------------------------------------------- /OLD/example/forge/check.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge/check.rkt -------------------------------------------------------------------------------- /OLD/example/forge/coercing-ints.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge/coercing-ints.rkt -------------------------------------------------------------------------------- /OLD/example/forge/graphs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge/graphs.rkt -------------------------------------------------------------------------------- /OLD/example/forge/importing.rkt: -------------------------------------------------------------------------------- 1 | #lang forge/core 2 | 3 | (require "transition-system.rkt") 4 | 5 | -------------------------------------------------------------------------------- /OLD/example/forge/instances.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge/instances.rkt -------------------------------------------------------------------------------- /OLD/example/forge/simple-graph.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge/simple-graph.rkt -------------------------------------------------------------------------------- /OLD/example/forge/transition-system.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge/transition-system.rkt -------------------------------------------------------------------------------- /OLD/example/forge/tristan-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge/tristan-bug.rkt -------------------------------------------------------------------------------- /OLD/example/forge/unbound-identifier-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/forge/unbound-identifier-bug.rkt -------------------------------------------------------------------------------- /OLD/example/new-mode/new-mode-core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/new-mode/new-mode-core.rkt -------------------------------------------------------------------------------- /OLD/example/new-mode/new-mode-fancy.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/new-mode/new-mode-fancy.rkt -------------------------------------------------------------------------------- /OLD/example/pardinus/options.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/pardinus/options.txt -------------------------------------------------------------------------------- /OLD/example/pardinus/pardinus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/pardinus/pardinus.txt -------------------------------------------------------------------------------- /OLD/example/pardinus/pardinus2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/pardinus/pardinus2.txt -------------------------------------------------------------------------------- /OLD/example/pardinus/target.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/pardinus/target.txt -------------------------------------------------------------------------------- /OLD/example/pardinus/target2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/pardinus/target2.txt -------------------------------------------------------------------------------- /OLD/example/store/edge-size-bug-forge.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/edge-size-bug-forge.rkt -------------------------------------------------------------------------------- /OLD/example/store/edge-size-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/edge-size-bug.rkt -------------------------------------------------------------------------------- /OLD/example/store/forge-core-file.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/forge-core-file.rkt -------------------------------------------------------------------------------- /OLD/example/store/forge-core-importing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/forge-core-importing.rkt -------------------------------------------------------------------------------- /OLD/example/store/forge-file.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/forge-file.rkt -------------------------------------------------------------------------------- /OLD/example/store/meeting-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/meeting-bug.rkt -------------------------------------------------------------------------------- /OLD/example/store/meeting-test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/meeting-test.rkt -------------------------------------------------------------------------------- /OLD/example/store/minimal-quant-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/minimal-quant-bug.rkt -------------------------------------------------------------------------------- /OLD/example/store/new-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/new-bug.rkt -------------------------------------------------------------------------------- /OLD/example/store/new-bug2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/new-bug2.rkt -------------------------------------------------------------------------------- /OLD/example/store/old-forge.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/old-forge.rkt -------------------------------------------------------------------------------- /OLD/example/store/quant-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/quant-bug.rkt -------------------------------------------------------------------------------- /OLD/example/store/quant-bug2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/quant-bug2.rkt -------------------------------------------------------------------------------- /OLD/example/store/scripting-preds.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/scripting-preds.rkt -------------------------------------------------------------------------------- /OLD/example/store/tainting/some-defs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/tainting/some-defs.rkt -------------------------------------------------------------------------------- /OLD/example/store/tainting/tainting.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/tainting/tainting.rkt -------------------------------------------------------------------------------- /OLD/example/store/testing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/testing.rkt -------------------------------------------------------------------------------- /OLD/example/store/testing2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/testing2.rkt -------------------------------------------------------------------------------- /OLD/example/store/with-command/local-import.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/example/store/with-command/local-import.rkt -------------------------------------------------------------------------------- /OLD/example/store/with-command/make-b-sig.rkt: -------------------------------------------------------------------------------- 1 | #lang forge 2 | 3 | sig B {} -------------------------------------------------------------------------------- /OLD/example/store/with-command/make-c-sig.rkt: -------------------------------------------------------------------------------- 1 | #lang forge/core 2 | 3 | (sig C) -------------------------------------------------------------------------------- /OLD/examples-and-tests/ADTtrace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/ADTtrace.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/Untitled.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/Untitled.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/abc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/abc.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/address.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/address.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/address2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/address2.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/address2_parsed.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/address2_parsed.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/address_parsed.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/address_parsed.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/bindTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/bindTests.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/blah.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/blah.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/booleanLogic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/booleanLogic.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/checkXSpecTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/checkXSpecTests.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/circular.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/circular.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/crypto.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/crypto.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/eval-thing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/eval-thing.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/example.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/example.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/fancyBoundsTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/fancyBoundsTests.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/goatswolves2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/goatswolves2.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/goatswolves3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/goatswolves3.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/graph.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/graph.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/higherOrderHack.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/higherOrderHack.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/hopsBetweenCities.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/hopsBetweenCities.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/instances.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/instances.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/intTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/intTests.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/intTests2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/intTests2.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/join-lhs-core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/join-lhs-core.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/join-lhs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/join-lhs.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/kittybacon.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/kittybacon.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/life.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/life.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/namedAtoms.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/namedAtoms.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/simpleTrace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/simpleTrace.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/simpleTrace2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/simpleTrace2.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/simplerTrace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/simplerTrace.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/simplest.rkt: -------------------------------------------------------------------------------- 1 | #lang forge 2 | 3 | 4 | sig A {} 5 | 6 | run {some A} 7 | 8 | -------------------------------------------------------------------------------- /OLD/examples-and-tests/smallsigstest.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/smallsigstest.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/soundBreakTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/soundBreakTests.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/soundBreakTests2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/soundBreakTests2.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/soundBreakTests3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/soundBreakTests3.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/state-machine-inst.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/state-machine-inst.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/sudoku.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/sudoku.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/test-evaluator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/test-evaluator.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/test.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/test0.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/test0.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/test1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/test1.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/test2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/test2.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/token_test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/token_test.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/traceBreak.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/traceBreak.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/traceComparison.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/traceComparison.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/traceSyntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/traceSyntax.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/tttboards.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/tttboards.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/tttnew.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/tttnew.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/undirectedtree.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/undirectedtree.rkt -------------------------------------------------------------------------------- /OLD/examples-and-tests/variadicBreakTests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/examples-and-tests/variadicBreakTests.rkt -------------------------------------------------------------------------------- /OLD/internal/highlighting-experiment.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/internal/highlighting-experiment.rkt -------------------------------------------------------------------------------- /OLD/internal/kodkod-cli-syntax.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/internal/kodkod-cli-syntax.txt -------------------------------------------------------------------------------- /OLD/internal/pardinus-cli-tests/error-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/internal/pardinus-cli-tests/error-tests.rkt -------------------------------------------------------------------------------- /OLD/internal/pardinus-cli-tests/intTests2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/internal/pardinus-cli-tests/intTests2.rkt -------------------------------------------------------------------------------- /OLD/internal/pardinus-cli-tests/kkcli-test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/internal/pardinus-cli-tests/kkcli-test.rkt -------------------------------------------------------------------------------- /OLD/internal/pardinus-cli-tests/kkcli-trace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/internal/pardinus-cli-tests/kkcli-trace.rkt -------------------------------------------------------------------------------- /OLD/kodkod-cli/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/build.sh -------------------------------------------------------------------------------- /OLD/kodkod-cli/builddocs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/builddocs.sh -------------------------------------------------------------------------------- /OLD/kodkod-cli/customSolver/python/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/customSolver/python/solver.py -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/asm-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/asm-7.1.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/asm-analysis-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/asm-analysis-7.1.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/asm-tree-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/asm-tree-7.1.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/asm-util-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/asm-util-7.1.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/hamcrest-core-1.3.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/hamcrest-core-1.3.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/javabdd-1.0b2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/javabdd-1.0b2.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/junit-4.12.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/junit-4.12.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/kodkod-cli.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/kodkod-cli.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/kodkod.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/kodkod.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/libglucose.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/libglucose.dylib -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/libglucose.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/libglucose.so -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/liblingeling.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/liblingeling.dylib -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/liblingeling.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/liblingeling.so -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/libminisat.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/libminisat.dylib -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/libminisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/libminisat.so -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/libminisatprover.dll.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/libminisatprover.dll.a -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/libminisatprover.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/libminisatprover.dylib -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/libminisatprover.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/libminisatprover.so -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/minisatprover.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/minisatprover.dll -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/org.sat4j.core.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/org.sat4j.core.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/parboiled-core-1.3.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/parboiled-core-1.3.1.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/parboiled-java-1.3.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/parboiled-java-1.3.1.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/win32/minisatprover.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/win32/minisatprover.dll -------------------------------------------------------------------------------- /OLD/kodkod-cli/jar/win64/minisatprover.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/jar/win64/minisatprover.dll -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/asm-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/asm-7.1.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/asm-analysis-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/asm-analysis-7.1.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/asm-tree-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/asm-tree-7.1.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/asm-util-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/asm-util-7.1.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/javabdd-1.0b2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/javabdd-1.0b2.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/junit-4.12.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/junit-4.12.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/kodkod-cli.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/kodkod-cli.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/kodkod.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/kodkod.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/libglucose.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/libglucose.dylib -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/libglucose.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/libglucose.so -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/liblingeling.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/liblingeling.dylib -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/liblingeling.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/liblingeling.so -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/libminisat.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/libminisat.dylib -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/libminisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/libminisat.so -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/libminisatprover.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/libminisatprover.so -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/minisatprover.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/minisatprover.dll -------------------------------------------------------------------------------- /OLD/kodkod-cli/new-old-jar/org.sat4j.core.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/new-old-jar/org.sat4j.core.jar -------------------------------------------------------------------------------- /OLD/kodkod-cli/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/run.sh -------------------------------------------------------------------------------- /OLD/kodkod-cli/runtest.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | java -cp "jar/*" org.junit.runner.JUnitCore $1 4 | -------------------------------------------------------------------------------- /OLD/kodkod-cli/server/error-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/server/error-tests.rkt -------------------------------------------------------------------------------- /OLD/kodkod-cli/server/intTests2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/server/intTests2.rkt -------------------------------------------------------------------------------- /OLD/kodkod-cli/server/kkcli-expander.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/server/kkcli-expander.rkt -------------------------------------------------------------------------------- /OLD/kodkod-cli/server/kkcli-reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/server/kkcli-reader.rkt -------------------------------------------------------------------------------- /OLD/kodkod-cli/server/kkcli-test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/server/kkcli-test.rkt -------------------------------------------------------------------------------- /OLD/kodkod-cli/server/kkcli-trace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/server/kkcli-trace.rkt -------------------------------------------------------------------------------- /OLD/kodkod-cli/server/kks.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/server/kks.rkt -------------------------------------------------------------------------------- /OLD/kodkod-cli/server/server-common.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/server/server-common.rkt -------------------------------------------------------------------------------- /OLD/kodkod-cli/server/server.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/server/server.rkt -------------------------------------------------------------------------------- /OLD/kodkod-cli/src/kodkod/cli/DefEnv.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/src/kodkod/cli/DefEnv.java -------------------------------------------------------------------------------- /OLD/kodkod-cli/src/kodkod/cli/Defs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/src/kodkod/cli/Defs.java -------------------------------------------------------------------------------- /OLD/kodkod-cli/src/kodkod/cli/KodkodOutput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/src/kodkod/cli/KodkodOutput.java -------------------------------------------------------------------------------- /OLD/kodkod-cli/src/kodkod/cli/KodkodParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/src/kodkod/cli/KodkodParser.java -------------------------------------------------------------------------------- /OLD/kodkod-cli/src/kodkod/cli/KodkodServer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/src/kodkod/cli/KodkodServer.java -------------------------------------------------------------------------------- /OLD/kodkod-cli/test-sat4j/kodkod/cli/bad.kks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/test-sat4j/kodkod/cli/bad.kks -------------------------------------------------------------------------------- /OLD/kodkod-cli/test-sat4j/kodkod/cli/good.kks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/test-sat4j/kodkod/cli/good.kks -------------------------------------------------------------------------------- /OLD/kodkod-cli/test-sat4j/kodkod/cli/sample.kks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/kodkod-cli/test-sat4j/kodkod/cli/sample.kks -------------------------------------------------------------------------------- /OLD/locs.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/locs.frg -------------------------------------------------------------------------------- /OLD/new-mode/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /OLD/new-mode/core/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/core/lang/reader.rkt -------------------------------------------------------------------------------- /OLD/new-mode/core/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/core/main.rkt -------------------------------------------------------------------------------- /OLD/new-mode/examples/basic-example-core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/examples/basic-example-core.rkt -------------------------------------------------------------------------------- /OLD/new-mode/examples/basic-example-surface.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/examples/basic-example-surface.rkt -------------------------------------------------------------------------------- /OLD/new-mode/lang/expander.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/lang/expander.rkt -------------------------------------------------------------------------------- /OLD/new-mode/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/lang/reader.rkt -------------------------------------------------------------------------------- /OLD/new-mode/library.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/library.rkt -------------------------------------------------------------------------------- /OLD/new-mode/library/commands.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/library/commands.rkt -------------------------------------------------------------------------------- /OLD/new-mode/library/private-utilities.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/library/private-utilities.rkt -------------------------------------------------------------------------------- /OLD/new-mode/library/public-utilities.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/library/public-utilities.rkt -------------------------------------------------------------------------------- /OLD/new-mode/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/new-mode/main.rkt -------------------------------------------------------------------------------- /OLD/old-tests/basicGraph.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/old-tests/basicGraph.rkt -------------------------------------------------------------------------------- /OLD/old-tests/instances.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/old-tests/instances.rkt -------------------------------------------------------------------------------- /OLD/old-tests/intConversion.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/old-tests/intConversion.rkt -------------------------------------------------------------------------------- /OLD/old-tests/plinear.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/old-tests/plinear.rkt -------------------------------------------------------------------------------- /OLD/old-tests/skolemOptions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/old-tests/skolemOptions.rkt -------------------------------------------------------------------------------- /OLD/smt/larger_forge/bridge.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smt/larger_forge/bridge.frg -------------------------------------------------------------------------------- /OLD/smt/larger_forge/grandpa.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smt/larger_forge/grandpa.frg -------------------------------------------------------------------------------- /OLD/smt/larger_forge/stacks.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smt/larger_forge/stacks.frg -------------------------------------------------------------------------------- /OLD/smt/to-smtlib-uflia.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smt/to-smtlib-uflia.rkt -------------------------------------------------------------------------------- /OLD/smtlibtor/cvc5_confidence/choose.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/cvc5_confidence/choose.smt2 -------------------------------------------------------------------------------- /OLD/smtlibtor/cvc5_confidence/grandpa_diff.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/cvc5_confidence/grandpa_diff.smt2 -------------------------------------------------------------------------------- /OLD/smtlibtor/cvc5_confidence/grandpa_test.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/cvc5_confidence/grandpa_test.smt2 -------------------------------------------------------------------------------- /OLD/smtlibtor/cvc5_confidence/iden.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/cvc5_confidence/iden.smt2 -------------------------------------------------------------------------------- /OLD/smtlibtor/hidden_benchmarks/abt_dua.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/hidden_benchmarks/abt_dua.frg -------------------------------------------------------------------------------- /OLD/smtlibtor/hidden_benchmarks/geneaology.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/hidden_benchmarks/geneaology.frg -------------------------------------------------------------------------------- /OLD/smtlibtor/hidden_benchmarks/lights.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/hidden_benchmarks/lights.frg -------------------------------------------------------------------------------- /OLD/smtlibtor/hidden_benchmarks/social_6.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/hidden_benchmarks/social_6.frg -------------------------------------------------------------------------------- /OLD/smtlibtor/old_tests/atom.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/old_tests/atom.smt2 -------------------------------------------------------------------------------- /OLD/smtlibtor/old_tests/atom_tests.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/old_tests/atom_tests.frg -------------------------------------------------------------------------------- /OLD/smtlibtor/old_tests/basic_tests.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/old_tests/basic_tests.frg -------------------------------------------------------------------------------- /OLD/smtlibtor/old_tests/cvc5-with-commands.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/old_tests/cvc5-with-commands.smt -------------------------------------------------------------------------------- /OLD/smtlibtor/old_tests/cvc5.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/old_tests/cvc5.smt -------------------------------------------------------------------------------- /OLD/smtlibtor/old_tests/goldbach.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/old_tests/goldbach.frg -------------------------------------------------------------------------------- /OLD/smtlibtor/old_tests/grandpa.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/old_tests/grandpa.frg -------------------------------------------------------------------------------- /OLD/smtlibtor/old_tests/grounding_tests.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/old_tests/grounding_tests.frg -------------------------------------------------------------------------------- /OLD/smtlibtor/old_tests/own-grandpa.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/old_tests/own-grandpa.smt2 -------------------------------------------------------------------------------- /OLD/smtlibtor/old_tests/skolem_tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/smtlibtor/old_tests/skolem_tests.rkt -------------------------------------------------------------------------------- /OLD/test4.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/test4.rkt -------------------------------------------------------------------------------- /OLD/testme/core/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/core/lang/reader.rkt -------------------------------------------------------------------------------- /OLD/testme/core/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/core/main.rkt -------------------------------------------------------------------------------- /OLD/testme/examples/ta-template/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/examples/ta-template/README -------------------------------------------------------------------------------- /OLD/testme/examples/ta-template/config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/examples/ta-template/config.sh -------------------------------------------------------------------------------- /OLD/testme/examples/ta-template/new.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/examples/ta-template/new.sh -------------------------------------------------------------------------------- /OLD/testme/examples/ta-template/publish.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/examples/ta-template/publish.sh -------------------------------------------------------------------------------- /OLD/testme/examples/ta-template/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/examples/ta-template/setup.sh -------------------------------------------------------------------------------- /OLD/testme/examples/ta-template/summarize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/examples/ta-template/summarize.rkt -------------------------------------------------------------------------------- /OLD/testme/info.rkt: -------------------------------------------------------------------------------- 1 | #lang info 2 | 3 | (define compile-omit-paths '("examples")) -------------------------------------------------------------------------------- /OLD/testme/lang/expander.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/lang/expander.rkt -------------------------------------------------------------------------------- /OLD/testme/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/lang/reader.rkt -------------------------------------------------------------------------------- /OLD/testme/library.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/library.rkt -------------------------------------------------------------------------------- /OLD/testme/library/commands.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/library/commands.rkt -------------------------------------------------------------------------------- /OLD/testme/library/download-file.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/library/download-file.rkt -------------------------------------------------------------------------------- /OLD/testme/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/testme/main.rkt -------------------------------------------------------------------------------- /OLD/traces/addRemove.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/traces/addRemove.rkt -------------------------------------------------------------------------------- /OLD/turf.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/OLD/turf.frg -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/README.md -------------------------------------------------------------------------------- /docs/CNAME: -------------------------------------------------------------------------------- 1 | forge-fm.org -------------------------------------------------------------------------------- /docs/_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/_config.yml -------------------------------------------------------------------------------- /docs/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/favicon.ico -------------------------------------------------------------------------------- /docs/img/abac_vscode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/img/abac_vscode.png -------------------------------------------------------------------------------- /docs/img/borrow-newt-custom.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/img/borrow-newt-custom.png -------------------------------------------------------------------------------- /docs/img/crypto_vscode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/img/crypto_vscode.png -------------------------------------------------------------------------------- /docs/img/forge_logo_64.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/img/forge_logo_64.png -------------------------------------------------------------------------------- /docs/img/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/img/logo.png -------------------------------------------------------------------------------- /docs/img/logo_trimmed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/img/logo_trimmed.png -------------------------------------------------------------------------------- /docs/img/netlab-custom-def1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/img/netlab-custom-def1.png -------------------------------------------------------------------------------- /docs/img/reflect-0-custom.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/img/reflect-0-custom.png -------------------------------------------------------------------------------- /docs/img/ttt_vscode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/img/ttt_vscode.png -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/docs/index.md -------------------------------------------------------------------------------- /e2e/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/e2e/README.md -------------------------------------------------------------------------------- /e2e/fail_assertion.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/e2e/fail_assertion.frg -------------------------------------------------------------------------------- /e2e/failing_decls_example.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/e2e/failing_decls_example.frg -------------------------------------------------------------------------------- /e2e/failing_example.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/e2e/failing_example.frg -------------------------------------------------------------------------------- /e2e/passing_example.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/e2e/passing_example.frg -------------------------------------------------------------------------------- /e2e/sat_pass_unsat_pass_2_runs.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/e2e/sat_pass_unsat_pass_2_runs.frg -------------------------------------------------------------------------------- /forge/breaks.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/breaks.rkt -------------------------------------------------------------------------------- /forge/bsl/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/bsl/lang/reader.rkt -------------------------------------------------------------------------------- /forge/choose-lang-specific.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/choose-lang-specific.rkt -------------------------------------------------------------------------------- /forge/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/clean.sh -------------------------------------------------------------------------------- /forge/core/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/core/lang/reader.rkt -------------------------------------------------------------------------------- /forge/core/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/core/main.rkt -------------------------------------------------------------------------------- /forge/decode-wheat-lang/encode-wheat.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/decode-wheat-lang/encode-wheat.rkt -------------------------------------------------------------------------------- /forge/decode-wheat-lang/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/decode-wheat-lang/lang/reader.rkt -------------------------------------------------------------------------------- /forge/decode-wheat-lang/util.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/decode-wheat-lang/util.rkt -------------------------------------------------------------------------------- /forge/demo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/demo/README.md -------------------------------------------------------------------------------- /forge/demo/life.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/demo/life.rkt -------------------------------------------------------------------------------- /forge/domains/abac/abac.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/abac.frg -------------------------------------------------------------------------------- /forge/domains/abac/helpers.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/helpers.rkt -------------------------------------------------------------------------------- /forge/domains/abac/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/lang/reader.rkt -------------------------------------------------------------------------------- /forge/domains/abac/lexparse.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/lexparse.rkt -------------------------------------------------------------------------------- /forge/domains/abac/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/main.rkt -------------------------------------------------------------------------------- /forge/domains/abac/pretty-formatting.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/pretty-formatting.rkt -------------------------------------------------------------------------------- /forge/domains/abac/runner.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/runner.rkt -------------------------------------------------------------------------------- /forge/domains/abac/tests/abac1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/tests/abac1.rkt -------------------------------------------------------------------------------- /forge/domains/abac/tests/abac2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/tests/abac2.rkt -------------------------------------------------------------------------------- /forge/domains/abac/tests/emcstests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/tests/emcstests.rkt -------------------------------------------------------------------------------- /forge/domains/abac/tests/errors.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/tests/errors.rkt -------------------------------------------------------------------------------- /forge/domains/abac/tests/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/abac/tests/info.rkt -------------------------------------------------------------------------------- /forge/domains/crypto/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/README.md -------------------------------------------------------------------------------- /forge/domains/crypto/base.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/base.frg -------------------------------------------------------------------------------- /forge/domains/crypto/examples/ns.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/examples/ns.frg -------------------------------------------------------------------------------- /forge/domains/crypto/examples/ns.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/examples/ns.rkt -------------------------------------------------------------------------------- /forge/domains/crypto/examples/ns_fixed.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/examples/ns_fixed.frg -------------------------------------------------------------------------------- /forge/domains/crypto/examples/ns_fixed.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/examples/ns_fixed.rkt -------------------------------------------------------------------------------- /forge/domains/crypto/examples/reflect.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/examples/reflect.frg -------------------------------------------------------------------------------- /forge/domains/crypto/examples/reflect.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/examples/reflect.rkt -------------------------------------------------------------------------------- /forge/domains/crypto/expander.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/expander.rkt -------------------------------------------------------------------------------- /forge/domains/crypto/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/lang/reader.rkt -------------------------------------------------------------------------------- /forge/domains/crypto/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/main.rkt -------------------------------------------------------------------------------- /forge/domains/crypto/vis/crypto_viz.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/domains/crypto/vis/crypto_viz.js -------------------------------------------------------------------------------- /forge/evaluator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/evaluator.rkt -------------------------------------------------------------------------------- /forge/examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/README.md -------------------------------------------------------------------------------- /forge/examples/basic/booleanLogic.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/basic/booleanLogic.frg -------------------------------------------------------------------------------- /forge/examples/basic/buckets.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/basic/buckets.frg -------------------------------------------------------------------------------- /forge/examples/basic/gameOfLife.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/basic/gameOfLife.frg -------------------------------------------------------------------------------- /forge/examples/basic/restricting_space.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/basic/restricting_space.frg -------------------------------------------------------------------------------- /forge/examples/basic/schoolPuzzle.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/basic/schoolPuzzle.frg -------------------------------------------------------------------------------- /forge/examples/basic/traceSkeletonInst.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/basic/traceSkeletonInst.frg -------------------------------------------------------------------------------- /forge/examples/bdds/bdds.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bdds/bdds.frg -------------------------------------------------------------------------------- /forge/examples/bsearch_array/binarysearch.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bsearch_array/binarysearch.frg -------------------------------------------------------------------------------- /forge/examples/bsearch_array/binarysearch.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bsearch_array/binarysearch.js -------------------------------------------------------------------------------- /forge/examples/bst/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bst/README.md -------------------------------------------------------------------------------- /forge/examples/bst/bst.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bst/bst.frg -------------------------------------------------------------------------------- /forge/examples/bst/bst.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bst/bst.js -------------------------------------------------------------------------------- /forge/examples/bst/bst_1.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bst/bst_1.frg -------------------------------------------------------------------------------- /forge/examples/bst/bst_2.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bst/bst_2.frg -------------------------------------------------------------------------------- /forge/examples/bst/bst_3.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bst/bst_3.frg -------------------------------------------------------------------------------- /forge/examples/bst/bst_4.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bst/bst_4.frg -------------------------------------------------------------------------------- /forge/examples/bst/bst_temporal.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bst/bst_temporal.js -------------------------------------------------------------------------------- /forge/examples/bst/v1_success.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bst/v1_success.png -------------------------------------------------------------------------------- /forge/examples/bst/v2_failure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/bst/v2_failure.png -------------------------------------------------------------------------------- /forge/examples/lights_puzzle/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/lights_puzzle/README.md -------------------------------------------------------------------------------- /forge/examples/lights_puzzle/example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/lights_puzzle/example.png -------------------------------------------------------------------------------- /forge/examples/lights_puzzle/lights.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/lights_puzzle/lights.js -------------------------------------------------------------------------------- /forge/examples/lights_puzzle/ring_of_lights.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/lights_puzzle/ring_of_lights.frg -------------------------------------------------------------------------------- /forge/examples/ltlf/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/ltlf/README.md -------------------------------------------------------------------------------- /forge/examples/ltlf/ltl_f.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/ltlf/ltl_f.frg -------------------------------------------------------------------------------- /forge/examples/ltlf/ltl_f.test.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/ltlf/ltl_f.test.frg -------------------------------------------------------------------------------- /forge/examples/musical_scales/scales.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/musical_scales/scales.frg -------------------------------------------------------------------------------- /forge/examples/musical_scales/scales.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/musical_scales/scales.js -------------------------------------------------------------------------------- /forge/examples/network/network.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/network/network.frg -------------------------------------------------------------------------------- /forge/examples/oopsla24/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/oopsla24/README.md -------------------------------------------------------------------------------- /forge/examples/oopsla24/f2_ttt.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/oopsla24/f2_ttt.frg -------------------------------------------------------------------------------- /forge/examples/oopsla24/f3_nodes.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/oopsla24/f3_nodes.frg -------------------------------------------------------------------------------- /forge/examples/oopsla24/f4_counter.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/oopsla24/f4_counter.frg -------------------------------------------------------------------------------- /forge/examples/oopsla24/f8_testing.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/oopsla24/f8_testing.frg -------------------------------------------------------------------------------- /forge/examples/oopsla24/f9_core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/oopsla24/f9_core.rkt -------------------------------------------------------------------------------- /forge/examples/oopsla24/goat_cabbage_wolf.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/oopsla24/goat_cabbage_wolf.frg -------------------------------------------------------------------------------- /forge/examples/oopsla24/goat_cabbage_wolf.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/oopsla24/goat_cabbage_wolf.js -------------------------------------------------------------------------------- /forge/examples/oopsla24/lab1_start.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/oopsla24/lab1_start.frg -------------------------------------------------------------------------------- /forge/examples/oopsla24/net1.vis.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/oopsla24/net1.vis.js -------------------------------------------------------------------------------- /forge/examples/prim/prim.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/prim/prim.frg -------------------------------------------------------------------------------- /forge/examples/raft/leader.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/raft/leader.frg -------------------------------------------------------------------------------- /forge/examples/smt/factorization.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/smt/factorization.frg -------------------------------------------------------------------------------- /forge/examples/smt/pythagorean.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/smt/pythagorean.frg -------------------------------------------------------------------------------- /forge/examples/smt/understanding_ic3.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/smt/understanding_ic3.frg -------------------------------------------------------------------------------- /forge/examples/sudoku_opt_viz/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/sudoku_opt_viz/README.md -------------------------------------------------------------------------------- /forge/examples/sudoku_opt_viz/sudoku.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/sudoku_opt_viz/sudoku.js -------------------------------------------------------------------------------- /forge/examples/tic_tac_toe/ttt_viz.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/tic_tac_toe/ttt_viz.js -------------------------------------------------------------------------------- /forge/examples/unsat/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/unsat/README.md -------------------------------------------------------------------------------- /forge/examples/unsat/unsat_big.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/unsat/unsat_big.frg -------------------------------------------------------------------------------- /forge/examples/unsat/unsat_comprehension.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/unsat/unsat_comprehension.frg -------------------------------------------------------------------------------- /forge/examples/unsat/unsat_example.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/unsat/unsat_example.frg -------------------------------------------------------------------------------- /forge/examples/unsat/unsat_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/unsat/unsat_example.png -------------------------------------------------------------------------------- /forge/examples/unsat/unsat_temporal.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/examples/unsat/unsat_temporal.frg -------------------------------------------------------------------------------- /forge/froglet/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/froglet/lang/reader.rkt -------------------------------------------------------------------------------- /forge/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/info.rkt -------------------------------------------------------------------------------- /forge/lang/alloy-syntax/colorer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/alloy-syntax/colorer.rkt -------------------------------------------------------------------------------- /forge/lang/alloy-syntax/indenter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/alloy-syntax/indenter.rkt -------------------------------------------------------------------------------- /forge/lang/alloy-syntax/lexer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/alloy-syntax/lexer.rkt -------------------------------------------------------------------------------- /forge/lang/alloy-syntax/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/alloy-syntax/main.rkt -------------------------------------------------------------------------------- /forge/lang/alloy-syntax/parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/alloy-syntax/parser.rkt -------------------------------------------------------------------------------- /forge/lang/alloy-syntax/syntax-class.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/alloy-syntax/syntax-class.rkt -------------------------------------------------------------------------------- /forge/lang/alloy-syntax/tokenizer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/alloy-syntax/tokenizer.rkt -------------------------------------------------------------------------------- /forge/lang/ast.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/ast.rkt -------------------------------------------------------------------------------- /forge/lang/bounds.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/bounds.rkt -------------------------------------------------------------------------------- /forge/lang/deparse.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/deparse.rkt -------------------------------------------------------------------------------- /forge/lang/expander.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/expander.rkt -------------------------------------------------------------------------------- /forge/lang/lang-specific-checks.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/lang-specific-checks.rkt -------------------------------------------------------------------------------- /forge/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/lang/reader.rkt -------------------------------------------------------------------------------- /forge/last-checker.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/last-checker.rkt -------------------------------------------------------------------------------- /forge/logging/2022/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/2022/README.md -------------------------------------------------------------------------------- /forge/logging/2022/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/2022/index.js -------------------------------------------------------------------------------- /forge/logging/2022/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/2022/main.rkt -------------------------------------------------------------------------------- /forge/logging/2022/package.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/2022/package.js -------------------------------------------------------------------------------- /forge/logging/2022/schema.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/2022/schema.sql -------------------------------------------------------------------------------- /forge/logging/2023/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/2023/README.md -------------------------------------------------------------------------------- /forge/logging/2023/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/2023/index.js -------------------------------------------------------------------------------- /forge/logging/2023/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/2023/main.rkt -------------------------------------------------------------------------------- /forge/logging/2023/package.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/2023/package.js -------------------------------------------------------------------------------- /forge/logging/2023/schema.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/2023/schema.sql -------------------------------------------------------------------------------- /forge/logging/check-ex-spec/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/check-ex-spec/README.md -------------------------------------------------------------------------------- /forge/logging/check-ex-spec/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/check-ex-spec/index.js -------------------------------------------------------------------------------- /forge/logging/check-ex-spec/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/check-ex-spec/main.rkt -------------------------------------------------------------------------------- /forge/logging/check-ex-spec/package.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/check-ex-spec/package.js -------------------------------------------------------------------------------- /forge/logging/check-ex-spec/schema.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/check-ex-spec/schema.sql -------------------------------------------------------------------------------- /forge/logging/google-cloud-function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/google-cloud-function.py -------------------------------------------------------------------------------- /forge/logging/logging.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/logging.rkt -------------------------------------------------------------------------------- /forge/logging/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/requirements.txt -------------------------------------------------------------------------------- /forge/logging/schema.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/schema.sql -------------------------------------------------------------------------------- /forge/logging/sigs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/logging/sigs.rkt -------------------------------------------------------------------------------- /forge/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/main.rkt -------------------------------------------------------------------------------- /forge/pardinus-cli/buddy.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/buddy.dll -------------------------------------------------------------------------------- /forge/pardinus-cli/buddytest.kks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/buddytest.kks -------------------------------------------------------------------------------- /forge/pardinus-cli/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/build.sh -------------------------------------------------------------------------------- /forge/pardinus-cli/builddocs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/builddocs.sh -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/asm-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/asm-7.1.jar -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/asm-analysis-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/asm-analysis-7.1.jar -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/asm-tree-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/asm-tree-7.1.jar -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/asm-util-7.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/asm-util-7.1.jar -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/hamcrest-core-1.3.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/hamcrest-core-1.3.jar -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/javabdd-1.0b2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/javabdd-1.0b2.jar -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/junit-4.12.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/junit-4.12.jar -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/kodkod.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/kodkod.jar -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/libglucose.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/libglucose.dylib -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/libglucose.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/libglucose.so -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/liblingeling.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/liblingeling.dylib -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/liblingeling.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/liblingeling.so -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/libminisat.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/libminisat.dylib -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/libminisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/libminisat.so -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/libminisatprover.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/libminisatprover.so -------------------------------------------------------------------------------- /forge/pardinus-cli/jar/minisatprover.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/jar/minisatprover.dll -------------------------------------------------------------------------------- /forge/pardinus-cli/pardinus-cli.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/pardinus-cli.iml -------------------------------------------------------------------------------- /forge/pardinus-cli/pardinus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/pardinus.txt -------------------------------------------------------------------------------- /forge/pardinus-cli/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/run.sh -------------------------------------------------------------------------------- /forge/pardinus-cli/runtest.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | java -cp "jar/*" org.junit.runner.JUnitCore $1 4 | -------------------------------------------------------------------------------- /forge/pardinus-cli/server/kks.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/server/kks.rkt -------------------------------------------------------------------------------- /forge/pardinus-cli/temprun.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/pardinus-cli/temprun.sh -------------------------------------------------------------------------------- /forge/racket-rfc6455/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/racket-rfc6455/Makefile -------------------------------------------------------------------------------- /forge/racket-rfc6455/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/racket-rfc6455/README.md -------------------------------------------------------------------------------- /forge/racket-rfc6455/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/racket-rfc6455/TODO -------------------------------------------------------------------------------- /forge/racket-rfc6455/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/racket-rfc6455/info.rkt -------------------------------------------------------------------------------- /forge/racket-rfc6455/net/rfc6455.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/racket-rfc6455/net/rfc6455.rkt -------------------------------------------------------------------------------- /forge/racket-rfc6455/net/rfc6455/client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/racket-rfc6455/net/rfc6455/client.rkt -------------------------------------------------------------------------------- /forge/racket-rfc6455/net/rfc6455/http.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/racket-rfc6455/net/rfc6455/http.rkt -------------------------------------------------------------------------------- /forge/racket-rfc6455/net/rfc6455/server.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/racket-rfc6455/net/rfc6455/server.rkt -------------------------------------------------------------------------------- /forge/racket-rfc6455/net/rfc6455/timeout.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/racket-rfc6455/net/rfc6455/timeout.rkt -------------------------------------------------------------------------------- /forge/racket-rfc6455/net/rfc6455/url.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/racket-rfc6455/net/rfc6455/url.rkt -------------------------------------------------------------------------------- /forge/run-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/run-tests.sh -------------------------------------------------------------------------------- /forge/send-to-solver.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/send-to-solver.rkt -------------------------------------------------------------------------------- /forge/server/eval-model.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/eval-model.rkt -------------------------------------------------------------------------------- /forge/server/forgeserver.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/forgeserver.rkt -------------------------------------------------------------------------------- /forge/server/modelToXML.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/modelToXML.rkt -------------------------------------------------------------------------------- /forge/server/serve-sterling-static.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/serve-sterling-static.rkt -------------------------------------------------------------------------------- /forge/server/static/avsdf-base.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/avsdf-base.js -------------------------------------------------------------------------------- /forge/server/static/cola.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cola.min.js -------------------------------------------------------------------------------- /forge/server/static/cose-base.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cose-base.js -------------------------------------------------------------------------------- /forge/server/static/cyto.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cyto.css -------------------------------------------------------------------------------- /forge/server/static/cyto.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cyto.js -------------------------------------------------------------------------------- /forge/server/static/cytoscape-avsdf.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cytoscape-avsdf.js -------------------------------------------------------------------------------- /forge/server/static/cytoscape-cise.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cytoscape-cise.js -------------------------------------------------------------------------------- /forge/server/static/cytoscape-cola.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cytoscape-cola.js -------------------------------------------------------------------------------- /forge/server/static/cytoscape-dagre.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cytoscape-dagre.js -------------------------------------------------------------------------------- /forge/server/static/cytoscape-euler.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cytoscape-euler.js -------------------------------------------------------------------------------- /forge/server/static/cytoscape-klay.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cytoscape-klay.js -------------------------------------------------------------------------------- /forge/server/static/cytoscape.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/cytoscape.min.js -------------------------------------------------------------------------------- /forge/server/static/eval.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/eval.css -------------------------------------------------------------------------------- /forge/server/static/eval.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/eval.js -------------------------------------------------------------------------------- /forge/server/static/layout-base.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/layout-base.js -------------------------------------------------------------------------------- /forge/server/static/tabs.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/tabs.css -------------------------------------------------------------------------------- /forge/server/static/tabs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/tabs.js -------------------------------------------------------------------------------- /forge/server/static/vizdocs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/vizdocs.txt -------------------------------------------------------------------------------- /forge/server/static/viznotes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/viznotes.txt -------------------------------------------------------------------------------- /forge/server/static/viznotes2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/server/static/viznotes2.txt -------------------------------------------------------------------------------- /forge/shared.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/shared.rkt -------------------------------------------------------------------------------- /forge/sigs-functional.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sigs-functional.rkt -------------------------------------------------------------------------------- /forge/sigs-structs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sigs-structs.rkt -------------------------------------------------------------------------------- /forge/sigs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sigs.rkt -------------------------------------------------------------------------------- /forge/solver-specific/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/solver-specific/README.md -------------------------------------------------------------------------------- /forge/solver-specific/cvc5-server.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/solver-specific/cvc5-server.rkt -------------------------------------------------------------------------------- /forge/solver-specific/cvc5-tor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/solver-specific/cvc5-tor.rkt -------------------------------------------------------------------------------- /forge/solver-specific/pardinus.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/solver-specific/pardinus.rkt -------------------------------------------------------------------------------- /forge/solver-specific/server-common.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/solver-specific/server-common.rkt -------------------------------------------------------------------------------- /forge/solver-specific/smtlib-shared.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/solver-specific/smtlib-shared.rkt -------------------------------------------------------------------------------- /forge/solver-specific/to-smtlib-tor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/solver-specific/to-smtlib-tor.rkt -------------------------------------------------------------------------------- /forge/sterling/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/README.md -------------------------------------------------------------------------------- /forge/sterling/build/1065.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/1065.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/1134.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/1134.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/1147.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/1147.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/1156.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/1156.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/1259.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/1259.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/1448.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/1448.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/1471.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/1471.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/180.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/180.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/1886.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/1886.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/1960.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/1960.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/1961.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/1961.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/2060.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/2060.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/2075.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/2075.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/2140.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/2140.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/2240.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/2240.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/249.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/249.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/2571.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/2571.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/2798.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/2798.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/2814.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/2814.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/2892.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/2892.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/2911.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/2911.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/2954.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/2954.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/3036.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/3036.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/3585.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/3585.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/3632.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/3632.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/3682.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/3682.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/3760.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/3760.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/3919.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/3919.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/4028.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/4028.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/4129.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/4129.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/4188.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/4188.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/4368.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/4368.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/4386.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/4386.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/4407.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/4407.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/4902.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/4902.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/4912.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/4912.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/4946.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/4946.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/5062.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/5062.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/525.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/525.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/5288.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/5288.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/5377.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/5377.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/5593.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/5593.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/5703.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/5703.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/5849.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/5849.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/5962.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/5962.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/6082.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/6082.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/6241.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/6241.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/6424.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/6424.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/6449.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/6449.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/6489.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/6489.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/6563.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/6563.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/6587.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/6587.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/665.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/665.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/6717.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/6717.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/7043.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/7043.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/7131.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/7131.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/7287.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/7287.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/7562.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/7562.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/7637.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/7637.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/7778.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/7778.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/7835.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/7835.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/8070.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/8070.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/8084.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/8084.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/8180.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/8180.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/8401.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/8401.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/8424.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/8424.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/848.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/848.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/854.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/854.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/8670.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/8670.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/8715.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/8715.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/8719.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/8719.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/8906.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/8906.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/8946.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/8946.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/911.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/911.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/9343.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/9343.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/9398.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/9398.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/9400.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/9400.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/9537.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/9537.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/9684.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/9684.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/9907.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/9907.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/996.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/996.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/assets/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/assets/favicon.ico -------------------------------------------------------------------------------- /forge/sterling/build/assets/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/assets/manifest.json -------------------------------------------------------------------------------- /forge/sterling/build/assets/manifest.webapp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/assets/manifest.webapp -------------------------------------------------------------------------------- /forge/sterling/build/assets/mstile-70x70.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/assets/mstile-70x70.png -------------------------------------------------------------------------------- /forge/sterling/build/css.worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/css.worker.js -------------------------------------------------------------------------------- /forge/sterling/build/editor.worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/editor.worker.js -------------------------------------------------------------------------------- /forge/sterling/build/html.worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/html.worker.js -------------------------------------------------------------------------------- /forge/sterling/build/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/index.html -------------------------------------------------------------------------------- /forge/sterling/build/json.worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/json.worker.js -------------------------------------------------------------------------------- /forge/sterling/build/main.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/main.bundle.js -------------------------------------------------------------------------------- /forge/sterling/build/ts.worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/sterling/build/ts.worker.js -------------------------------------------------------------------------------- /forge/temporal/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/temporal/lang/reader.rkt -------------------------------------------------------------------------------- /forge/tests/error/abstract.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/abstract.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-arrow.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-arrow.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-ast-arrow.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-ast-arrow.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-ast-intersect.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-ast-intersect.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-ast-minus.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-ast-minus.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-ast-plus.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-ast-plus.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-ast-star.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-ast-star.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-int-minus.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-int-minus.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-join-right.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-join-right.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-join-right2.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-join-right2.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-join-right3.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-join-right3.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-join-right4.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-join-right4.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-join-right5.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-join-right5.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-join-right6.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-join-right6.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-join.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-join.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-join2.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-join2.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-join3.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-join3.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-reachable-nonfield.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-reachable-nonfield.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-reachable.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-reachable.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-reachable2.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-reachable2.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-set.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-set.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl-transpose-ast.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl-transpose-ast.frg -------------------------------------------------------------------------------- /forge/tests/error/bsl_multiple_failures.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/bsl_multiple_failures.frg -------------------------------------------------------------------------------- /forge/tests/error/consistency-error.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/consistency-error.frg -------------------------------------------------------------------------------- /forge/tests/error/example_electrum.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/example_electrum.frg -------------------------------------------------------------------------------- /forge/tests/error/example_impossible.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/example_impossible.frg -------------------------------------------------------------------------------- /forge/tests/error/exp-on-rhs-assert.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/exp-on-rhs-assert.frg -------------------------------------------------------------------------------- /forge/tests/error/exp-on-rhs-consistency.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/exp-on-rhs-consistency.frg -------------------------------------------------------------------------------- /forge/tests/error/expect-fun-args.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/expect-fun-args.frg -------------------------------------------------------------------------------- /forge/tests/error/expect-fun-no-args.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/expect-fun-no-args.frg -------------------------------------------------------------------------------- /forge/tests/error/expect-predicate-args.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/expect-predicate-args.frg -------------------------------------------------------------------------------- /forge/tests/error/failed_sat.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/failed_sat.frg -------------------------------------------------------------------------------- /forge/tests/error/failed_theorem.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/failed_theorem.frg -------------------------------------------------------------------------------- /forge/tests/error/failed_unsat.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/failed_unsat.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-arrow.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-arrow.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-ast-arrow.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-ast-arrow.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-ast-bind.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-ast-bind.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-ast-intersect.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-ast-intersect.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-ast-minus.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-ast-minus.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-ast-notimplies.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-ast-notimplies.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-ast-plus.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-ast-plus.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-ast-star.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-ast-star.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-ast-transpose.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-ast-transpose.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-field-shadow.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-field-shadow.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-http.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-http.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-int-minus.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-int-minus.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-is-linear0.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-is-linear0.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-is-linear1.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-is-linear1.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-join-right.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-join-right.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-join-right2.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-join-right2.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-join-right3.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-join-right3.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-join-right4.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-join-right4.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-join-right5.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-join-right5.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-join-right6.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-join-right6.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-join.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-join.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-join2.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-join2.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-join3.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-join3.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-pred.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-pred.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-reachable-2.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-reachable-2.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-reachable-3.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-reachable-3.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-reachable-4.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-reachable-4.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-reachable1.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-reachable1.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-reachable3.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-reachable3.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-reachable5.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-reachable5.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-reachable6.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-reachable6.frg -------------------------------------------------------------------------------- /forge/tests/error/froglet-set.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/froglet-set.frg -------------------------------------------------------------------------------- /forge/tests/error/hello.frg: -------------------------------------------------------------------------------- 1 | #lang forge 2 | option run_sterling off 3 | 4 | hello world 5 | 6 | -------------------------------------------------------------------------------- /forge/tests/error/hidden-wheat.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/hidden-wheat.frg -------------------------------------------------------------------------------- /forge/tests/error/import-invalid-example.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/import-invalid-example.rkt -------------------------------------------------------------------------------- /forge/tests/error/inconsistency-error.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/inconsistency-error.frg -------------------------------------------------------------------------------- /forge/tests/error/int_literal_too_big.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/int_literal_too_big.frg -------------------------------------------------------------------------------- /forge/tests/error/invalid-example.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/invalid-example.frg -------------------------------------------------------------------------------- /forge/tests/error/is_theorem_disabled.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/is_theorem_disabled.frg -------------------------------------------------------------------------------- /forge/tests/error/loc/ifte-error.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/loc/ifte-error.frg -------------------------------------------------------------------------------- /forge/tests/error/loc/sig_use_loc_error.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/loc/sig_use_loc_error.frg -------------------------------------------------------------------------------- /forge/tests/error/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/main.rkt -------------------------------------------------------------------------------- /forge/tests/error/malformed-test-double.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/malformed-test-double.frg -------------------------------------------------------------------------------- /forge/tests/error/multiple_test_failures.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/multiple_test_failures.frg -------------------------------------------------------------------------------- /forge/tests/error/no-temporal-ltl.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/no-temporal-ltl.frg -------------------------------------------------------------------------------- /forge/tests/error/override-no-overlap.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/override-no-overlap.frg -------------------------------------------------------------------------------- /forge/tests/error/override-wrong-arity.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/override-wrong-arity.frg -------------------------------------------------------------------------------- /forge/tests/error/parsing_less_dash.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/parsing_less_dash.frg -------------------------------------------------------------------------------- /forge/tests/error/piecewise-bind-combine.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/piecewise-bind-combine.frg -------------------------------------------------------------------------------- /forge/tests/error/piecewise-bind-mix-ops.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/piecewise-bind-mix-ops.frg -------------------------------------------------------------------------------- /forge/tests/error/piecewise-bind-repeat.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/piecewise-bind-repeat.frg -------------------------------------------------------------------------------- /forge/tests/error/piecewise-bind-sigs.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/piecewise-bind-sigs.frg -------------------------------------------------------------------------------- /forge/tests/error/priming-basic.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/priming-basic.frg -------------------------------------------------------------------------------- /forge/tests/error/run-given-non-formula.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/run-given-non-formula.frg -------------------------------------------------------------------------------- /forge/tests/error/tree-type-error.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/tree-type-error.frg -------------------------------------------------------------------------------- /forge/tests/error/unstated_bounds.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/error/unstated_bounds.frg -------------------------------------------------------------------------------- /forge/tests/evaluator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/evaluator.rkt -------------------------------------------------------------------------------- /forge/tests/forge-core/examples/test.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/examples/test.frg -------------------------------------------------------------------------------- /forge/tests/forge-core/examples/test2.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/examples/test2.frg -------------------------------------------------------------------------------- /forge/tests/forge-core/examples/testing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/examples/testing.rkt -------------------------------------------------------------------------------- /forge/tests/forge-core/formulas/metadata.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/formulas/metadata.frg -------------------------------------------------------------------------------- /forge/tests/forge-core/instances/atoms.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/instances/atoms.rkt -------------------------------------------------------------------------------- /forge/tests/forge-core/ints/intOperators.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/ints/intOperators.rkt -------------------------------------------------------------------------------- /forge/tests/forge-core/ints/intStructure.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/ints/intStructure.rkt -------------------------------------------------------------------------------- /forge/tests/forge-core/other/arrow-core.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/other/arrow-core.frg -------------------------------------------------------------------------------- /forge/tests/forge-core/other/ast-nodes.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/other/ast-nodes.rkt -------------------------------------------------------------------------------- /forge/tests/forge-core/other/builtins.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/other/builtins.rkt -------------------------------------------------------------------------------- /forge/tests/forge-core/other/funcBreaker.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/other/funcBreaker.frg -------------------------------------------------------------------------------- /forge/tests/forge-core/other/join-core.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/other/join-core.frg -------------------------------------------------------------------------------- /forge/tests/forge-core/sigs/abstractSigs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/sigs/abstractSigs.rkt -------------------------------------------------------------------------------- /forge/tests/forge-core/sigs/basicSigs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/sigs/basicSigs.rkt -------------------------------------------------------------------------------- /forge/tests/forge-core/sigs/oneSigs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge-core/sigs/oneSigs.rkt -------------------------------------------------------------------------------- /forge/tests/forge/bsl/intSumMinus.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/bsl/intSumMinus.frg -------------------------------------------------------------------------------- /forge/tests/forge/bsl/join-no-error.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/bsl/join-no-error.frg -------------------------------------------------------------------------------- /forge/tests/forge/bsl/reachable-no-error.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/bsl/reachable-no-error.frg -------------------------------------------------------------------------------- /forge/tests/forge/bsl/set-card.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/bsl/set-card.frg -------------------------------------------------------------------------------- /forge/tests/forge/electrum/after-tests.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/electrum/after-tests.frg -------------------------------------------------------------------------------- /forge/tests/forge/electrum/always-tests.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/electrum/always-tests.frg -------------------------------------------------------------------------------- /forge/tests/forge/electrum/always-true.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/electrum/always-true.frg -------------------------------------------------------------------------------- /forge/tests/forge/electrum/cities.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/electrum/cities.frg -------------------------------------------------------------------------------- /forge/tests/forge/electrum/past-time.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/electrum/past-time.frg -------------------------------------------------------------------------------- /forge/tests/forge/electrum/prime-check.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/electrum/prime-check.frg -------------------------------------------------------------------------------- /forge/tests/forge/electrum/traffic-light.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/electrum/traffic-light.frg -------------------------------------------------------------------------------- /forge/tests/forge/examples/booleanLogic.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/examples/booleanLogic.frg -------------------------------------------------------------------------------- /forge/tests/forge/examples/sudoku.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/examples/sudoku.frg -------------------------------------------------------------------------------- /forge/tests/forge/expressions/ifte.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/expressions/ifte.frg -------------------------------------------------------------------------------- /forge/tests/forge/formulas/predicates.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/formulas/predicates.frg -------------------------------------------------------------------------------- /forge/tests/forge/fuzz/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/fuzz/README.md -------------------------------------------------------------------------------- /forge/tests/forge/fuzz/unsat_temporal.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/fuzz/unsat_temporal.frg -------------------------------------------------------------------------------- /forge/tests/forge/ints/extendInt.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/ints/extendInt.frg -------------------------------------------------------------------------------- /forge/tests/forge/ints/extendIntOne.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/ints/extendIntOne.frg -------------------------------------------------------------------------------- /forge/tests/forge/ints/intComparators.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/ints/intComparators.frg -------------------------------------------------------------------------------- /forge/tests/forge/ints/intConverters.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/ints/intConverters.frg -------------------------------------------------------------------------------- /forge/tests/forge/ints/intOperators.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/ints/intOperators.frg -------------------------------------------------------------------------------- /forge/tests/forge/ints/intStructure.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/ints/intStructure.frg -------------------------------------------------------------------------------- /forge/tests/forge/library/reachable.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/library/reachable.frg -------------------------------------------------------------------------------- /forge/tests/forge/library/seq.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/library/seq.frg -------------------------------------------------------------------------------- /forge/tests/forge/library/seq_relational.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/library/seq_relational.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/QUOTES_TEMPLATE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/QUOTES_TEMPLATE.txt -------------------------------------------------------------------------------- /forge/tests/forge/other/ast-errors.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/ast-errors.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/decl-order.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/decl-order.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/disj-all.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/disj-all.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/disj-lone.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/disj-lone.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/disj-no.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/disj-no.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/disj-one.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/disj-one.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/disj-some.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/disj-some.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/empty.frg: -------------------------------------------------------------------------------- 1 | #lang forge 2 | 3 | // Contains nothing -------------------------------------------------------------------------------- /forge/tests/forge/other/instances.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/instances.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/no_overflow.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/no_overflow.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/open.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/open.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/other-file.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/other-file.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/other-file2.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/other-file2.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/override-surface.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/override-surface.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/parser-ids-OK.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/parser-ids-OK.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/recursive-error.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/recursive-error.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/sequences.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/sequences.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/sterling-off.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/sterling-off.frg -------------------------------------------------------------------------------- /forge/tests/forge/other/univIdenRTC.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/other/univIdenRTC.frg -------------------------------------------------------------------------------- /forge/tests/forge/relations/breakers.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/relations/breakers.frg -------------------------------------------------------------------------------- /forge/tests/forge/relations/lone.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/relations/lone.frg -------------------------------------------------------------------------------- /forge/tests/forge/relations/ont.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/relations/ont.frg -------------------------------------------------------------------------------- /forge/tests/forge/relations/set.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/relations/set.frg -------------------------------------------------------------------------------- /forge/tests/forge/sigs/abstractSigs.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/sigs/abstractSigs.frg -------------------------------------------------------------------------------- /forge/tests/forge/sigs/basicSigs.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/sigs/basicSigs.frg -------------------------------------------------------------------------------- /forge/tests/forge/sigs/extendingSigs.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/sigs/extendingSigs.frg -------------------------------------------------------------------------------- /forge/tests/forge/sigs/givenBounds.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/sigs/givenBounds.frg -------------------------------------------------------------------------------- /forge/tests/forge/sigs/loneSigs.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/sigs/loneSigs.frg -------------------------------------------------------------------------------- /forge/tests/forge/sigs/oneSigs.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/sigs/oneSigs.frg -------------------------------------------------------------------------------- /forge/tests/forge/target/tomf.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/target/tomf.frg -------------------------------------------------------------------------------- /forge/tests/forge/target/tomf.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/target/tomf.rkt -------------------------------------------------------------------------------- /forge/tests/forge/target/tomf_change.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/forge/target/tomf_change.frg -------------------------------------------------------------------------------- /forge/tests/froglet/forge.frg: -------------------------------------------------------------------------------- 1 | #lang forge 2 | 3 | sig A {} 4 | 5 | -------------------------------------------------------------------------------- /forge/tests/froglet/froglet-errors.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/froglet/froglet-errors.frg -------------------------------------------------------------------------------- /forge/tests/froglet/froglet-in-checks.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/froglet/froglet-in-checks.frg -------------------------------------------------------------------------------- /forge/tests/froglet/froglet-pi.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/froglet/froglet-pi.frg -------------------------------------------------------------------------------- /forge/tests/froglet/froglet-uni.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/froglet/froglet-uni.frg -------------------------------------------------------------------------------- /forge/tests/froglet/internal_identifiers.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/froglet/internal_identifiers.frg -------------------------------------------------------------------------------- /forge/tests/froglet/require-forge.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/froglet/require-forge.frg -------------------------------------------------------------------------------- /forge/tests/smt/smtlibtor/alloy_benchmarks/.gitignore: -------------------------------------------------------------------------------- 1 | benchmark_times.csv 2 | -------------------------------------------------------------------------------- /forge/tests/smt/smtlibtor/arity_testing.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/smt/smtlibtor/arity_testing.frg -------------------------------------------------------------------------------- /forge/tests/smt/smtlibtor/finite_intset.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/smt/smtlibtor/finite_intset.frg -------------------------------------------------------------------------------- /forge/tests/smt/smtlibtor/int_relational.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/smt/smtlibtor/int_relational.frg -------------------------------------------------------------------------------- /forge/tests/srclocs/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/srclocs/main.rkt -------------------------------------------------------------------------------- /forge/tests/temporal/temporal_lang.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/temporal/temporal_lang.frg -------------------------------------------------------------------------------- /forge/tests/test-forge: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/test-forge -------------------------------------------------------------------------------- /forge/tests/test-forge-bsl-no-error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/test-forge-bsl-no-error -------------------------------------------------------------------------------- /forge/tests/test-forge-core: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/test-forge-core -------------------------------------------------------------------------------- /forge/tests/test-forge-functional: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/tests/test-forge-functional -------------------------------------------------------------------------------- /forge/utils/collector.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/utils/collector.rkt -------------------------------------------------------------------------------- /forge/utils/identity.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/utils/identity.rkt -------------------------------------------------------------------------------- /forge/utils/integer-converter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/utils/integer-converter.rkt -------------------------------------------------------------------------------- /forge/utils/lazy-tree.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/utils/lazy-tree.rkt -------------------------------------------------------------------------------- /forge/utils/quantifier-grounding.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/utils/quantifier-grounding.rkt -------------------------------------------------------------------------------- /forge/utils/substitutor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/utils/substitutor.rkt -------------------------------------------------------------------------------- /forge/utils/target-oriented.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/utils/target-oriented.rkt -------------------------------------------------------------------------------- /forge/utils/to-nnf.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/utils/to-nnf.rkt -------------------------------------------------------------------------------- /forge/utils/to-skolem.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/forge/utils/to-skolem.rkt -------------------------------------------------------------------------------- /froglet/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/froglet/info.rkt -------------------------------------------------------------------------------- /froglet/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/froglet/lang/reader.rkt -------------------------------------------------------------------------------- /froglet/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/froglet/main.rkt -------------------------------------------------------------------------------- /froglet/typecheck/error.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/froglet/typecheck/error.rkt -------------------------------------------------------------------------------- /froglet/typecheck/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/froglet/typecheck/main.rkt -------------------------------------------------------------------------------- /froglet/typecheck/struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/froglet/typecheck/struct.rkt -------------------------------------------------------------------------------- /froglet/util.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/froglet/util.rkt -------------------------------------------------------------------------------- /script-examples/digraph/digraph.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/script-examples/digraph/digraph.rkt -------------------------------------------------------------------------------- /script-examples/digraph/spec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/script-examples/digraph/spec.rkt -------------------------------------------------------------------------------- /viz-examples/tree/static_tree_edges.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/viz-examples/tree/static_tree_edges.js -------------------------------------------------------------------------------- /viz-examples/tree/tree.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/viz-examples/tree/tree.frg -------------------------------------------------------------------------------- /viz-examples/tree/tree.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/viz-examples/tree/tree.js -------------------------------------------------------------------------------- /viz-examples/tree/tree2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/viz-examples/tree/tree2.js -------------------------------------------------------------------------------- /viz-examples/tree/tree3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/viz-examples/tree/tree3.js -------------------------------------------------------------------------------- /viz-examples/ttt/ttt.frg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/viz-examples/ttt/ttt.frg -------------------------------------------------------------------------------- /viz-examples/ttt/ttt_new.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/viz-examples/ttt/ttt_new.js -------------------------------------------------------------------------------- /viz-examples/ttt/ttt_old.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnelson/Forge/HEAD/viz-examples/ttt/ttt_old.js --------------------------------------------------------------------------------