summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
fix-4526-no-fs-traversal-primlibStyle fixesPaolo G. Giarrusso5 days
issue-no-import-mainMerge branch 'master' into issue-no-import-mainLiang-Ting Chen37 hours
issue2038[ cosmetics ] fixed typo in commentAndreas Abel4 days
issue3677[ #3677 ] first attempt (not working)Andreas Abel3 weeks
issue4547[ #4547 ] refactor Concrete.Generic: use DefaultSignaturesAndreas Abel11 days
js-backend-small-improvementsrefactoring: unify type classes Uses and Globals in Agda.Compiler.JS.SyntaxPeter Divianszky5 days
lit-textMerge branch 'master' into lit-textG. Allais11 days
master[ cifm ] Excluded label `benchmark-suite`.Andrés Sicard-Ramírez16 hours
release-2.6.1Revert "[ #4324 ] Changes to Agda.cabal."Andrés Sicard-Ramírez3 weeks
team[ doc ] Authors and contributors gathered at team.rstAndreas Abel8 days
[...]
 
TagDownloadAuthorAge
v2.6.1agda-2.6.1.zip  agda-2.6.1.tar.gz  agda-2.6.1.tar.bz2  Andrés Sicard-Ramírez3 weeks
v2.6.0.1.20200307agda-2.6.0.1.20200307.zip  agda-2.6.0.1.20200307.tar.gz  agda-2.6.0.1.20200307.tar.bz2  Andrés Sicard-Ramírez5 weeks
v2.6.0.1.20191219agda-2.6.0.1.20191219.zip  agda-2.6.0.1.20191219.tar.gz  agda-2.6.0.1.20191219.tar.bz2  Andrés Sicard-Ramírez4 months
v2.6.0.1agda-2.6.0.1.zip  agda-2.6.0.1.tar.gz  agda-2.6.0.1.tar.bz2  Andrés Sicard-Ramírez11 months
v2.6.0agda-2.6.0.zip  agda-2.6.0.tar.gz  agda-2.6.0.tar.bz2  Andrés Sicard-Ramírez12 months
v2.5.4.2.20190330agda-2.5.4.2.20190330.zip  agda-2.5.4.2.20190330.tar.gz  agda-2.5.4.2.20190330.tar.bz2  Andrés Sicard-Ramírez12 months
v2.5.4.2.20190310agda-2.5.4.2.20190310.zip  agda-2.5.4.2.20190310.tar.gz  agda-2.5.4.2.20190310.tar.bz2  Andrés Sicard-Ramírez13 months
v2.5.4.2.20190217agda-2.5.4.2.20190217.zip  agda-2.5.4.2.20190217.tar.gz  agda-2.5.4.2.20190217.tar.bz2  Andrés Sicard-Ramírez14 months
v2.5.4.2.20190111agda-2.5.4.2.20190111.zip  agda-2.5.4.2.20190111.tar.gz  agda-2.5.4.2.20190111.tar.bz2  Andrés Sicard-Ramírez15 months
v2.5.4.2agda-2.5.4.2.zip  agda-2.5.4.2.tar.gz  agda-2.5.4.2.tar.bz2  Andrés Sicard-Ramírez17 months
[...]
 
AgeCommit messageAuthor
16 hours[ cifm ] Excluded label `benchmark-suite`.HEADmasterAndrés Sicard-Ramírez
17 hours[ closed #4561 ] Added benchmark summary test.Andrés Sicard-Ramírez
37 hours[ #4242, travis ] Using GHC 8.10.1.Andrés Sicard-Ramírez
40 hours[ stackage ] Bumped LTS for GHC 8.8.3 (15.6 -> 15.7)Andrés Sicard-Ramírez
40 hours[ stackage ] Added cpphs when using GHC 8.8.3.Andrés Sicard-Ramírez
41 hours[ #4242, hTags ] Fixed compilation with GHC <= 8.4.4.Andrés Sicard-Ramírez
41 hours[ #4242, hTags ] Supported GHC 8.10.1.Andrés Sicard-Ramírez
44 hours[ #4569 ] MWE for failure of Mac OS X install with dynamic linkingAndreas Abel
3 days[ fix #4570 ] Don't mark levels as `NeutralLevel` unless all reductions are e...Jesper Cockx
3 days[ #4242, htags ] Removed hard-coded option.Andrés Sicard-Ramírez
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/agda.git
git://github.com/agda/agda
https://github.com/agda/agda