Pull Requests - Pantograph - git.leni.sh

New Pull Request

fix: Shield tactics from the environment generated by frontend.process

#199 by aniva was merged 2025-05-01 09:26:53 -07:00

bug/exact-question-mark

fix(goal): Prevent duplication in idempotent tactics

#193 by aniva was merged 2025-05-01 08:59:37 -07:00

bug/resume-goal-duplication

0.3.1

fix: universe commands in environment capture

part/Environment

#183 by aniva was merged 2025-04-07 20:18:50 -07:00

bug/variable-level-names-in-scope

0.3

fix: env.add Declarations with universe levels

part/Environment

#181 by aniva was merged 2025-03-29 15:48:13 -07:00

bug/env-add-level

0.3

fix(goal): Name generation not available due to context

#174 by aniva was merged 2025-03-14 16:48:17 -07:00

0.3

fix: Manifest key error

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

fix: Use in-context environment in sorry collection

#166 by aniva was merged 2025-01-28 17:42:55 -08:00

bug/collect-sorry-generated-constants

0.2.25

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: Incorrect binder capture

#152 by aniva was merged 2025-01-10 12:49:15 -08:00

bug/incorrect-binder-capture

0.2.24

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

fix: Tactics should produce .syntheticOpaque goals

#100 by aniva was merged 2024-10-03 08:47:31 -07:00

0.2.19

fix: Instantiate type when detecting eq

#91 by aniva was merged 2024-09-03 19:19:10 -07:00

bug/eq-detection-in-congruence

fix: Bindings in prograde tactics

#90 by aniva was merged 2024-09-03 18:15:58 -07:00

bug/hidden-fvar-in-define

fix: Resume not taking type unification into account

#89 by aniva was closed 2024-09-02 19:43:36 -07:00

bug/resume-type-unification

0.3

fix: aux lemmas in env inspect

part/Environment

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

fix: Option setting in REPL

#71 by aniva was merged 2024-04-15 12:58:08 -07:00

0.3

fix: Prevent incorrect inheritance of calc rhs

#66 by aniva was merged 2024-04-12 20:52:18 -07:00

0.3

1 2