Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
143 commits
Select commit Hold shift + click to select a range
e0a712c
pure source code
cyb3r-b4stard Jul 7, 2023
5b49764
pure source code
cyb3r-b4stard Jul 7, 2023
2418672
removed redundant options from Main
cyb3r-b4stard Jul 7, 2023
51b5da7
removed redundant options from Main
cyb3r-b4stard Jul 7, 2023
335d9c2
removed redundant options from Main
cyb3r-b4stard Jul 7, 2023
19a5a7d
Removed all code that did not utilize SPPF
cyb3r-b4stard Jul 7, 2023
a645581
Improved codestyle for graph
cyb3r-b4stard Jul 7, 2023
0617e0a
Major codestyle improvements for the sake of readability
cyb3r-b4stard Jul 7, 2023
9e39319
Returned back to origina 'equals' methods
cyb3r-b4stard Jul 8, 2023
6b47e46
benchmark code cleaned. Parser compiles and runs successfully
cyb3r-b4stard Jul 8, 2023
51e6970
Error Recovery
cyb3r-b4stard Sep 19, 2023
bccf0e1
Error Recovery implemented in RSM-SPPF-STRING version of kotgll
cyb3r-b4stard Oct 2, 2023
da4f484
UpdateWeights completed
cyb3r-b4stard Oct 2, 2023
13222fa
Bug fixes. Algorithm accepts on syntactically correct strings
cyb3r-b4stard Oct 8, 2023
cf3bb20
Benchmark setup for evaluating performance of ErrorRecovery strategy …
cyb3r-b4stard Oct 9, 2023
0ff88dc
Benchmark setup for evaluating performance of ErrorRecovery strategy …
cyb3r-b4stard Oct 9, 2023
19f0041
Untrack *.csv files from benchmark output
cyb3r-b4stard Oct 9, 2023
eb14354
Fixed bugs in ErrorRecovery mechanism. Added generator of SPPF in .do…
cyb3r-b4stard Oct 12, 2023
d7b6ceb
Recovery tests passed successfully. Added string generation from resu…
cyb3r-b4stard Oct 19, 2023
03d1edb
new gitignore
cyb3r-b4stard Oct 19, 2023
45391e4
Parsing end condition fixed
cyb3r-b4stard Oct 19, 2023
2b340ed
Represented input as an TokenSequence abstraction
cyb3r-b4stard Oct 19, 2023
ed55149
Lexical analysis and code refactoring
cyb3r-b4stard Oct 24, 2023
8fd46b7
gitignore and benchmarks update
cyb3r-b4stard Oct 24, 2023
0d4873b
Benchmarks
cyb3r-b4stard Oct 24, 2023
1015450
Benchmarks
cyb3r-b4stard Oct 24, 2023
9ddc285
Benchmarks
cyb3r-b4stard Oct 24, 2023
642df44
Benchmark
cyb3r-b4stard Oct 24, 2023
761262a
Gradle problem resolve
cyb3r-b4stard Nov 1, 2023
7d912be
Gradle problem resolve
cyb3r-b4stard Nov 1, 2023
d3995e1
cmth
cyb3r-b4stard Nov 1, 2023
e6a6479
Tests adopted to graph input
cyb3r-b4stard Nov 2, 2023
abebd5f
LabelType abstraction, RSM representation in .dot format
cyb3r-b4stard Nov 3, 2023
1f6e9f3
LabelType abstraction, RSM representation in dot format
cyb3r-b4stard Nov 3, 2023
95f2697
Working on CF-solver
cyb3r-b4stard Nov 9, 2023
ec93408
Represented Terminal as a wrapper of any Terminal-like object
cyb3r-b4stard Nov 10, 2023
93b929a
Updated .gitignore
cyb3r-b4stard Nov 10, 2023
4cc521c
Demo for AllPairs Reachability
cyb3r-b4stard Nov 10, 2023
a55dc77
Removed redundant parametrization
cyb3r-b4stard Nov 10, 2023
e19a767
Fixed bug in buildStringFromSPPF function
cyb3r-b4stard Nov 10, 2023
a8072a9
Demo for Stack Language. Added support for epsilon edges in Input Graph
cyb3r-b4stard Nov 13, 2023
9120f22
Update README.md
bachish Nov 14, 2023
650d38e
Split RSM into package
bachish Nov 16, 2023
bfb7f1e
Rollback main
bachish Nov 16, 2023
303d366
Fix Term equals
bachish Nov 17, 2023
3493822
Support for incrementality on added edges to input graph
cyb3r-b4stard Nov 22, 2023
5b6192e
Examples of incrementality on linear graphs
cyb3r-b4stard Nov 22, 2023
204f45f
Update README.md
bachish Nov 14, 2023
b975a44
Split RSM into package
bachish Nov 16, 2023
c520b75
Rollback main
bachish Nov 16, 2023
2b1e9ee
Fix Term equals
bachish Nov 17, 2023
cc3b29a
incrementality examples
cyb3r-b4stard Nov 23, 2023
8b18712
Merge branch 'cf_solver' into cf_solver_incrementality
cyb3r-b4stard Nov 28, 2023
615c699
SPPF Invalidation incapsulated
cyb3r-b4stard Nov 28, 2023
6615a41
pull merge conflict resolved
cyb3r-b4stard Nov 28, 2023
029708c
* Remove id from RSMState.kt. Update rsm serialization methods
bachish Nov 28, 2023
6248493
codestyle improvements
cyb3r-b4stard Dec 1, 2023
818bcaa
GLL calculates minDistance between two vertices in Graph, which are r…
cyb3r-b4stard Dec 6, 2023
453dd29
Incapsulated distance calculation in SPPF
cyb3r-b4stard Dec 6, 2023
1d1c14a
Merge remote-tracking branch 'origin/cf_solver' into rsm_api
bachish Nov 28, 2023
546728e
Remove Id from RSMState class
bachish Dec 14, 2023
fcddab6
Fix absolute path to resources in tests
bachish Dec 21, 2023
59fddb1
Support for incrementality on added edges to input graph
cyb3r-b4stard Nov 22, 2023
587b611
Examples of incrementality on linear graphs
cyb3r-b4stard Nov 22, 2023
eb6f323
incrementality examples
cyb3r-b4stard Nov 23, 2023
b905987
SPPF Invalidation incapsulated
cyb3r-b4stard Nov 28, 2023
e731838
codestyle improvements
cyb3r-b4stard Dec 1, 2023
d01a82f
GLL calculates minDistance between two vertices in Graph, which are r…
cyb3r-b4stard Dec 6, 2023
03a215f
Incapsulated distance calculation in SPPF
cyb3r-b4stard Dec 6, 2023
5a04343
Fix absolute path to resources in tests
bachish Dec 21, 2023
833ca36
Ignore failed in gll tests
bachish Dec 22, 2023
d2f5fdb
Unify terminal and nonterminal edges
bachish Dec 22, 2023
da0d390
Merge branch 'cf_solver_incrementality' into unify_edges
bachish Dec 22, 2023
2bc11cc
Fix merge issue
bachish Dec 22, 2023
895c487
Revert "Fix absolute path to resources in tests"
bachish Dec 25, 2023
ad354ae
Merge branch 'cf_solver_incrementality' into unify_edges
bachish Dec 25, 2023
c4ef2d5
Merge pull request #10 from FormalLanguageConstrainedPathQuerying/uni…
cyb3r-b4stard Dec 25, 2023
b214195
Minor fixes, .gitignore correction
cyb3r-b4stard Dec 25, 2023
bed9d88
merge conflict resolve
cyb3r-b4stard Dec 25, 2023
e36db11
Merge pull request #5 from FormalLanguageConstrainedPathQuerying/cf_s…
cyb3r-b4stard Dec 25, 2023
41c0621
test files restored
cyb3r-b4stard Dec 26, 2023
0f48cb9
test files restored
cyb3r-b4stard Dec 26, 2023
0bca69e
fix read from resources (again)
bachish Dec 26, 2023
5db96bf
Fix merge inRSMWrite
bachish Dec 26, 2023
466ce81
Merge remote-tracking branch 'origin/cf_solver' into cf_solver
bachish Dec 26, 2023
14ab196
Rename Acronyms: https://stackoverflow.com/questions/15526107/acronym…
cyb3r-b4stard Dec 26, 2023
490fdc4
Pull conflict resolved
cyb3r-b4stard Dec 26, 2023
3c7bb19
Path class used instead of Strings in Benchmarks
cyb3r-b4stard Dec 26, 2023
fba0491
CI setup (#11)
bachish Jan 18, 2024
37a1ca3
fix rsmWriteToDot method
bachish Jan 19, 2024
e3ea597
fix rsmWriteToDot method
bachish Jan 19, 2024
ec107e5
Refactoring, remove data from GLL core. (#14)
bachish Feb 1, 2024
6a55ea0
Refactoring gll: fix error recovery (#15)
bachish Feb 7, 2024
eaab051
the logic of getting the next descriptor is put into IContext, handwr…
bachish Feb 7, 2024
9c629f2
Refactor rsmState, speeding up rsm edges getting extractions
bachish Feb 26, 2024
e2329ec
Add dymanic parser testing (#17)
bachish Mar 15, 2024
2d13e6a
Add parser generator with scanner (#21)
bachish Mar 29, 2024
edb56ef
Update lexerless tests (#22)
bachish Mar 30, 2024
ee866d4
Added grammars and inputs both correct and incorrect for dynamic test…
cyb3r-b4stard Apr 12, 2024
e6841cf
Renamed main package to ucfs
cyb3r-b4stard Apr 12, 2024
29d5107
Separated build for solver and benchmarks (#26)
cyb3r-b4stard Apr 17, 2024
09c6c6a
The generator and the test are divided into their own subprojects (#27)
bachish Apr 17, 2024
2ad68dc
Update README.md
gsvgit Apr 17, 2024
efe618c
add ast extraction and ast node generation (#28)
bachish Apr 25, 2024
e0a6109
Benchmarks base (#29)
bachish May 30, 2024
436fb4c
update docs
bachish May 30, 2024
a0aab61
Improve perfarmance (#30)
bachish May 31, 2024
a4643af
Update benchmarks system (#31)
bachish Jan 5, 2025
6b0462a
Add API for any dot input with strings on edges
bachish Feb 8, 2025
7316694
Refactor GLL algorithm
bachish Apr 18, 2025
3ba3284
Refactor GLL algorithm. Add base correctness tests
bachish May 8, 2025
1e539a0
Add API for any dot input with strings on edges (#35)
bachish May 8, 2025
870fe2d
Fix recursive sppf
bachish May 11, 2025
d5d3421
add more tests
bachish May 12, 2025
114145b
remove duplication
bachish May 12, 2025
41f1732
Merge branch 'cf_solver' into bachish/tree-correctness
bachish May 12, 2025
eea6e3a
remove duplicated test
bachish May 12, 2025
3c6725b
Fix recursive case + more tests (#36)
bachish May 20, 2025
9d61b27
Add fictive nonterminal
bachish May 25, 2025
0b47bc4
Merge branch 'cf_solver' into bachish/tree-correctness
bachish May 25, 2025
a53ce2e
Pretty refactoring
bachish Jun 4, 2025
c57477d
Pretty refactoring
bachish Jun 22, 2025
ed36225
add assert on regenerate
bachish Aug 1, 2025
a22e1fb
remove logger
ProALgebra Aug 6, 2025
6840a43
fix_sppf_bug: Dot create, without wrong nodes. We dot die on Ambiguiu…
ProALgebra Aug 6, 2025
0e1930d
update_test: Update test for new fix. Now all test work
ProALgebra Aug 6, 2025
18d1628
fix_global_id_bug: Now id in context.
ProALgebra Aug 7, 2025
d04aba7
test_refactor: Refactoring test. All test passed
ProALgebra Aug 7, 2025
ef6d911
made_tree_rendering_stable: remove global id. Made tree rendering stable
ProALgebra Aug 8, 2025
0f5c81d
Refactor tests. Make it more abstract by grammar
ProALgebra Aug 8, 2025
50ca168
delete id method, delete next method
ProALgebra Aug 8, 2025
29dbc92
Add timer for test
ProALgebra Aug 14, 2025
c3d79de
bipartitle_graph_test_add
ProALgebra Aug 14, 2025
536a355
refactor
ProALgebra Aug 26, 2025
e6c1aa4
add new tests
ProALgebra Aug 26, 2025
a30a1b1
add_new_test: Add new test and add new path for bechmarks result
ProALgebra Aug 27, 2025
7ea6467
all_test_work
ProALgebra Sep 2, 2025
fa986b4
Add_bipartitle_tests
ProALgebra Sep 2, 2025
37ff9dd
Add memory test
ProALgebra Sep 4, 2025
e1f9c0b
add setting for tests
ProALgebra Sep 4, 2025
25f0e50
Clean before merge
ProALgebra Sep 5, 2025
b91de46
Merge branch 'test-fix' into new_main
ProALgebra Sep 5, 2025
165a0c2
Merge branch 'create_new_memory_test_and_scripts_for_test' into new_main
ProALgebra Sep 5, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
54 changes: 24 additions & 30 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
@@ -1,42 +1,36 @@
name: Build
name: Build project

on: [ push, pull_request, workflow_dispatch ]

env:
GRADLE_BUILD_ACTION_CACHE_DEBUG_ENABLED: true
#workflow_dispatch -- for manual trigger
on: [ push, workflow_dispatch ]

jobs:
build:
strategy:
matrix:
os: [ ubuntu-latest, macos-latest, windows-latest ]
runs-on: ${{ matrix.os }}

runs-on: ubuntu-latest

steps:
- name: Checkout
uses: actions/checkout@v4
uses: actions/checkout@v3

- name: Setup JDK 11
- name: Set up JDK 11
uses: actions/setup-java@v3
with:
distribution: temurin
java-version: 11
java-version: '11'
distribution: 'temurin'

- name: Execute Gradle `build` task
uses: gradle/gradle-build-action@v2
with:
arguments: build --scan
cache-read-only: |
${{ github.ref != 'refs/heads/main' &&
github.ref != 'refs/heads/dev' }}
gradle-home-cache-includes: |
caches
notifications
jdks

- name: Upload `build` report
if: always()
uses: actions/upload-artifact@v3
- name: Install JFlex
run: |
sudo apt-get install -y jflex

- name: Install ANTLR4 files
run: |
sudo apt-get install antlr4

- name: Generate files
run: |
./benchmarks/scripts/generate_all.sh

- name: Build with Gradle
uses: gradle/gradle-build-action@bd5760595778326ba7f1441bcf7e88b49de61a25 # v2.6.0
with:
name: BuildReport-${{ matrix.os }}
path: build/reports/
arguments: build
64 changes: 19 additions & 45 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,57 +1,31 @@
# Compiled class file
*.class

# Log file
*.log

# BlueJ files
*.ctxt

# Mobile Tools for Java (J2ME)
.mtj.tmp/

# Package Files #
*.jar
*.war
*.nar
*.ear
*.zip
*.tar.gz
*.rar

# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*
*.logs

.gradle
build/
!gradle/wrapper/gradle-wrapper.jar
!**/src/main/**/build/
!**/src/test/**/build/
**/build/

### IntelliJ IDEA ###
.idea

### Eclipse ###
.apt_generated
.classpath
.factorypath
.project
.settings
.springBeans
.sts4-cache
bin/
!**/src/main/**/bin/
!**/src/test/**/bin/

### NetBeans ###
/nbproject/private/
/nbbuild/
/dist/
/nbdist/
/.nb-gradle/

./test-shared/gen
### VS Code ###
.vscode/

### Mac OS ###
.DS_Store
.DS_Store

### Generated files ###
/benchmarks/gen/
/benchmarks/logs/

### Antlr parsers ###
/benchmarks/src/main/java/org/antlr/*
!/benchmarks/src/main/java/org/antlr/*.g4

### Jflex scanner ###
/benchmarks/src/main/java/org/ucfs/scanner/*
!/benchmarks/src/main/java/org/ucfs/scanner/*.flex

### Large datasets ###
/benchmarks/src/test/resources/java/correct/*
Loading
Loading