✨ Add SyReC synthesis with Additional Lines#65

Merged

burgholzer merged 14 commits intocda-tum:mainfrom SmaranTum:Adding-Original-SyReC-synthesizer

Sep 5, 2022

+1,374-906

Commits on Aug 24, 2022

included the sythesizer with additional line functionality (original_syrec.cpp/hpp)
SmaranTum
committed

Commits on Aug 29, 2022

Merge branch 'cda-tum:main' into Adding-Original-SyReC-synthesizer
SmaranTum
authored

Commits on Aug 30, 2022

Made necessary changes to include the additional line functionality in a single file.
SmaranTum
committed
Merge remote-tracking branch 'origin/Adding-Original-SyReC-synthesizer' into Adding-Original-SyReC-synthesizer
SmaranTum
committed

Commits on Sep 2, 2022

Merge branch 'cda-tum:main' into Adding-Original-SyReC-synthesizer
SmaranTum
authored

Commits on Sep 3, 2022

Commits on Sep 4, 2022