aniva/Pantograph

v0.3.6

New issue

feat(frontend,goal): frontend.distil: Extraction of search targets directly into goals. Deprecate drafting in frontend.process
feat(repl,env): frontend.track checks if one file conforms to another
fix(frontend): Roundtripping parenthesization problems during refactoring
fix(tactic): Parent expression and fragment exits
fix(frontend): Erase aux decls without full name. This prevents circular reasoning.
fix(test): Update LSpec to remove warnings when compiling the tests

2025-08-15

100% Completed

chore(test): Update LSpec

#272 by aniva was merged 2025-08-08 22:10:53 -07:00

feat(frontend): Move functionalities of sorry capture to frontend.distil

#271 by aniva was merged 2025-08-11 14:58:54 -07:00

feat(repl,env): Harden frontend.track

part/Environment

#269 by aniva was merged 2025-08-06 14:12:47 -07:00

feat(frontend): frontend.track Check if one file tracks another

part/Environment

#268 by aniva was merged 2025-08-06 09:41:48 -07:00

fix(frontend): Distil of intercalating elements

#267 by aniva was merged 2025-08-04 15:34:39 -07:00

fix(tactic): Parent expression for fragment exit

#266 by aniva was merged 2025-08-04 12:48:19 -07:00

fix(frontend): Erase captured aux decls without full name

#265 by aniva was merged 2025-08-04 12:47:42 -07:00

feat(frontend): Distil search target

#264 by aniva was merged 2025-08-04 10:38:52 -07:00

Move sorry extraction to a separate command

#263 by aniva was closed 2025-08-04 10:38:52 -07:00

Could not refactor putnam_1985_a5

#262 by aniva was closed 2025-08-04 10:29:34 -07:00

Executing draft tactic in captured example causes panic

#261 by aniva was closed 2025-08-04 12:47:42 -07:00

fix(frontend): Parenthesize command

#260 by aniva was merged 2025-07-31 16:01:14 -07:00

chore: Update version

#259 by aniva was merged 2025-08-04 10:37:42 -07:00

doc: Add contributing

#256 by aniva was merged 2025-07-30 21:54:58 -07:00

test(frontend): Tactic mode collect instances

#255 by aniva was merged 2025-07-30 12:37:15 -07:00