Daniel Allaire danallaire
0 followers · 0 following
Repositories Projects Packages Public activity Starred repositories
danallaire deleted branch page-promo from Alliance-Boreale/Set-OPS-Public 2026-07-20 21:39:31 -04:00
danallaire pushed to main at Alliance-Boreale/Set-OPS-Public 2026-07-20 21:39:30 -04:00
8348a5173b Ajoute la page de présentation (promo/index.html)
danallaire created branch page-promo in Alliance-Boreale/Set-OPS-Public 2026-07-20 21:37:23 -04:00
danallaire pushed to page-promo at Alliance-Boreale/Set-OPS-Public 2026-07-20 21:37:23 -04:00
8348a5173b Ajoute la page de présentation (promo/index.html)
danallaire deleted branch prouver-dans-verifier from Alliance-Boreale/Set-OPS-Public 2026-07-20 21:04:31 -04:00
danallaire pushed to main at Alliance-Boreale/Set-OPS-Public 2026-07-20 21:04:10 -04:00
abb0a85d08 Merge pull request 'make verifier inclut les preuves (make prouver --verifier)' (#3) from prouver-dans-verifier into main
5a53332f96 make verifier inclut les preuves (make prouver --verifier)
Compare 2 commits »
danallaire merged pull request Alliance-Boreale/Set-OPS-Public#3 2026-07-20 21:04:09 -04:00
make verifier inclut les preuves (make prouver --verifier)
danallaire created pull request Alliance-Boreale/Set-OPS-Public#3 2026-07-20 21:03:58 -04:00
make verifier inclut les preuves (make prouver --verifier)
danallaire created branch prouver-dans-verifier in Alliance-Boreale/Set-OPS-Public 2026-07-20 21:03:21 -04:00
danallaire pushed to prouver-dans-verifier at Alliance-Boreale/Set-OPS-Public 2026-07-20 21:03:21 -04:00
5a53332f96 make verifier inclut les preuves (make prouver --verifier)
danallaire deleted branch preuve-p16-complete from Alliance-Boreale/Set-OPS-Public 2026-07-20 20:49:48 -04:00
danallaire pushed to main at Alliance-Boreale/Set-OPS-Public 2026-07-20 20:49:19 -04:00
6c4eb6c390 Merge pull request 'Preuve complète (16/16) + détail P16 lisible' (#2) from preuve-p16-complete into main
6cfbc2ba87 Preuve complète (16/16) + détail P16 lisible
Compare 2 commits »
danallaire merged pull request Alliance-Boreale/Set-OPS-Public#2 2026-07-20 20:49:17 -04:00
Preuve complète (16/16) + détail P16 lisible
danallaire created pull request Alliance-Boreale/Set-OPS-Public#2 2026-07-20 20:49:12 -04:00
Preuve complète (16/16) + détail P16 lisible
danallaire pushed to preuve-p16-complete at Alliance-Boreale/Set-OPS-Public 2026-07-20 20:47:42 -04:00
6cfbc2ba87 Preuve complète (16/16) + détail P16 lisible
danallaire created branch preuve-p16-complete in Alliance-Boreale/Set-OPS-Public 2026-07-20 20:47:41 -04:00
danallaire deleted branch conformite-prouvable from Alliance-Boreale/Set-OPS-Public 2026-07-20 20:14:46 -04:00
danallaire merged pull request Alliance-Boreale/Set-OPS-Public#1 2026-07-20 20:01:48 -04:00
Mise en conformité prouvable : registre d'affirmations + make prouver
danallaire pushed to main at Alliance-Boreale/Set-OPS-Public 2026-07-20 20:01:48 -04:00
b92521d28a Merge pull request 'Mise en conformité prouvable : registre d'affirmations + make prouver' (#1) from conformite-prouvable into main
835f8ab6d0 Mise en conformité prouvable : registre d'affirmations + make prouver
Compare 2 commits »
danallaire created pull request Alliance-Boreale/Set-OPS-Public#1 2026-07-20 20:00:17 -04:00
Mise en conformité prouvable : registre d'affirmations + make prouver