Skip to content

Exact Math models, per-call UFs for transcendental functions, bounded queries over them - #80

Closed
nils-loose wants to merge 5 commits into
svcomp27/integrationfrom
feat/math-models
Closed

Exact Math models, per-call UFs for transcendental functions, bounded queries over them#80
nils-loose wants to merge 5 commits into
svcomp27/integrationfrom
feat/math-models

Lower the default resource limit for queries over Math models to 2.5e8

a33984a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar