ada/cvc5

Fork 0

mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00

Commit Graph

Author	SHA1	Message	Date
Aina Niemetz	dab8236589	docs: python: Add missing docs text for pages. (#11057 )	2024-08-05 18:47:34 +00:00
Aina Niemetz	1b9eab5c0e	docs: Restructure and extend proofs docs. (#11045 )	2024-07-16 23:07:30 +00:00
Hans-Jörg	0a35879fc1	Make Proof Rule enum a part of the API (#9925 ) This pull requests makes the enum that lists all proof rules a part of the API. It also renames the enum from PfRule to ProofRule. It also renames some unrelated types and function names that share the PfRule name (such as DslPfRule). This rename unfortunately touches many files since PfRule is not an uncommon type. (second to last commit)	2023-09-27 00:58:03 +00:00

Author

SHA1

Message

Date

Aina Niemetz

dab8236589

docs: python: Add missing docs text for pages. (#11057 )

2024-08-05 18:47:34 +00:00

Aina Niemetz

1b9eab5c0e

docs: Restructure and extend proofs docs. (#11045 )

2024-07-16 23:07:30 +00:00

Hans-Jörg

0a35879fc1

Make Proof Rule enum a part of the API (#9925 )

This pull requests makes the enum that lists all proof rules a part of the API.

It also renames the enum from PfRule to ProofRule. It also renames some unrelated types and function names that share the PfRule name (such as DslPfRule).
This rename unfortunately touches many files since PfRule is not an uncommon type. (second to last commit)

2023-09-27 00:58:03 +00:00

3 Commits