projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 328eeb2) | patch
Add user documentation for resource limits (#8058)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 7 Feb 2022 21:49:31 +0000 (13:49 -0800)
committerGitHub <noreply@github.com>
Mon, 7 Feb 2022 21:49:31 +0000 (21:49 +0000)
commit42f4798be4268e65b04d54b5711f5ca896b333ed
tree7198db8454d6870da6d869f26b096e45325f7983tree
parent328eeb2a34d333b05b60a7177a2eedffb4d17455commit | diff
Add user documentation for resource limits (#8058)

Though we regularly get questions about how resource limits work, they were entirely undocumented. This PR adds some general explanation to the user docs.
docs/binary/binary.rst diff | blob | history
docs/binary/resource-limits.rst [new file with mode: 0644] blob
src/api/cpp/cvc5.h diff | blob | history