git.libre-soc.org Git - cvc5.git/history - docs/theories/datatypes.rst

2022-04-02	Aina Niemetz	api: Rename get(Selector\|Constructor)Term() to getTerm...	blob \| commitdiff \| raw
2022-04-02	Andrew Reynolds	Add a few miscellaneous pieces of documentation (#8533)	blob \| commitdiff \| raw \| diff to current
2022-03-31	Mathias Preiner	docs: Remove api namespace. (#8455)	blob \| commitdiff \| raw \| diff to current
2022-03-30	Andrew Reynolds	Change tuple tokens and update datatypes theory ref...	blob \| commitdiff \| raw \| diff to current
2022-03-25	Andrew Reynolds	Fixes for theory reference for datatypes (#8380)	blob \| commitdiff \| raw \| diff to current
2022-02-02	mudathirmahgoub	Update datatypes.rst (#8009)	blob \| commitdiff \| raw \| diff to current
2022-01-07	Gereon Kremer	Some minor improvements to the theory references (...	blob \| commitdiff \| raw \| diff to current
2021-06-15	Aina Niemetz	docs: Add references instead of links in theory referen...	blob \| commitdiff \| raw \| diff to current
2021-06-09	Aina Niemetz	docs: Migrate sets and relations theory reference....	blob \| commitdiff \| raw \| diff to current
2021-06-04	Aina Niemetz	docs: Migrate datatypes theory reference. (#6662)	blob \| commitdiff \| raw \| diff to current