Skip to content

Let one polymake process serve the whole session - #31

Open
fingolfin wants to merge 3 commits into
polymake-jsonfrom
persistent-polymake
Open

Let one polymake process serve the whole session#31
fingolfin wants to merge 3 commits into
polymake-jsonfrom
persistent-polymake

Restart polymake when the settings it was started with change

c18663c
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 17, 2026 in 0s

90.29% of diff hit (target 83.44%)

View this Pull Request on Codecov

90.29% of diff hit (target 83.44%)

View more details on Codecov