aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 16 Pull Requests 2 Packages Projects Releases Wiki Activity

Labels Milestones

New Pull Request
0 Open 27 Closed
Label
Clear labels
category
bug
category
chore
category
doc
category
feature
category
optimization
category
organization
part/Delation
part/Elab
part/Environment
part/FFI
part/Frontend
part/Goal
part/REPL
part/Serial
priority
high
priority
irrelevant
priority
low
priority
medium
priority
pending-measurement
Milestone
No milestone
Open milestones
0.3.2
0.4.0
Open milestones
0.2.4
0.2.6
0.2.7
0.2.8
0.2.9
0.2.10
0.2.12
0.2.19
TACAS '25
0.2.20
0.2.21
0.2.22
0.2.24
0.2.25
0.3
0.3.1
0.2.23
Projects
Clear projects
Assignee
Clear assignees
No assignee
paperNeko
aniva
chore: Update version
category
organization
#195 by aniva was merged 2025-05-01 10:41:48 -07:00
dev
chore/version
0.3.1
chore: Update Lean to v4.18.0
category
organization
#185 by aniva was merged 2025-04-08 10:59:54 -07:00
dev
chore/version
0.3
chore: Update Lean to v4.17.0, version to v0.3
category
organization
#178 by aniva was merged 2025-03-24 18:05:25 -07:00
dev
chore/version
0.3
chore: Update version to 0.2.25
category
organization
#156 by aniva was merged 2025-01-13 12:29:12 -08:00
dev
chore/version
0.2.25
chore: Update version
category
organization
#155 by aniva was merged 2025-01-10 17:08:19 -08:00
dev
chore/version
0.2.24
chore: Update version
category
organization
#146 by aniva was merged 2024-12-11 16:47:54 -08:00
dev
chore/version
0.2.23
chore: Add aarch64 build targets to flake
category
organization
#143 by aniva was merged 2024-12-11 00:30:19 -08:00
dev
chore/flake
0.2.22
chore: Update version
category
organization
#140 by aniva was merged 2024-12-09 21:43:04 -08:00
dev
chore/version
0.2.22
chore: Version 0.3
category
organization
#136 by aniva was merged 2025-04-09 00:23:19 -07:00
main
dev
0.3
chore: Update Lean to v4.15.0
category
organization
priority
medium
3
#134 by aniva was merged 2025-01-13 12:28:50 -08:00
dev
misc/version
0.2.25
chore: Update lean4-nix to mainline
category
organization
priority
medium
#121 by aniva was merged 2024-11-15 17:44:02 -08:00
dev
misc/build
0.2.20
chore: Update Lean4 upstream to unofficial flake
category
organization
1
#115 by aniva was merged 2024-11-15 14:40:47 -08:00
dev
misc/build
0.2.20
chore: Update Lean to v4.12.0
category
organization
2
#108 by aniva was merged 2024-10-08 09:49:09 -07:00
dev
misc/version
0.2.19
chore: Update Lean to v4.10.0-rc1
category
organization
priority
medium
#86 by aniva was merged 2024-07-06 21:37:30 -07:00
dev
misc/version
refactor: Cleanup the congruence tactics
category
organization
priority
medium
#81 by aniva was merged 2024-06-23 13:35:36 -07:00
dev
tactic/congruence
0.3
chore: Version bump to v4.8.0-rc1
category
organization
priority
medium
#75 by aniva was merged 2024-05-17 20:32:30 -07:00
dev
misc/version
0.3
chore: Update version to 0.2.15
category
organization
#68 by aniva was merged 2024-04-11 17:58:24 -07:00
dev
misc/version
test: Parallel testing infrastructure
category
organization
priority
medium
#58 by aniva was merged 2024-04-06 14:16:46 -07:00
dev
misc/testing
chore: Version bump and toolchain cleanup
category
organization
#51 by aniva was merged 2024-03-28 22:36:26 -07:00
dev
misc/toolchain
build: Toolchain bump and Nix flake fix
category
organization
#49 by aniva was merged 2024-03-28 12:05:15 -07:00
dev
misc/toolchain
0.3