Skip to content

Activity

Showing most recent first

Merge pull request #33 from proux01/mc1343

Pull request merge
arthuraapushed 2 commits to master • 9dcb5de…53163f6 • 
on Feb 24

Merge pull request #31 from arthuraa/mathcomp-2.3.0-ci

Pull request merge
arthuraapushed 7 commits to master • 5712f82…9dcb5de • 
on Dec 3, 2024

Mark 0.2.1 in flake.

arthuraapushed 1 commit to mathcomp-2.3.0-ci • 77414a4…7142698 • 
on Dec 3, 2024

Bump to 0.2.1.

arthuraapushed 1 commit to mathcomp-2.3.0-ci • 1154d5e…77414a4 • 
on Dec 3, 2024

Export order compatibility layer by default.

arthuraapushed 3 commits to mathcomp-2.3.0-ci • 0de8917…1154d5e • 
on Dec 3, 2024

Add mathcomp 2.3.0 to CI.

arthuraacreated mathcomp-2.3.0-ci • 0de8917 • 
on Dec 2, 2024

Deleted branch

arthuraadeleted 8.17-ci • 
on Apr 19, 2024

Deleted branch

arthuraadeleted release-0.1.1 • 
on Apr 19, 2024

Deleted branch

arthuraadeleted flake • 
on Apr 19, 2024

Deleted branch

arthuraadeleted mathcomp-2.0.0 • 
on Apr 19, 2024

Deleted branch

arthuraadeleted isFinite-simplify-type • 
on Apr 19, 2024

Record display type change in CHANGELOG.

arthuraapushed 1 commit to master • 5838596…5712f82 • 
on Apr 19, 2024

Merge pull request #27 from pi8027/opam

Pull request merge
arthuraapushed 2 commits to master • 9d6aea3…f70f6a6 • 
on Mar 20, 2024

Merge pull request #25 from arthuraa/isFinite-simplify-type

Pull request merge
arthuraapushed 2 commits to master • a6bcc47…9d6aea3 • 
on Sep 26, 2023

Simplify the type of derived isFinite.

arthuraacreated isFinite-simplify-type • 7637676 • 
on Sep 26, 2023

Version 0.2.0.

arthuraapushed 1 commit to master • 270ec13…a6bcc47 • 
on Sep 22, 2023

Merge branch 'mathcomp-2.0.0'

arthuraapushed 21 commits to master • bf96710…270ec13 • 
on Sep 22, 2023

Include Coq 8.18 in CI.

arthuraapushed 1 commit to mathcomp-2.0.0 • a6f8138…50d7b78 • 
on Sep 22, 2023

Remove version from OPAM file.

arthuraapushed 1 commit to mathcomp-2.0.0 • 6936173…a6f8138 • 
on Sep 22, 2023

Deprecate the old MathComp mixin names.

arthuraapushed 1 commit to mathcomp-2.0.0 • d17d687…6936173 • 
on Sep 22, 2023

Update change log.

arthuraapushed 1 commit to mathcomp-2.0.0 • afe7573…d17d687 • 
on Sep 22, 2023

Flake file.

arthuraapushed 1 commit to mathcomp-2.0.0 • 6d75f78…afe7573 • 
on Sep 22, 2023

Flake file.

arthuraacreated flake • afe7573 • 
on Sep 19, 2023

Ignore some files.

arthuraapushed 1 commit to mathcomp-2.0.0 • 390fe2e…6d75f78 • 
on Sep 19, 2023

Allow indType definitions to be unfolded when deriving classes.

arthuraapushed 1 commit to mathcomp-2.0.0 • c32b7d6…390fe2e • 
on Aug 30, 2023

Update README example to use HB syntax.

arthuraapushed 1 commit to mathcomp-2.0.0 • bbb8f52…c32b7d6 • 
on Aug 25, 2023

Update TODO.

arthuraapushed 1 commit to mathcomp-2.0.0 • e50d58d…bbb8f52 • 
on Aug 25, 2023

Add order mixins that were missing in some tests.

arthuraapushed 1 commit to mathcomp-2.0.0 • 782245a…e50d58d • 
on Aug 25, 2023

Remove some unneeded lazy flags from tests.

arthuraapushed 1 commit to mathcomp-2.0.0 • a014c47…782245a • 
on Aug 25, 2023

Found a way to make some order mixins on tests opaque.

arthuraapushed 1 commit to mathcomp-2.0.0 • c01237e…a014c47 • 
on Aug 25, 2023