Pull Requests - Pantograph - git.leni.sh

New Pull Request

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

fix: universe commands in environment capture

part/Environment

#183 by aniva was merged 2025-04-07 20:18:50 -07:00

bug/variable-level-names-in-scope

0.3

fix: env.add Declarations with universe levels

part/Environment

#181 by aniva was merged 2025-03-29 15:48:13 -07:00

bug/env-add-level

0.3

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

doc: Manual about env.{describe,module_read}

part/Environment

#165 by aniva was merged 2025-01-26 22:04:29 -08:00

0.2.25

chore: Code cleanup

#164 by aniva was merged 2025-01-26 22:04:13 -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: 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

doc: Documentation cleanup and update

#133 by aniva was merged 2024-12-05 17:23:25 -08:00

0.3

feat: Capture environment in drafting

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

frontend/environment

0.2.19

feat: Let tactic in REPL

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

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

repl/io-exception

TACAS '25

feat: Set automaticMode to true by default

#101 by aniva was merged 2024-09-09 17:33:42 -07:00

goal/automatic-mode

TACAS '25

feat: Automatic Mode

#92 by aniva was merged 2024-09-08 12:25:07 -07:00

TACAS '25