Skip to content

Actual main#28

Open
ProALgebra wants to merge 145 commits intovadyushkins:mainfrom
FormalLanguageConstrainedPathQuerying:new_main
Open

Actual main#28
ProALgebra wants to merge 145 commits intovadyushkins:mainfrom
FormalLanguageConstrainedPathQuerying:new_main

Conversation

@ProALgebra
Copy link

No description provided.

cyb3r-b4stard and others added 30 commits July 7, 2023 10:23
…lting parse tree. Added convenient visual representation of resulting parse tree
bachish and others added 28 commits May 12, 2025 22:34
# Conflicts:
#	solver/src/main/kotlin/org/ucfs/descriptors/DescriptorsStorage.kt
#	solver/src/main/kotlin/org/ucfs/gss/GraphStructuredStack.kt
#	solver/src/main/kotlin/org/ucfs/gss/GssNode.kt
#	solver/src/main/kotlin/org/ucfs/parser/Gll.kt
#	solver/src/main/kotlin/org/ucfs/parser/IGll.kt
#	solver/src/main/kotlin/org/ucfs/sppf/SppfStorage.kt
#	solver/src/main/kotlin/org/ucfs/sppf/node/RangeSppfNode.kt
#	solver/src/main/kotlin/org/ucfs/sppf/writeSppfToDot.kt
#	test-shared/src/test/kotlin/grammars/SimpleDyck.kt
#	test-shared/src/test/kotlin/solver/AbstractCorrectnessTest.kt
#	test-shared/src/test/kotlin/solver/TreeCorrectnessTest.kt
#	test-shared/src/test/resources/correctness/tree/ABGrammar/ambig/result.dot
#	test-shared/src/test/resources/correctness/tree/SALang/linear/result.dot
#	test-shared/src/test/resources/correctness/tree/SimplifiedDyck/linear/result.dot
* Add API for any dot input with strings on edges

* Refactor GLL algorithm

* Refactor GLL algorithm. Add base correctness tests

* Fix recursive sppf

* add more tests

* remove duplication

* remove duplicated test
# Conflicts:
#	solver/src/main/kotlin/org/ucfs/parser/Gll.kt
#	solver/src/main/kotlin/org/ucfs/sppf/node/RangeSppfNode.kt
#	solver/src/main/kotlin/org/ucfs/sppf/writeSppfToDot.kt
#	test-shared/src/test/kotlin/grammars/SimpleDyck.kt
#	test-shared/src/test/kotlin/solver/AbstractCorrectnessTest.kt
#	test-shared/src/test/resources/correctness/tree/ABGrammar/ambig/result.dot
#	test-shared/src/test/resources/correctness/tree/LoopDyck/oneVertex/result.dot
#	test-shared/src/test/resources/correctness/tree/LoopDyck/secondWorstCase/result.dot
#	test-shared/src/test/resources/correctness/tree/LoopDyck/twoPairs/result.dot
#	test-shared/src/test/resources/correctness/tree/SALang/linear/result.dot
#	test-shared/src/test/resources/correctness/tree/SimplifiedDyck/linear/result.dot
@gsvgit
Copy link

gsvgit commented Sep 26, 2025

@ProALgebra Can you resolve conflicts?

@bachish bachish deleted the new_main branch November 25, 2025 21:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants