Skip to content

Coq small fixes #1108

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 43 commits into from
May 6, 2025
Merged

Coq small fixes #1108

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
ef3ebae
Add prefix to names
cmester0 Oct 30, 2024
240360e
fmt
cmester0 Nov 4, 2024
03b3ff1
Minor fixes
cmester0 Nov 4, 2024
7e9fd9c
Update concrete ident for record
cmester0 Nov 4, 2024
aa851ab
Improved enum and records
cmester0 Nov 5, 2024
fe52c32
Test coq implementation / coverage tests
cmester0 Nov 7, 2024
ae24fde
fmt
cmester0 Nov 11, 2024
4f2e3fc
CI for coq coverage
cmester0 Nov 11, 2024
e5a23d0
fmt
cmester0 Nov 17, 2024
8525f48
Remove unused file
cmester0 Nov 17, 2024
0ac1c94
random fmt bug?
cmester0 Nov 17, 2024
b776295
Update snapshot
cmester0 Nov 19, 2024
db12269
fmt
cmester0 Nov 19, 2024
2bd38c7
Test some snapshots
cmester0 Nov 19, 2024
f9d91bf
fmt
cmester0 Nov 19, 2024
8162a2f
Add example co-inductive/mutual recursion issues with trait
cmester0 Nov 22, 2024
e41cf6f
Update coq backend
cmester0 Nov 25, 2024
8ef70ee
Use core for coq coverage test
cmester0 Nov 25, 2024
d327be8
fmt
cmester0 Nov 25, 2024
8c264bd
snapshot
cmester0 Nov 25, 2024
4856b54
fmt
cmester0 Nov 25, 2024
fcc6168
Snapshot update
cmester0 Nov 25, 2024
f8ccf40
CI
cmester0 Nov 25, 2024
658880e
Minor changes
cmester0 Nov 26, 2024
c43ea95
snapshot
cmester0 Nov 26, 2024
1071ed7
CI?
cmester0 Nov 27, 2024
b977b19
wip
W95Psp Nov 28, 2024
2f89b7f
Fix tests
cmester0 Nov 28, 2024
489c266
Fixed coverage tests
cmester0 Nov 28, 2024
77de72e
Fix tests
cmester0 Nov 28, 2024
a1d9db9
CI: nix files for coq coverage example and library
W95Psp Nov 28, 2024
5945702
CI
cmester0 Nov 28, 2024
8db7477
fmt
cmester0 Nov 28, 2024
53cc510
Typo
cmester0 Dec 10, 2024
02c5fb1
fix(engine): coq backend
W95Psp Mar 5, 2025
8e5a468
Add ensures
cmester0 Mar 11, 2025
9fef345
Try to fix engine
cmester0 Apr 30, 2025
7613128
fmt and fix some snapshots
cmester0 Apr 30, 2025
7ac0c8a
snapshot + fmt
cmester0 May 1, 2025
e91c5ac
snapshot
cmester0 May 1, 2025
c19d389
fmt and nix
cmester0 May 1, 2025
dab3018
remove todo + nix + snapshot + fmt
cmester0 May 1, 2025
1b9712d
Merge branch 'main' into coq-small-fixes
cmester0 May 5, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions .github/workflows/extract_and_run_coq.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
name: Extract and Run - Coq

on: [pull_request]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: DeterminateSystems/nix-installer-action@main
- uses: DeterminateSystems/magic-nix-cache-action@main

Check warning on line 10 in .github/workflows/extract_and_run_coq.yml

View workflow job for this annotation

GitHub Actions / build

Magic Nix Cache is deprecated 

Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.

Replace...
      - uses: DeterminateSystems/magic-nix-cache-action@main

...with...
      - uses: DeterminateSystems/flakehub-cache-action@main

For more details: https://dtr.mn/magic-nix-cache-eol

- name: ⤵ Install hax
run: |
nix build .\#check-coq-coverage
Loading