Pantograph

feat: Tactic with timeout

1

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

dev

repl/timeout

0.3

feat: Update CoreM options from parsed header

1

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

dev

frontend/env-init

0.3

feat(delate): Unfold matchers

category

feature

part/Delation

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

dev

delate/instantiate

0.3

feat(frontend): Alternative methods of initializing environment

category

feature

part/Frontend

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

dev

frontend/env-init

0.3

feat: Module reading functions

category

feature

part/Environment

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

dev

env/module

0.2.25

feat: Draft tactic REPL interface

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

dev

tactic/draft

0.2.25

feat: Pickle constants in goal state

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

dev

serial/pickle

0.2.25

feat: Add source location extraction

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

dev

env/inspect

0.2.24

feat: Draft tactic

category

feature

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

dev

goal/tactic-draft

0.2.25

feat: Simplify sexp printing

category

feature

part/Delation

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

dev

delate/sexp

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

dev

goal/print

0.2.23

feat: Erase macro scopes in sexp

category

feature

part/Delation

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

dev

delate/sexp

0.3

feat: Pickling goal states

#129 by aniva was merged 2024-12-05 16:02:26 -08:00

dev

serial/pickle

0.2.21

feat: Extract type error and new constants

1

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

dev

frontend/infotree

0.2.22

feat: State and environment pickling

1

#120 by aniva was merged 2024-11-15 23:10:34 -08:00

dev

serial/pickle

0.2.21

feat: Extract used constants from invocation

category

feature

part/Frontend

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

dev

frontend/data

0.2.20

feat: Capture environment in drafting

1

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

dev

frontend/environment

0.2.19

feat: Let tactic in REPL

category

feature

part/REPL

1

#111 by aniva was merged 2024-10-12 16:54:13 -07:00

dev

repl/tactic-let

TACAS '25

feat: Catch and print IO errors in REPL

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

dev

repl/io-exception

TACAS '25

feat: Error reporting in frontend

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

dev

frontend/error

TACAS '25

Labels Milestones