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

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(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: Add source location extraction

part/Environment

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

0.2.24

fix: Incorrect binder capture

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

bug/incorrect-binder-capture

0.2.24

feat: Extract type error and new constants

#128 by aniva was merged 2024-12-11 01:25:36 -08:00

frontend/infotree

0.2.22

feat: Extract used constants from invocation

#119 by aniva was merged 2024-11-10 21:29:35 -08:00

0.2.20

feat: Capture environment in drafting

#113 by aniva was merged 2024-10-12 16:59:41 -07:00

frontend/environment

0.2.19

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: Error reporting in frontend

#107 by aniva was merged 2024-10-05 22:39:24 -07:00

TACAS '25

feat: Collect holes in Lean file and put them into a GoalState

#99 by aniva was merged 2024-10-03 15:43:01 -07:00

frontend/collect-holes

TACAS '25

feat: Extraction of tactics from compiler

part/Environment

#76 by aniva was merged 2024-05-31 20:23:51 -07:00

TACAS '25