Query refactor#150

Draft

Nielswps wants to merge 65 commits intoEcdar:mainfrom

Nielswps:query_refactor

Commits on Feb 8, 2023

Commits on Feb 10, 2023

Commits on Feb 23, 2023

Commits on Feb 24, 2023

Line about the deprecated mutation package added
Nielswps
committed

Commits on Feb 26, 2023

WIP: Potential fix for dangling engines by keeping track of started connections in one place and removing this responsibility from the QueryHandler
Nielswps
committed
Dependency termination and refactoring
Nielswps
committed
WIP: ToDo tested and removed
Nielswps
committed

Commits on Feb 27, 2023

WIP: Major refactoring with dependency elimination and removal of business logic in data classes
Nielswps
committed

Commits on Mar 1, 2023

Commits on Mar 2, 2023

Update src/main/java/ecdar/abstractions/Query.java

Nielswps
and
Andreas K. Brandhøj
authored
WIP: Review changes (part 1/2)
Nielswps
committed
Update src/main/java/ecdar/backend/BackendHelper.java

Nielswps
and
Andreas K. Brandhøj
authored
WIP: refactoring started
Nielswps
committed
Merge branch 'backend_to_engine' of github.com:Nielswps/Ecdar-GUI into backend_to_engine
Nielswps
committed
WIP: Review changes (part 2/2)
Nielswps
committed
Merge branch 'backend_to_engine' into ed_ref
Nielswps
committed
BackendDriver refactored to be more readable (method division)
Nielswps
committed

Commits on Mar 3, 2023

More refactoring
Nielswps
committed

Commits on Mar 10, 2023

Merge branch 'Ecdar:main' into ed_ref
Nielswps
authored

Commits on Mar 12, 2023

Commits on Mar 18, 2023

Observable list fixed
Nielswps
committed

Commits on Mar 24, 2023