José Luis Lafuente 535694122e C API: rename State to EvalState

2024-03-28 10:51:59 +01:00

..

external-api

C API: rename State to EvalState

2024-03-28 10:51:59 +01:00

internal-api

Simplify RapidCheck configure

2024-01-15 08:05:05 -05:00

manual

doc/local.mk: Add manual-html-open phony target for auto-opening the browser (#10308)

2024-03-27 22:28:05 +01:00