Code

Mathcomp 2.1.0 support#40

Code

Merged

spitters merged 13 commits intoSSProve:mainSSProve/ssprove:mainfrom sertel:mathcomp.2.1.0sertel/ssprove:mathcomp.2.1.0Copy head branch name to clipboardMar 26, 2024

+475-333

Commits

Commits on Feb 13, 2024

• Nix support

  

  Sebastian Ertel

  authored and

  Sebastian Ertel

  committed
  6c3ecb6

Commits on Feb 26, 2024

• porting to mathcomp 2.1.0 [part 1]

  sertel

  committed
  8b294a8

Commits on Feb 28, 2024

• porting to mathcomp 2.1.0 [part 2]

  sertel

  committed
  72bb9f2

Commits on Mar 4, 2024

• porting to mathcomp 2.1.0 [part 3]. done. wont port: OVN.

  sertel

  committed
  6c369c6

Commits on Mar 5, 2024

• cleanup. fxing mathcomp warnings.

  sertel

  committed
  703679b

• opam update

  sertel

  committed
  849f426

• updating the github actions

  sertel

  committed
  000e208

• upgrading also the OCaml version for the github action.

  sertel

  committed
  3e5af30

• fix for typo in equations version on github action.

  sertel

  committed
  214bf4c

Commits on Mar 6, 2024

• more warning fixes.

  sertel

  committed
  2b3ccd4

Commits on Mar 11, 2024

• adapting concrete groups examples

  sertel

  committed
  08d0350

Commits on Mar 12, 2024

• slight nix flake restructure

  sertel

  committed
  4d4ee9a

Commits on Mar 18, 2024

• thanks @cmester0 for the review. here are the fixes.

  sertel

  committed
  5c212d8