Skip to content

Actions: GrammaticalFramework/gf-core

Actions

Build majestic runtime

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
started node.js binding Build majestic runtime #836: Commit da135be pushed by krangelov
October 3, 2023 07:12 14m 19s majestic
majestic
October 3, 2023 07:12 14m 19s