tnelson Forge issues - Githubissues

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods

https://forge-fm.org/

MIT License

67 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix update check

#279 k-mouline closed 1 week ago
0
Version checking and handling added

#278 k-mouline closed 2 weeks ago
2
Forge needs auto-update or update notifications

#277 tnelson closed 2 weeks ago
0
Change misleading `is theorem` to `is checked`

#276 tnelson closed 2 weeks ago
0
Add additional comments, windows compatibility, to crypto DSL

#275 tnelson closed 1 month ago
0
Temporal forge needs `max_tracelength` to be set before `min_tracelength`

#274 dominicmkennedy opened 2 months ago
1
Prototype SMT backend

#273 tnelson opened 2 months ago
0
Fix prime check

#272 tnelson closed 2 months ago
0
Feat smt s exp

#271 tnelson closed 2 months ago
0
logging: beware of read failures

#270 bennn closed 2 months ago
1
why is this comment an error?

#269 bennn closed 1 day ago
1
Invoking helper function via dot rather than box

#268 k-mouline opened 3 months ago
0
Fixing issue with to-smt visitor; refactor lang-specific error code

#267 tnelson closed 3 months ago
0
feat_smt_new_int into feat_smt_int

#266 tnelson closed 3 months ago
0
Comparison pull request

#265 k-mouline closed 3 months ago
0
add: enrich collector to update context

#264 tnelson closed 3 months ago
0
Satisfiability Assertions

#263 sidprasad closed 3 months ago
1
[minor] Command-line support

#262 tnelson closed 4 months ago
0
Add command-line argument support via racket

#261 tnelson closed 4 months ago
0
[patch] Fix an error message in partial-instance processing

#260 tnelson closed 5 months ago
0
[patch] Add various example models to proper folder

#259 tnelson closed 5 months ago
0
[minor] Add prime checking, xor operator

#258 tnelson closed 6 months ago
2
feat: xor operator (macro, surface); tests

#257 tnelson closed 6 months ago
0
Feat priming checks

#256 k-mouline closed 7 months ago
0
[patch] Fix 1-ary-and wrapped predicate issue with core localization

#255 tnelson closed 7 months ago
0
Fix: core top-level wrapping, syntax-location at top-level in "check" macro

#254 tnelson closed 7 months ago
0
[minor] March 31 Update to 3.4

#253 tnelson closed 7 months ago
0
Feat granular cores

#252 tnelson closed 7 months ago
0
Update native solvers

#251 tnelson opened 7 months ago
0
Syntax-location for error in `let` body

#250 tnelson opened 7 months ago
0
Infer type of atoms sent from evaluator

#249 tnelson closed 7 months ago
0
Add basic typechecking for helper functions

#248 tnelson closed 7 months ago
0
Fix missing error check in AST for expr->intexpr conversion; add new test modality

#247 tnelson closed 7 months ago
0
[minor] Update 3.3

#246 tnelson closed 8 months ago
0
Fix: better handling for multiple-tests

#245 tnelson closed 8 months ago
0
Basic type-checking for predicate use, pred/fun syntax location use site fix

#244 tnelson closed 8 months ago
0
Error message if no parent sig scope, but child scopes exceed default

#243 tnelson closed 8 months ago
0
Allowing multiple failing tests in a Forge run

#242 sidprasad closed 8 months ago
0
Add fixes for predicate and function source locations

#241 tnelson closed 8 months ago
0
[patch] 3.2.1: quantified assertions now accept expression terms, not just variables

#240 tnelson closed 8 months ago
0
Quantified assert fix

#239 sidprasad closed 8 months ago
0
Cannot pass expressions as predicate instantiators/arguments in Quantified Assertions

#238 sidprasad closed 8 months ago
0
Feb 16 Forge Update

#237 tnelson closed 8 months ago
0
Sig and Field AST nodes will now properly record the source location of their use

#236 tnelson closed 8 months ago
0
Error for "detached" negative numeric constants

#235 tnelson closed 8 months ago
0
If unable to open a browser for Sterling, keep running the server and print the url

#234 tnelson closed 9 months ago
0
Error for piecewise bounds if an atom is named that isn't present in the domain sig

#233 tnelson closed 9 months ago
0
Error if an integer literal appears which is bigger than the given bitwidth

#232 tnelson closed 9 months ago
0
Shoring up core language's ability to give a target instance to solver for minimization etc.

#231 tnelson closed 9 months ago
0
Add improved error for piecewise bind definition

#230 tnelson closed 9 months ago
0