[patch] Add various example models to proper folder #259
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Co-authored-by: Siddhartha Prasad <siddharthaprasad@siddharthas-mbp.devices.brown.edu> Co-authored-by: Siddhartha Prasad <siddhartha.a.prasad@gmail.com>
Basic `#lang froglet`. The behavior is 99% `forge/bsl` and 1% static type checks. More to coming.
Co-authored-by: Siddhartha Prasad <siddhartha.a.prasad@gmail.com>
move the syntax-parameterize INSIDE the example form, so the whole thing still appears in a module context and the subterms get covered by the parameterize
* froglet: save type env, restore on import * froglet: start type#, change op errors * froglet: build syntax->type hash * typed-froglet: more typechecking, preds expect formulas * froglet: add context to typechecker, re-enable field typechecks +more deparsing context = expr subexpr example, need this to turn checks on / off
put the stx-parameterize around every bound is there a cleaner way?
* froglet: fix conflicts with dev * ... other commits in pr * fix ci * local froglet, not pkgs
allow a major number only, no minor number
Multiple solver states in one Pardinus process, indexed by run name
…236) * working on preserving use-site location for sig references * working * add: field use locs * add: missing files
* Added test * Works for the number case, need more complicated exprs * Adding more * Added some more tests --------- Co-authored-by: Siddhartha Prasad <siddhartha.a.prasad@gmail.com>
* prototype of all-tests-before-failure * add output of test failures to forge/bsl * Reporting forge errors to stderr * Adding multiple failure test * Test update * add: more prototype code for multi-test-failure testing * it works * Added tests * Adding a forge bsl test --------- Co-authored-by: Tim Nelson <tbnelson@gmail.com> Co-authored-by: Siddhartha Prasad <siddharthaprasad@Siddharthas-MacBook-Pro.local>
* feat: func typechecks added * Error message updated and deprimify prototype * first attempt at DFS * feat: added deprimify * change deprimify to use values --------- Co-authored-by: k-mouline <karim_mouline@brown.edu>
* progress: reconstructing subformula from path string * fix source-location for some-quantified variables -- TODO, fix for all, etc. * working: adding qvar macro use to preserve stx loc * fix: sum quant labeling. TODO: temporal-mode formula mapping * working: be more robust to unknown formulas as cores * fix deparser for add/subtract/multiply/divide * minor: say how many total formulas in header
… macro (#254) * fix: wrap top-level fmla indexes in Pardinus * add: some fuzz tests for cores * fix: source location preservation in assertion->check macros * fix: optional pred in check macro
* Struct implemented * struct mostly supported * now it works * priming check added * testing: social network electrum test corrections * last duplicate removed --------- Co-authored-by: Tim Nelson <tbnelson@gmail.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.