Skip to content

Activity

Showing most recent first

Merge pull request #39 from affeldt-aist/mc2

Pull request merge
affeldt-aistpushed 6 commits to master • 0601d33…b50a974 • 
on Jun 4, 2024

fix

affeldt-aistpushed 1 commit to mc2 • f6c7abf…ed8e44a • 
on Jun 2, 2024

complete!

affeldt-aistpushed 1 commit to mc2 • 9e6fb76…f6c7abf • 
on Apr 25, 2024

3 files left

affeldt-aistpushed 1 commit to mc2 • 8b2d595…9e6fb76 • 
on Apr 25, 2024

wip

affeldt-aistpushed 1 commit to mc2 • d197efb…8b2d595 • 
on Apr 24, 2024

start porting to MathComp 2

affeldt-aistcreated mc2 • d197efb • 
on Apr 23, 2024

Deleted branch

affeldt-aistdeleted release_0.2 • 
on Jan 1, 2024

Merge pull request #38 from affeldt-aist/release_0.2

Pull request merge
affeldt-aistpushed 2 commits to master • 5c7b536…0601d33 • 
on Jan 1, 2024

compat with mathcomp >= 1.16

Force push
affeldt-aistforce pushed to release_0.2 • c855803…bfbc3d8 • 
on Jan 1, 2024

fix CI

affeldt-aistpushed 1 commit to release_0.2 • 2a5790d…c855803 • 
on Jan 1, 2024

compat with mathcomp 1.16

affeldt-aistpushed 1 commit to release_0.2 • b1e910b…2a5790d • 
on Jan 1, 2024

update

affeldt-aistpushed 1 commit to release_0.2 • 5c7b536…b1e910b • 
on Jan 1, 2024

Merge pull request #37 from thery/mathcomp1_15

affeldt-aistcreated release_0.2 • 5c7b536 • 
on Jan 1, 2024