issues
search
coq-community
/
coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
MIT License
32
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix deprecation warning about mapAttrsFlatten
#251
proux01
closed
1 day ago
0
Test http
#250
proux01
opened
2 days ago
0
Add MenhirLib & use it in CompCert
#249
vbgl
closed
3 days ago
9
coqPackages.atbr: init at 8.20.0
#248
proux01
closed
2 days ago
0
interval: 4.10.0 → 4.11.0
#247
vbgl
closed
1 week ago
0
Test coinduction
#246
proux01
closed
2 weeks ago
1
Test stalmarck
#245
proux01
closed
2 weeks ago
1
Test coq-menhir
#244
proux01
closed
3 days ago
1
coquelicot: 3.4.1 → 3.4.2
#243
vbgl
closed
3 weeks ago
0
reglang 1.2.1 compiles with Coq 8.20
#242
proux01
closed
3 weeks ago
0
mathcomp: 1 -> 2
#241
proux01
closed
3 days ago
5
Bump checkout github action version (@v3 -> @v4)
#240
proux01
closed
3 weeks ago
0
flocq: 4.1.4 → 4.2.0
#239
vbgl
closed
3 weeks ago
1
metacoq 1.3.2
#238
vbgl
closed
3 weeks ago
1
Cleanup CI jobs for older versions of Coq
#237
proux01
closed
1 month ago
0
enable dev overrides
#236
proux01
closed
1 month ago
0
equations: 1.3.1 for Coq 8.20
#235
vbgl
closed
1 month ago
2
vscoq-language-server 2.1.4
#234
CohenCyril
closed
1 month ago
0
coqPackages.multinomials back to coq_makefile
#233
proux01
closed
1 month ago
0
smtcoq: 2.1 → 2.2
#232
vbgl
closed
1 month ago
0
Add mathcomp-2 on Coq 8.20
#231
proux01
closed
1 month ago
0
coq-ext-lib: 0.12.0 → 0.12.1
#230
vbgl
closed
1 month ago
0
Add 8.20+rc1
#229
proux01
closed
1 month ago
1
Add coq-hammer-tactics & coq-hammer
#228
vbgl
closed
1 month ago
0
Fix installPhase when using dune
#227
vbgl
closed
1 month ago
0
proposal for an executive summary
#226
affeldt-aist
closed
1 month ago
2
Testing coqhammer for coq 8.16 to 8.19
#225
CohenCyril
closed
1 month ago
1
Update cachix actions
#224
CohenCyril
closed
2 months ago
0
coq 8.19.2
#223
vbgl
closed
2 months ago
0
mathcomp-analysis: 1.0.0 → 1.1.0
#222
vbgl
closed
2 months ago
0
aac-tactics: 8.19.0 → 8.19.1
#221
vbgl
closed
2 months ago
0
mathcomp-word: 3.1 → 3.2
#220
vbgl
closed
2 months ago
0
Take the `checkPhase` into account in CI runs
#219
CohenCyril
opened
2 months ago
0
Use mathcomp 2.2.0
#218
vbgl
closed
3 months ago
0
graph-theory 0.9.4
#217
vbgl
closed
3 months ago
0
mathcomp-infotheo 0.7.1
#216
vbgl
closed
2 months ago
0
coq-record-update: 0.3.4
#215
vbgl
closed
3 months ago
0
compcert: 3.13.1 → 3.14
#214
vbgl
closed
3 months ago
0
Adding SSProve to the CI
#213
sertel
closed
3 months ago
9
math-classes, corn: 1.19.0
#212
vbgl
closed
4 months ago
0
CoLoR: 1.8.4 → 1.8.5
#211
vbgl
closed
4 months ago
0
stdpp: 1.9.0 → 1.10.0; iris: 4.1.0 → 4.2.0
#210
vbgl
closed
4 months ago
0
vscoq-language-server: 2.0.3 → 2.1.2
#209
vbgl
closed
4 months ago
0
interval: 4.9.0 → 4.10.0
#208
vbgl
closed
4 months ago
0
metacoq: 1.2.1 → 1.3.1
#207
vbgl
closed
4 months ago
0
Enable dpdgraph & HoTT for Coq 8.19
#206
vbgl
closed
4 months ago
0
Enable CompCert for Coq 8.18 & Coq 8.19
#205
vbgl
closed
5 months ago
0
mathcomp-word: 2.2 → 2.3; 3.0 → 3.1
#204
vbgl
closed
5 months ago
0
Updates for Coq 8.19
#203
vbgl
closed
5 months ago
0
Update Coq 8.19 to 8.19.1
#202
vbgl
closed
5 months ago
0
Next