Commits · public · pactole / coq-pactole

Apr 09, 2025
- Updating the README file to cite the Xeber point case study. · f46a19fe
  Pierre Courtieu authored 1 month ago
  
  f46a19fe
Apr 04, 2025
- Merge remote-tracking branch 'origin/weber' into public · 5e748a66
  Pierre Courtieu authored 1 month ago
  
  5e748a66
Mar 04, 2025
- Merge branch 'master' into public · a6bdbe7d
  Pierre Courtieu authored 2 months ago
  
  a6bdbe7d
Mar 03, 2025
- Coq 8.19 is back + less warning + fix comments · 8c449616
  Lionel Rieg authored 2 months ago
  
  8c449616
Feb 28, 2025
- Merge branch 'master' into weber · edc48722
  Pierre Courtieu authored 2 months ago
  
  edc48722
- Removing calls to libhyps and a few cleaning. · 6b86c7c3
  Pierre Courtieu authored 2 months ago
  
  6b86c7c3
Feb 25, 2025
- Merge branch 'master' into gathering-bivalent · 165bf869
  Pierre Courtieu authored 3 months ago
  
  165bf869
- Merge branch 'master' into public · 48d1642c
  Pierre Courtieu authored 3 months ago
  
  48d1642c
- Updating the README with sirocco 2025 reference. · d1cb70df
  Pierre Courtieu authored 3 months ago
  
  d1cb70df
- Merge branch 'master' into public · 88c0d6a4
  Pierre Courtieu authored 3 months ago
  
  88c0d6a4
- A few missing "Proof using". · b203c69d
  Pierre Courtieu authored 3 months ago
  
  b203c69d
Feb 24, 2025
- assumptions for unfair. · 23ab74bd
  Pierre Courtieu authored 3 months ago
  
  23ab74bd
- Merge branch 'master' into gathering-bivalent · 5b57b9c1
  Pierre Courtieu authored 3 months ago
  
  5b57b9c1
- Merge branch 'master' into public · bb1dca3d
  Pierre Courtieu authored 3 months ago
  
  bb1dca3d
- More cleaning. · ca816cca
  Pierre Courtieu authored 3 months ago
  
  ca816cca
- Merge branch 'public' into gathering-bivalent · d827513f
  Pierre Courtieu authored 3 months ago
  
  d827513f
- Merge branch 'master' into public · 591b58fe
  Pierre Courtieu authored 3 months ago
  
  591b58fe
- trying unfair case with color gathering. · 289d4358
  Pierre Courtieu authored 3 months ago
  
  289d4358
- Cleaning. · 56036598
  Pierre Courtieu authored 3 months ago
  
  56036598
Feb 21, 2025
- Extension of MMultiset.map to several base types · fd31a0d7
  Lionel Rieg authored 3 months ago
  
  fd31a0d7
Feb 05, 2025
- Fixing some Proof using. · 6c91f6bc
  Pierre Courtieu authored 3 months ago
  
  6c91f6bc
- Merge branch 'master' into gathering-bivalent · 994abeab
  Pierre Courtieu authored 3 months ago
  
  994abeab
Jan 16, 2025
- Merge branch 'master' into public · 318196bf
  Pierre Courtieu authored 4 months ago
  
  318196bf
- Typos and formatting. · 112d56ae
  Pierre Courtieu authored 4 months ago
  
  112d56ae
Jan 15, 2025
- Merge branch 'master' into public · 175c14ba
  Pierre Courtieu authored 4 months ago
  
  175c14ba
- Merge branch 'vapontegarcia-master-patch-75068' into 'master' · e357adda
  Pierre Courtieu authored 4 months ago
```
Update README.md

See merge request xurbain/pactole-dev!7
```
  e357adda
- Update README.md · 8c068cca
  Virginia Aponte Garcia authored 4 months ago
  
  8c068cca
- Merge branch 'master' into public · f00c59c3
  Pierre Courtieu authored 4 months ago
  
  f00c59c3
- Merge branch 'master' into public · bbf5d22a
  Pierre Courtieu authored 4 months ago
  
  bbf5d22a
- Merge branch 'vapontegarcia-master-patch-04509' into 'master' · 5ad4ea70
  Pierre Courtieu authored 4 months ago
```
Update DEV.md

See merge request xurbain/pactole-dev!5
```
  5ad4ea70
- Merge branch 'vapontegarcia-master-patch-27302' into 'master' · a3145c5c
  Pierre Courtieu authored 4 months ago
```
Update codemeta.json

See merge request xurbain/pactole-dev!4
```
  a3145c5c
- Apply 1 suggestion(s) to 1 file(s) · 5761ce88
  Pierre Courtieu authored 4 months ago
  
  5761ce88
- Update DEV.md · 17e6ff00
  Virginia Aponte Garcia authored 4 months ago
  
  17e6ff00
- Merge branch 'vapontegarcia-master-patch-66975' into 'master' · 522f1b43
  Pierre Courtieu authored 4 months ago
```
Update CREDIT.md with improved english and periods of times.

See merge request xurbain/pactole-dev!3
```
  522f1b43
- Update codemeta.json · fa70e060
  Virginia Aponte Garcia authored 4 months ago
  
  fa70e060
- Update CREDIT.md with improved english and periods of times. · d52503d7
  Virginia Aponte Garcia authored 4 months ago
  
  d52503d7
Dec 05, 2024
- omfg proofread plz · 344d8760
  Xavier Urbain authored 5 months ago
  
  344d8760
Dec 04, 2024
- Switching CI to Coq 8.18, 8.19, 8.20 · c7856a3c
  Lionel Rieg authored 5 months ago
  
  c7856a3c
- References in the README + codemeta for Lionel · 22581ce0
  Lionel Rieg authored 5 months ago
  
  22581ce0
- Adding codedmeta.json file + CREDIT. · 506d4ea9
  Pierre Courtieu authored 5 months ago
```
Every author should fill his part.
```
  506d4ea9