Pull requests - aniva/Pantograph - git.leni.sh

aniva/Pantograph

New pull request

feat(repl,env): Harden frontend.track

part/Environment

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

v0.3.6

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

v0.3.6

feat(serial): Pickle environment delta's

part/Environment

#221 by aniva was merged 2025-06-27 16:02:22 -07:00

v0.3.3

feat(serial): Robust environment extension pickling

part/Environment

#216 by aniva was merged 2025-06-24 13:41:06 -07:00

v0.3.3

fix: universe commands in environment capture

part/Environment

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

v0.3

fix: env.add Declarations with universe levels

part/Environment

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

v0.3

feat: Update CoreM options from parsed header

part/Environment

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

v0.3

chore: Cleanup the library system

part/Environment

#169 by aniva was merged 2025-03-08 21:19:01 -08:00

v0.3

doc: Manual about env.{describe,module_read}

part/Environment

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

v0.2.25

feat: Module reading functions

part/Environment

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

v0.2.25

feat: Add source location extraction

part/Environment

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

v0.2.24

feat: Pickling goal states

part/Environment

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

v0.2.21

feat: State and environment pickling

part/Environment

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

v0.2.21

feat: Remove most filters on catalog

part/Environment

#105 by aniva was merged 2024-10-06 16:12:23 -07:00

v0.2.19

fix: aux lemmas in env inspect

part/Environment

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

feat: Extraction of tactics from compiler

part/Environment

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

TACAS '25

feat: Print precursor rules in env/inspect

part/Environment

#65 by aniva was merged 2024-04-11 15:35:15 -07:00

v0.3

feat: Remove display of implementation details

part/Environment

#50 by aniva was merged 2024-03-28 22:35:38 -07:00

feat: Print inductives, constructors, and recursors in env.inspect

part/Environment

#43 by aniva was merged 2024-01-17 14:02:56 -08:00

v0.2.12

feat: Add definitions and theorems to the environment

part/Environment

#41 by aniva was merged 2023-12-26 12:41:02 -08:00

v0.3

1 2