Skip to content
Snippets Groups Projects

Evenint case study

Merged Evenint case study
lennard/evenint into main
Merged Lennard Gäher requested to merge lennard/evenint into main

Adds an evenint case study (from the tutorial) with some additional fun variations to the case studies.

Also change the build order in the Makefile a bit, in order to first generate all the Coq files and then run Coq in parallel on all of them.

Merge request reports

Pipeline #102944 passed

Stage: nix-cache
    Stage: lint
      Stage: build
        Stage: tests

          Pipeline passed for 338227a1 on lennard/evenint

          Approval is optional

          Merged by Lennard GäherLennard Gäher 8 months ago (Jun 13, 2024 5:42pm UTC)

          Merge details

          • Changes merged into main with 1b248432 (commits were squashed).
          • Deleted the source branch.

          Pipeline #102952 passed

          Stage: nix-cache
            Stage: lint
              Stage: build
                Stage: tests

                  Pipeline passed for 1b248432 on main

                  Activity

                  Filter activity
                  • Approvals
                  • Assignees & reviewers
                  • Comments (from bots)
                  • Comments (from users)
                  • Commits & branches
                  • Edits
                  • Labels
                  • Lock status
                  • Mentions
                  • Merge request status
                  • Tracking
                  Please register or sign in to reply