Skip to content

Activity

Showing most recent first

Deploying to gh-pages from @ 2eb41c3 🚀

github-actions[bot]pushed 1 commit to gh-pages • d14625d…01a4797 • 
21 days ago

Deleted branch

garesdeleted gares-patch-1 • 
21 days ago

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

Pull request merge
garespushed 2 commits to master • 40794fc…2eb41c3 • 
21 days ago

Update main.yml

garescreated gares-patch-1 • 7622565 • 
22 days ago

Deleted branch

garesdeleted test-5.3 • 
22 days ago

Deploying to gh-pages from @ 40794fc 🚀

github-actions[bot]pushed 1 commit to gh-pages • 9183b5c…d14625d • 
23 days ago

Deleted branch

garesdeleted fix-chr-removal • 
23 days ago

Merge pull request #314 from LPCIC/fix-chr-removal

Pull request merge
garespushed 2 commits to master • 1277858…40794fc • 
23 days ago

be resilient to negative chars

garescreated fix-chr-removal • 671fb4a • 
23 days ago

Deploying to gh-pages from @ 1277858 🚀

github-actions[bot]pushed 1 commit to gh-pages • 4d0ff70…9183b5c • 
23 days ago

Deleted branch

garesdeleted fix-5.3.0 • 
23 days ago

Merge pull request #313 from LPCIC/fix-5.3.0

Pull request merge
garespushed 3 commits to master • bca6210…1277858 • 
23 days ago

fix ci

garespushed 1 commit to fix-5.3.0 • f6bd704…703e147 • 
23 days ago

fix adtgen

garescreated fix-5.3.0 • f6bd704 • 
23 days ago

Update users.yml

garescreated test-5.3 • 145a3d4 • 
on Feb 2

Deploying to gh-pages from @ bca6210 🚀

github-actions[bot]pushed 1 commit to gh-pages • a32106d…4d0ff70 • 
on Jan 22

Deleted branch

garesdeleted fix-spilling-var • 
on Jan 22

Merge pull request #310 from LPCIC/fix-spilling-var

Pull request merge
garespushed 2 commits to master • 1992fb3…bca6210 • 
on Jan 22

fix var spilling (fix #309)

garescreated fix-spilling-var • 67ba3ca • 
on Jan 22

Updated gh-pages

garespushed 1 commit to gh-pages • 09b3500…a32106d • 
on Jan 13

Update elpi doc to 2.0.7.

garespushed 1 commit to gh-pages • e672bd8…09b3500 • 
on Jan 13

Deleted tag

garesdeleted refs/tags/v2.0.7 • 
on Jan 13

Update elpi doc to 2.0.7.

garespushed 1 commit to gh-pages • e65aec7…e672bd8 • 
on Jan 13

Deploying to gh-pages from @ 1992fb3 🚀

github-actions[bot]pushed 1 commit to gh-pages • 069225b…e65aec7 • 
on Jan 13

Deleted branch

garesdeleted ifdef • 
on Jan 13

Merge pull request #308 from LPCIC/ifdef

Pull request merge
garespushed 5 commits to master • 78f64c5…1992fb3 • 
on Jan 13

Deleted branch

garesdeleted x-maint • 
on Jan 13

Merge pull request #306 from LPCIC/x-maint

Pull request merge
garespushed 2 commits to master • 8f747f8…78f64c5 • 
on Jan 13

version parser resilient to errors

garespushed 3 commits to ifdef • 66af22b…7dd0353 • 
on Jan 13

elpi:if version <component> ...

garescreated ifdef • 66af22b • 
on Jan 13