Webservice - #27

Merged

larsbengel merged 15 commits into

mainfrom

Sep 18, 2026

Commits on Jun 14, 2026

some new stuff for serialisation web interface
larsbengel
committed
7657261
added web interface for serialisability
larsbengel
committed
a91813f
minor bugfix
larsbengel
committed
4c44c47

Commits on Jun 15, 2026

Experimental refactoring of RequestController
larsbengel
committed
8ea7d52

Commits on Jun 18, 2026

added webservice for setAFs
larsbengel
committed
0feb559

Commits on Jun 19, 2026

refactored bipolar webservice to support more semantics
larsbengel
committed
c191756
added reduction-based reasoner for SetAfs
larsbengel
committed
cc9fc76

Commits on Jul 3, 2026

updated available semantics for /bipolar webservice
larsbengel
committed
20dac93

Commits on Jul 15, 2026

updated webinterface to allow for additional parameters of several solver types
larsbengel
committed
8bc7bea

Commits on Jul 21, 2026

enhanced AbstractExtensionReasonerFactory to support serialised meta-reasoner with selection and termination functions
larsbengel
committed
277a36d

Commits on Aug 27, 2026

updated .gitignore to specify the path for server log lock file
larsbengel
committed
9e50442

Commits on Sep 18, 2026

Merge remote-tracking branch 'origin/main' into webservice
larsbengel
committed
99331ec
removed unused imports
larsbengel
committed
a795dfc
bugfix in tests
larsbengel
committed
48ef333
update snapshot version
larsbengel
committed
a4785ba