Pull Requests - Pantograph - git.leni.sh

New Pull Request

fix: Manifest key error

#172 by aniva was merged 2025-03-08 22:53:08 -08:00

fix: Panic in exprProjToApp

#161 by aniva was merged 2025-01-24 15:05:05 -08:00

bug/expr-proj-to-app-panic

0.2.25

fix: Reset core message log

#144 by aniva was merged 2024-12-11 09:09:34 -08:00

bug/core-state-error-linger

0.2.22

fix: Tactic failure on synthesizing placeholder

#139 by aniva was merged 2024-12-11 01:13:15 -08:00

bug/tactic-failure-placeholder

0.2.22

fix: Capture nested tactic failure

#135 by aniva was merged 2024-12-07 18:51:26 -08:00

bug/nested-tactic-failure

0.2.22

fix: Delayed MVars in MetaTranslate

#110 by aniva was merged 2024-10-09 18:08:10 -07:00

bug/frontend-translate-delayed-mvar

TACAS '25

feat: Catch and print IO errors in REPL

#109 by aniva was merged 2024-10-08 23:50:37 -07:00

repl/io-exception

TACAS '25

fix: aux lemmas in env inspect

part/Environment

#82 by aniva was merged 2024-06-23 13:33:35 -07:00

fix: Instantiation causes infinite loop

#54 by aniva was merged 2024-03-31 16:43:53 -07:00

fix: Build failure on macOS due to LLVM version

#53 by aniva was merged 2024-03-30 00:07:27 -07:00

0.3