Issues
- 3
Unsat core highlighting
#55 opened by tnelson - 1
- 0
Update native solvers
#251 opened by tnelson - 0
Syntax-location for error in `let` body
#250 opened by tnelson - 2
- 2
- 1
- 1
- 0
Cannot pass expressions as predicate instantiators/arguments in Quantified Assertions
#238 opened by sidprasad - 1
Error Message for Temporal Mode
#143 opened by erinlincoln - 1
Core extraction fidelity setting
#60 opened by tnelson - 1
- 2
Reporting a vulnerability
#206 opened by igibek - 1
Instance displayed in Sterling does not match instance specified with `inst` in certain circumstances
#90 opened by P-bibs - 2
logging failure: check-ex-spec
#88 opened by bennn - 1
- 2
Course landing page
#199 opened by bennn - 1
Partial-instance sugar in Froglet
#215 opened by tnelson - 1
Add #lang forge/temporal to enable temporal mode, rather than option problem_type
#214 opened by tnelson - 0
- 0
forge: invalid version declaration
#204 opened by Bogdanp - 1
OpenJDK messages break Java version check
#192 opened by TsarFox - 2
- 1
max_tracelength option is global, not local
#183 opened by tnelson - 0
Pardinus-CLI documentation: use of "lone" for "sing"
#148 opened by tnelson - 0
- 1
- 4
Bug with 'func relation break
#62 opened by tdelv - 1
DrRacket without debugging
#107 opened by bennn - 1
- 0
- 0
- 0
Finalize Electrum + Pardinus support
#58 opened by tnelson - 0
Replaces traces with Electrum
#59 opened by tnelson - 1
disj annotation on quantifiers has no effect
#65 opened by tnelson - 1
VSCode Semantic Highlighting
#117 opened by bennn - 1
save on run
#86 opened by bennn - 1
- 3
Check-ex-spec exposes wheat/chaff names
#64 opened by tdelv - 1
bytes -> string = corrupted hash
#96 opened by bennn - 0
example with same name--uncaught exception
#87 opened by FanC096 - 3
Check-ex-spec exposes solution predicates
#63 opened by tdelv - 3
check-ex-spec logging
#67 opened by bennn - 2
make-directory error on linix
#82 opened by bennn - 2
Add the capability to require just the spec
#80 opened by tdelv - 1
IfThenElse expressions unsupported
#71 opened by tnelson - 0
- 1
Warning message for always-empty joins
#52 opened by tnelson - 0
- 4
Clean up options code and better error messages
#61 opened by tnelson