Skip to content

Majestic - #207

Merged
krangelov merged 157 commits into
GrammaticalFramework:majesticfrom
krangelov:majestic
Aug 19, 2026
Merged

Majestic#207
krangelov merged 157 commits into
GrammaticalFramework:majesticfrom
krangelov:majestic

Conversation

@krangelov

@krangelov krangelov commented Aug 19, 2026

Copy link
Copy Markdown
Member
  1. New type checker
  2. Decomposed Diophantine Grammars
  3. New parser

krangelov added 30 commits May 18, 2025 07:20
@krangelov
switch to using the new type checker by default
3a1990f
@krangelov
avoid unnecessary variants
68ae919
@krangelov
two hacks for backwards compatibility
6f9f187
@krangelov
minimal set of changes to make Bulgarian compile with the new typeche…
fd27a2e 
…cker
@krangelov
don't typecheck record fields that are going to be discarded
8b93f80
@krangelov
ignore the lock field when checking for subsumption
6f86547
@krangelov
more updates for typechecking the RGL
548e4c8
@krangelov
more precise subtype/supertype for nondependent functions
054ebf0
@krangelov
ditch the old typechecker completely
c613154
@krangelov
more updates to get English compile
9c038ce
@krangelov
added missing cases for VInts
9a3cb23
@krangelov
fix for VInts
9e6885c
@krangelov
missing cases in collectOp
f82b8b6
@krangelov
progress on Finnish
a0faa48
@krangelov
added zonkValue
52eb589
@krangelov
avoid using withState
2c427b6
@krangelov
remove redundant variants
68bab72
@krangelov
added value2float, exported value2float, value2int
a59967d
@krangelov
control structure concat'
21b44e3
@krangelov
allow multiple tags inside control and top-level opers
04639d2
@krangelov
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
6664914
@krangelov
leftover change
ceb07da
@krangelov
change the semantics of bubbling and add the len construction
b993931
@krangelov
a simple selection operation
4c8549d
@krangelov
progress on the type checker
f2de64c
@krangelov
support pattern definitions inside pre
be1de11
@krangelov
detect and eliminate unnecessary coercions
0b4426a
@krangelov
allow patterns inside pre to contain concatenation
82c1a70
@krangelov
fixed typechecking for record extension
c6c1dc1
@krangelov
restore the pattern measureing for better performance
ca4e99b
krangelov added 29 commits July 27, 2026 15:35
@krangelov
in generateExprs, make sure that the NGF is not accidetally GCted
4e8bc0d
@krangelov
bugfixe in td_epsilon and better pretty printing
ec7354c
@krangelov
incremental chart construction
cccce4d
@krangelov
simplification
6307d37
@krangelov
reuse the namespace Node for the phrasetable
21c5280
@krangelov
release the phrasetable when the concrete syntax is released
696c370
@krangelov
avoid looping with recursive epsilon categories
edd9fcf
@krangelov
fix lookup morpho after changes related to the parser
abac985
@krangelov
fix the parsing api
38fb11e
@krangelov
adapt the translator to the new Parse grammars and remove the CNLs
979e5c3
@krangelov
added a few more languages
5064ba1
@krangelov
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
ac2b2c5
@krangelov
even more languages
a0c4408
@krangelov
show only language where we know the names
43322aa
@krangelov
fix hungarian
57f836c
@krangelov
update after removing gfwordnet.languages
afbb682
@krangelov
fix the display of an inflection table and add a gloss
4cfeb07
@krangelov
temporary hack for linearize_all
9ac7ea1
@krangelov
split the phrasetable to five parts and better serve the parser
c41b75a
@krangelov
fix the loop detection
79dc259
@krangelov
more documented categories
5b30a80
@krangelov
make sure that we don't miss low-prob trees
1a0a7f9
@krangelov
always use overlaps instead of lookup for intervals
d349c93
@krangelov
handle empty variants
8765c4b
@krangelov
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
3da03be
@krangelov
in the destructor make sure that we don't delete NULL items
488b424
@krangelov
minimize top-down predictions
b7a911f
@krangelov
more effective filtering for duplicates
5602627
@krangelov
implemented A* search
6c2aeb6
@krangelov
krangelov merged commit 521942d into GrammaticalFramework:majestic Aug 19, 2026
0 of 16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@krangelov