Skip to content

Activity

Showing most recent first

Deploying to gh-pages from @ 7065b03 🚀

github-actions[bot]pushed 1 commit to gh-pages • d8c3aeb…fefa8b0 • 
10 hours ago

Deleted branch

garesdeleted fix-lp2goal • 
10 hours ago

Merge pull request #795 from LPCIC/fix-lp2goal

Pull request merge
garespushed 2 commits to master • a8ce1db…7065b03 • 
10 hours ago

lp2goal: repeat if something changed

garescreated fix-lp2goal • bb9a052 • 
3 days ago

Deploying to gh-pages from @ a8ce1db 🚀

github-actions[bot]pushed 1 commit to gh-pages • 6cd88d8…d8c3aeb • 
5 days ago

Merge pull request #789 from SkySkimmer/genarg-ntn-vars

Pull request merge
ppedrotpushed 2 commits to master • 26d13b5…a8ce1db • 
5 days ago

Deploying to gh-pages from @ 26d13b5 🚀

github-actions[bot]pushed 1 commit to gh-pages • e72f14e…6cd88d8 • 
11 days ago

Merge pull request #793 from FissoreD/issue_792

Pull request merge
garespushed 2 commits to master • 65929f7…26d13b5 • 
11 days ago

Deploying to gh-pages from @ 65929f7 🚀

github-actions[bot]pushed 1 commit to gh-pages • 8fe986e…e72f14e • 
13 days ago

Merge pull request #791 from Tragicus/primgref

Pull request merge
garespushed 5 commits to master • 5cd165a…65929f7 • 
13 days ago

Deploying to gh-pages from @ 5cd165a 🚀

github-actions[bot]pushed 1 commit to gh-pages • 1a0f898…8fe986e • 
20 days ago

Merge pull request #790 from Tragicus/primgref

Pull request merge
garespushed 3 commits to master • 640d04e…5cd165a • 
20 days ago

wip

garescreated fix-780 • 7c5affc • 
24 days ago

Deploying to gh-pages from @ 640d04e 🚀

github-actions[bot]pushed 1 commit to gh-pages • a2ebc69…1a0f898 • 
24 days ago

Merge pull request #788 from proux01/ci-update

Pull request merge
garespushed 2 commits to master • f141c7e…640d04e • 
24 days ago

Deploying to gh-pages from @ f141c7e 🚀

github-actions[bot]pushed 1 commit to gh-pages • 23b1002…a2ebc69 • 
25 days ago

Merge pull request #782 from SkySkimmer/def-loc

Pull request merge
SkySkimmerpushed 2 commits to master • 2f2daed…f141c7e • 
25 days ago

Deploying to gh-pages from @ 2f2daed 🚀

github-actions[bot]pushed 1 commit to gh-pages • 5565792…23b1002 • 
26 days ago

Deleted branch

garesdeleted gares-patch-1 • 
26 days ago

Merge pull request #787 from LPCIC/gares-patch-1

Pull request merge
garespushed 2 commits to master • a130e2b…2f2daed • 
26 days ago

Deploying to gh-pages from @ a130e2b 🚀

github-actions[bot]pushed 1 commit to gh-pages • 43aeafd…5565792 • 
26 days ago

Update PrimStringAxioms.v.in

garescreated gares-patch-1 • 0ea4fd2 • 
26 days ago

Deleted branch

garesdeleted fix-780 • 
26 days ago

Merge pull request #784 from LPCIC/fix-780

Pull request merge
garespushed 10 commits to master • ab6881e…a130e2b • 
26 days ago

strings: inline proof of compare_ok on > 8.20

Force push
garesforce pushed to fix-780 • 90bb715…5c4b3d0 • 
26 days ago

strings: inline proof of compare_ok on > 8.20

garespushed 1 commit to fix-780 • 753638b…90bb715 • 
26 days ago

cleanup primitive strings

garespushed 1 commit to fix-780 • 0667db3…753638b • 
26 days ago

attempt

garespushed 1 commit to fix-780 • 3be369c…0667db3 • 
26 days ago

more tests

garespushed 1 commit to fix-780 • fb77c12…3be369c • 
26 days ago

ci: run all tests

garespushed 1 commit to fix-780 • de29538…fb77c12 • 
26 days ago