Skip to content

Actions: edwinb/Yaffle

Actions

Yaffle

Actions

Loading...

Show workflow options

Create status badge

ci-yaffle.yml
28 workflow runs
28 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[ fix ] handling of VCase in Core.Case.Builder.sameType Yaffle #124: Pull request #35 opened by AlgebraicWolf
November 27, 2023 20:26 16m 27s AlgebraicWolf:headeq-for-vcase
AlgebraicWolf:headeq-for-vcase
November 27, 2023 20:26 16m 27s
[ port idris-lang/Idris2#2863 ] Make some higher-order functions in prelude tc-inlined Yaffle #123: Pull request #34 opened by mjustus
November 3, 2023 16:13 16m 5s mjustus:port-pr2863
mjustus:port-pr2863
November 3, 2023 16:13 16m 5s
[ port ] faithful implementation of size-change graph termination ana… Yaffle #122: Commit d178374 pushed by edwinb
October 30, 2023 16:45 20m 45s main
main
October 30, 2023 16:45 20m 45s
Test update Yaffle #121: Commit b402583 pushed by edwinb
October 30, 2023 16:44 26m 58s main
main
October 30, 2023 16:44 26m 58s
[ port ] faithful implementation of size-change graph termination analysis Yaffle #120: Pull request #29 synchronize by mjustus
October 20, 2023 15:56 24m 31s mjustus:pr2877
mjustus:pr2877
October 20, 2023 15:56 24m 31s
[ port ] faithful implementation of size-change graph termination analysis Yaffle #119: Pull request #29 synchronize by mjustus
October 20, 2023 10:15 24m 5s mjustus:pr2877
mjustus:pr2877
October 20, 2023 10:15 24m 5s
[ port ] faithful implementation of size-change graph termination analysis Yaffle #118: Pull request #29 synchronize by mjustus
October 18, 2023 12:15 18m 54s mjustus:pr2877
mjustus:pr2877
October 18, 2023 12:15 18m 54s
Merge branch 'main' of github.com:edwinb/Yaffle Yaffle #117: Commit 1934232 pushed by edwinb
October 9, 2023 08:41 21m 27s main
main
October 9, 2023 08:41 21m 27s
make cond's default argument lazy (#30) Yaffle #115: Commit af8d0d7 pushed by edwinb
September 25, 2023 14:12 25m 10s main
main
September 25, 2023 14:12 25m 10s
[ port ] Ignore UseSide annotation in non-linear as-patterns (#32) Yaffle #114: Commit bf279ba pushed by edwinb
September 25, 2023 14:09 22m 32s main
main
September 25, 2023 14:09 22m 32s
Merge branch 'main' of github.com:edwinb/Yaffle Yaffle #113: Commit b485b68 pushed by edwinb
September 25, 2023 12:34 22m 15s main
main
September 25, 2023 12:34 22m 15s
[ compat ] base now has quantity 0 for cong's argument (#33) Yaffle #112: Commit 5d0d081 pushed by edwinb
September 25, 2023 12:12 22m 4s main
main
September 25, 2023 12:12 22m 4s
Some fixes for making tests work Yaffle #111: Commit 7a6953f pushed by edwinb
September 18, 2023 08:53 19m 19s main
main
September 18, 2023 08:53 19m 19s
[ compat ] base now has quantity 0 for cong's argument Yaffle #110: Pull request #33 opened by gallais
July 10, 2023 14:26 19m 29s gallais:compat-idris2
gallais:compat-idris2
July 10, 2023 14:26 19m 29s
Use a 'Glued' as argument to VLam Yaffle #109: Commit 5b89c7e pushed by edwinb
July 10, 2023 14:14 26m 41s main
main
July 10, 2023 14:14 26m 41s
Some evaluator reorganisation Yaffle #106: Commit 6b4466f pushed by edwinb
May 17, 2023 10:40 21m 8s main
main
May 17, 2023 10:40 21m 8s
Don't normalise in checkIfGuarded Yaffle #105: Commit ee4cebf pushed by edwinb
May 16, 2023 15:52 23m 38s main
main
May 16, 2023 15:52 23m 38s
Update test output Yaffle #104: Commit 9d90dff pushed by edwinb
May 15, 2023 12:02 19m 11s main
main
May 15, 2023 12:02 19m 11s
Fix ordering of unification rules Yaffle #103: Commit 74d70b3 pushed by edwinb
May 15, 2023 11:56 41s main
main
May 15, 2023 11:56 41s
Linearity checking of case blocks Yaffle #102: Commit cb9e551 pushed by edwinb
May 8, 2023 11:14 18m 16s main
main
May 8, 2023 11:14 18m 16s
[ port ] faithful implementation of size-change graph termination analysis Yaffle #101: Pull request #29 synchronize by mjustus
April 22, 2023 12:21 19m 59s mjustus:pr2877
mjustus:pr2877
April 22, 2023 12:21 19m 59s
Temporary fix for linearity checking case blocks Yaffle #100: Commit c216722 pushed by edwinb
April 19, 2023 18:02 17m 51s main
main
April 19, 2023 18:02 17m 51s
Add base libraries Yaffle #99: Commit 120412c pushed by edwinb
April 19, 2023 15:37 18m 35s main
main
April 19, 2023 15:37 18m 35s
Build size change graphs from Value, not Term Yaffle #98: Commit cd6b1b0 pushed by edwinb
April 19, 2023 15:33 16m 49s main
main
April 19, 2023 15:33 16m 49s
[ total ] Make getters TCInline & add a test for getters producing a smaller value Yaffle #97: Pull request #31 opened by buzden
April 19, 2023 12:27 21m 17s buzden:record-smaller
buzden:record-smaller
April 19, 2023 12:27 21m 17s