[minor] January 31st Update #224
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
* crypto: rough initial import from old * fix: properly send Skolem relation arity * . * fix: upper bounds for 'exactly' scoped but non 'one' subsigs * racket to racket/base * racket->racket/base * cleanup: no longer need kodkod-cli * racket->racket/base * more racket->racket/base * more pruning dependencies * move old example folder out of package dir * working on examples cleanup/updating * forge: more examples dir cleanup * forge: more cleanup
* work toward pred/fun spacer AST nodes * example: odd DrRacket behavior? * working on spacers * working on spacers, but getting data needed requires remembering multiplicites * adapting macros for spacers, stop overloading int comparison ops * continuing work * working * working * working; expanding tests for fun * working; domain and range are OK * continuing work on testing fun metadata * update test suite; quantifier forms. quantifiers currently throw away multiplicity info * working to add metadata to pred declaration * minor fix for grouped variable declarations * working on robustness for mexpr struct * clear todos * working * working: splitting off parsing for bounds * working: don't forget cardinality * holding partial work for stability, do not use * cleanup: minor, crypto domain * working on revised inst stx * intermediate work * working * remove old printf * some fixes * fix for reachable, seq library todo * fix: seq library, builtin generator macro * add: .frg~ to gitignore * fix: confirm in froglet * fix: cleanup of many, but not all, filepath require specs * add: skeletal pattern for piecewise bind * intermediate: save work on piecewise bounds * add: some documentation * save intermediate work, testing * fix; testing; enum todos * small fix, add tests for plinear * intermediate: improve tests, need to add 'no' func * todo: ni stream error; piecewise limit domain * fix: lower bound cannot be #f; better error * add ni case for piecewise bounds * fix: piecewise bounds domain * add: error tests for piecewise binds * working on syntax loc for bounds errors, putting issue down for now * fix: helper functions can safely 'return' an intexpr * add: fun test for non-nullary case * fix: Sterling rebuild from dev branch
* working on ABAC DSL import from 2019 * add reader * fix: for convenience in forge/core, allow n-ary union in the eval-exp func * working * working * working on abac * working on abac * policy queries, cleanup display for example 1 * abac updates, remove TODOs in examples * abac + pre-Pardinus error addition * fix for unused request variables in abac * minor: double-check implicit and in inst * fix: bug if running from unsaved editor in drracket * doc/errmsg: some comments in forgeserver * fix: typos: duplicate test names * fix: missed one
* fix: preserve no-field sig stxloc * working on fixing more stxloc flow to bounds * temporary: researching syntax-object srcloc, may have found issue * temporary: confirmed hypothesis, need to use datum->syntax with srcloc argument * cleanup: remove debug prints, add warning in reader * fix: saving more stxloc information --------- Co-authored-by: tbn <tbn@eng-kt-lt01.brown.edu> Co-authored-by: tbn <tbn@tstaffs-MacBook-Pro.local>
…of srcloc tests (#223) * working on improving srcloc display in errors * working on improving errors * fix: resolve eq/hash issues caused by making formulas procedures * working on being able to test srcloc info * working on validating srclocs * minor fixes * working * working --------- Co-authored-by: tbn <tbn@somerville2.local> Co-authored-by: tbn <tbn@eng-kt-lt01.ad.brown.edu>
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.
Various changes, mostly improvements to error handling. Gradually replacing old errors with
raise-forge-erroruse.