[minor] March 31 Update to 3.4 #253
Merged
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
* Adding quantified assertion test * Closer * Trying to have better test names * Adding temp names * PRE DISJ * I think disj is fixed * Quantified asserts * I believe this works now * Minor change * add: 2 test cases for quantified assertions' --------- Co-authored-by: Siddhartha Prasad <siddhartha.a.prasad@gmail.com> Co-authored-by: Tim Nelson <tbnelson@gmail.com>
* fix: add better error if piecewise binds don't fit within available sig atoms * fix: better error
…r for minimization etc. (#231) * starting work on target o * working
…the domain sig (#233) * fix: add better error if piecewise binds don't fit within available sig atoms * fix: better error
… print the url (#234) * fix: attempting to fail with workaround if no browser auto-opening * fix * fix: add newline
…twidth (#232) * initial test case, before writing error * draft: intermediate work * working * working * working * fix tests, add verbose 0 to some * add: int structure confirmation for 5 Int
* error message with loc for detatched negative parsing * add: test just to be safe
…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
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.
Release notes here.