GitHub · Where software is built

Labels Milestones New issue

Windows: cannot open library modules

#315

· tnelson opened

on Dec 8, 2025

Support for multiple files in core highlighting and Sterling replies

#313

· tnelson opened

on Nov 13, 2025

Passing <code>is sat</code> test should expose evaluator if possible

#304

· tnelson opened

on Apr 24, 2025

Module imports should disambiguate source modules

#281

· tnelson opened

on Nov 20, 2024

Temporal forge needs <code>max_tracelength</code> to be set before <code>min_tracelength</code>

#274

· dominicmkennedy opened

on Aug 29, 2024

Invoking helper function via dot rather than box

#268

· k-mouline opened

on Aug 8, 2024

Update native solvers

#251

· tnelson opened

on Mar 24, 2024

Syntax-location for error in <code>let</code> body

#250

· tnelson opened

on Mar 22, 2024

Fix restriction of "one" and "lone" quantification in Froglet

#213

· tnelson opened

on Aug 2, 2023

max_tracelength option is global, not local

#183

· tnelson opened

on Jan 30, 2023

Forgetting "var" on a field in temporal mode can lead to a silent failure

#182

· tnelson opened

on Jan 30, 2023

"set" quantification is allowed in syntax, but meaning isn't preserved

#147

· tnelson opened

on Apr 29, 2022