Skip to content

Actions: GrammaticalFramework/gf-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
173 workflow runs
173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bugfix Build majestic runtime #854: Commit 93e47b6 pushed by krangelov
December 20, 2023 09:19 8m 2s majestic
majestic
December 20, 2023 09:19 8m 2s
more general and simpler implementation for gluing Build majestic runtime #853: Commit 4c701e6 pushed by krangelov
December 16, 2023 11:29 7m 57s majestic
majestic
December 16, 2023 11:29 7m 57s
store the index with every production Build majestic runtime #852: Commit 9313b45 pushed by krangelov
December 15, 2023 09:25 7m 7s majestic
majestic
December 15, 2023 09:25 7m 7s
restore epsilons while parsing Build majestic runtime #851: Commit f2d269f pushed by krangelov
December 14, 2023 17:16 7m 37s majestic
majestic
December 14, 2023 17:16 7m 37s
visualize_dependencies (vd) now creates latex in landscape mode to sh… Build & Publish Python Package #415: Commit c218227 pushed by aarneranta
December 14, 2023 10:56 9m 39s master
master
December 14, 2023 10:56 9m 39s
visualize_dependencies (vd) now creates latex in landscape mode to sh… Build with stack and cabal #324: Commit c218227 pushed by aarneranta
December 14, 2023 10:56 10m 25s master
master
December 14, 2023 10:56 10m 25s
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core in… Build majestic runtime #850: Commit ad57f73 pushed by krangelov
December 5, 2023 14:03 9m 16s majestic
majestic
December 5, 2023 14:03 9m 16s
remove phrasetable_lookup_epsilons which is no longer in use Build majestic runtime #849: Commit d0e3c30 pushed by krangelov
December 5, 2023 13:01 7m 29s majestic
majestic
December 5, 2023 13:01 7m 29s
remove a premature optimization that caused problems Build majestic runtime #848: Commit 86315bc pushed by krangelov
December 5, 2023 12:57 6m 52s majestic
majestic
December 5, 2023 12:57 6m 52s
partial implementation for type inference with records Build majestic runtime #847: Commit 2631f0a pushed by krangelov
December 1, 2023 14:26 7m 30s majestic
majestic
December 1, 2023 14:26 7m 30s
small fixes Build majestic runtime #846: Commit 8540e44 pushed by krangelov
November 29, 2023 07:47 9m 44s majestic
majestic
November 29, 2023 07:47 9m 44s
typechecking without Value<->Term conversion Build majestic runtime #845: Commit 5232364 pushed by krangelov
November 28, 2023 20:23 8m 3s majestic
majestic
November 28, 2023 20:23 8m 3s
refactoring Build majestic runtime #844: Commit 54e06b5 pushed by krangelov
November 28, 2023 09:25 8m 19s majestic
majestic
November 28, 2023 09:25 8m 19s
fully restore the parser Build majestic runtime #843: Commit 6b9bda3 pushed by krangelov
November 28, 2023 06:40 10m 22s majestic
majestic
November 28, 2023 06:40 10m 22s
ensure that metavariable IDs are always in sync Build majestic runtime #842: Commit eb71557 pushed by krangelov
November 27, 2023 12:54 9m 42s majestic
majestic
November 27, 2023 12:54 9m 42s
allow Exp instead of Exp1 for the source commands Build majestic runtime #841: Commit 65002fb pushed by krangelov
November 24, 2023 08:41 7m 17s majestic
majestic
November 24, 2023 08:41 7m 17s
the evaluator and the typechecker now share the same monad Build majestic runtime #840: Commit 4f28d2b pushed by krangelov
November 24, 2023 08:41 6m 46s majestic
majestic
November 24, 2023 08:41 6m 46s
make "cc", "so", "create lin", "create lincat" usable even without lo… Build majestic runtime #839: Commit e996d78 pushed by krangelov
November 23, 2023 19:27 7m 32s majestic
majestic
November 23, 2023 19:27 7m 32s
the normalForm for terms now compresses variants Build majestic runtime #838: Commit 511fdee pushed by krangelov
November 23, 2023 18:36 7m 19s majestic
majestic
November 23, 2023 18:36 7m 19s
started porting the experimental type checker to the new evaluator Build majestic runtime #837: Commit fcc80b5 pushed by krangelov
November 20, 2023 13:54 9m 54s majestic
majestic
November 20, 2023 13:54 9m 54s
Merge pull request #166 from GrammaticalFramework/fix-python-ci Build with stack and cabal #323: Commit e11017a pushed by inariksit
November 17, 2023 13:36 9m 5s master
master
November 17, 2023 13:36 9m 5s
Merge pull request #166 from GrammaticalFramework/fix-python-ci Build & Publish Python Package #414: Commit e11017a pushed by inariksit
November 17, 2023 13:36 14m 50s master
master
November 17, 2023 13:36 14m 50s
Fix CI for "Build & Publish Python Package": use python 3.10 instead of latest Build with stack and cabal #322: Pull request #166 opened by inariksit
November 17, 2023 13:12 10m 2s fix-python-ci
fix-python-ci
November 17, 2023 13:12 10m 2s
Fix CI for "Build & Publish Python Package": use python 3.10 instead of latest Build & Publish Python Package #413: Pull request #166 opened by inariksit
November 17, 2023 13:12 9m 52s fix-python-ci
fix-python-ci
November 17, 2023 13:12 9m 52s
Merge pull request #164 from BeFunctional/tp_pgf_support_ghc_94 Build & Publish Python Package #412: Commit 9204884 pushed by inariksit
November 17, 2023 13:02 9m 9s master
master
November 17, 2023 13:02 9m 9s