Generalize ParsableVariable and Schemavariables#3436

Merged

unp1 merged 28 commits intoKeYProject:mainfrom Drodt:move-parsable-var

May 22, 2024

+3,740-5,037

Commits on Mar 5, 2024

Start moving parsable variable
Drodt
committed
spotless
Drodt
committed
Fix 100 errors
Drodt
committed
Fix 100 more errors
Drodt
committed
Fix even more errors
Drodt
committed
Fix type error
Drodt
committed
Fix errors after changing ParsableVars
Drodt
committed
Delete Legacy Matcher and adapt VM matcher for new Modality operator
Drodt
committed
Fix errors resulting from changing ParseableVar
Drodt
committed
Fix parsing of variable conditions

unp1
authored and
Drodt
committed
Fix taclet equality test

unp1
authored and
Drodt
committed
Fix taclet prefix check when parsing

unp1
authored and
Drodt
committed
Spotless fixes

unp1
authored and
Drodt
committed
Fix settings test for SE

unp1
authored and
Drodt
committed
Beautified code

unp1
authored and
Drodt
committed
Rename AbstractSV to OperatorSV
Drodt
committed
Spotless
Drodt
committed
Spotless
Drodt
committed
Move ParsableVariable to ncore
Drodt
committed

Commits on Mar 6, 2024

Commits on Mar 11, 2024

Remove todo
Drodt
committed

Commits on May 2, 2024

Commits on May 17, 2024

Merge branch 'main' into move-parsable-var
Drodt
committed

Commits on May 22, 2024