Pull Requests - Pantograph - git.leni.sh

New Pull Request

fix(goal): Unknown metavariable problem during fragment initialization

#222 by aniva was merged 2025-06-30 15:28:29 -07:00

bug/unknown-metavariable-fragment

0.3.3

feat(frontend): Tomogram

#220 by aniva was merged 2025-07-02 15:18:19 -07:00

frontend/tomogram

0.4.0

feat(goal): Add unshielded tactic execution mode

#219 by aniva was merged 2025-06-26 15:52:17 -07:00

goal/automatic-mode

0.3.3

feat(goal): Branch unification

#217 by aniva was merged 2025-06-24 13:56:15 -07:00

goal/branch-unification

0.3.3

feat(serial): Robust environment extension pickling

part/Environment

#216 by aniva was merged 2025-06-24 13:41:06 -07:00

serial/env-extensions

0.3.3

feat(goal): Detect unsafe and sorry

#201 by aniva was merged 2025-05-01 10:38:00 -07:00

goal/detect-unsafe-sorry

0.3.1

feat(repl): Flush stdout

#194 by aniva was merged 2025-04-20 09:29:03 -07:00

0.3.1

fix(repl): Elaborate with errToSorry as false by default

#187 by aniva was merged 2025-05-01 09:00:04 -07:00

repl/elab-option

0.3.1

feat: Tactic with timeout

#179 by aniva was merged 2025-03-28 21:31:59 -07:00

0.3

feat: Update CoreM options from parsed header

part/Environment

#177 by aniva was merged 2025-03-28 18:56:22 -07:00

frontend/env-init

0.3

feat(delate): Unfold matchers

#176 by aniva was merged 2025-03-17 18:37:55 -07:00

delate/instantiate

0.3

feat(frontend): Alternative methods of initializing environment

#173 by aniva was merged 2025-03-14 16:48:40 -07:00

frontend/env-init

0.3

feat: Module reading functions

part/Environment

#159 by aniva was merged 2025-01-24 15:01:17 -08:00

0.2.25

feat: Draft tactic REPL interface

#158 by aniva was merged 2025-01-16 10:32:48 -08:00

0.2.25

feat: Pickle constants in goal state

#157 by aniva was merged 2025-01-24 14:52:53 -08:00

0.2.25

feat: Add source location extraction

part/Environment

#154 by aniva was merged 2025-01-10 12:47:36 -08:00

0.2.24

feat: Draft tactic

#153 by aniva was merged 2025-01-13 10:22:36 -08:00

goal/tactic-draft

0.2.25

feat: Simplify sexp printing

#149 by aniva was merged 2025-01-07 17:31:30 -08:00

0.3

feat: Print value of arbitrary mvar and goals in goal state

#141 by aniva was merged 2024-12-11 16:52:20 -08:00

0.2.23

feat: Erase macro scopes in sexp

#130 by aniva was merged 2024-12-04 11:24:16 -08:00

0.3

1 2 3 4