Pantograph

fix: Manifest key error

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

dev

fix: Panic in exprProjToApp

1

#161 by aniva was merged 2025-01-24 15:05:05 -08:00

dev

v0.2.25

fix: Reset core message log

#144 by aniva was merged 2024-12-11 09:09:34 -08:00

dev

v0.2.22

fix: Tactic failure on synthesizing placeholder

4

#139 by aniva was merged 2024-12-11 01:13:15 -08:00

dev

v0.2.22

fix: Capture nested tactic failure

1

#135 by aniva was merged 2024-12-07 18:51:26 -08:00

dev

v0.2.22

fix: Delayed MVars in MetaTranslate

1

#110 by aniva was merged 2024-10-09 18:08:10 -07:00

dev

TACAS '25

feat: Catch and print IO errors in REPL

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

dev

TACAS '25

fix: aux lemmas in env inspect

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

dev

fix: Instantiation causes infinite loop

#54 by aniva was merged 2024-03-31 16:43:53 -07:00

dev

fix: Build failure on macOS due to LLVM version

#53 by aniva was merged 2024-03-30 00:07:27 -07:00

dev

v0.3