cvc5/contrib at master - cvc5 - ProxGit

ada/cvc5

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

Files

History

Andrew Reynolds a137ead681 Preparation for 1.3.2 release (#12297 )

Updates news and ethos version

2025-12-09 21:27:33 +00:00

..

cmake: Check for Pip after creating venv (#12167 )

2025-10-22 18:03:17 +00:00

Do not filter output for the model-validation and unsat-cores tracks (#12012 )

2025-06-25 21:34:11 +00:00

cvc5_strict_smtlib

Use env in shebang lines (#9391 )

2023-01-09 22:42:21 +00:00

cvc-devel.el

minor fixes, added contrib directory

2009-11-09 21:47:30 +00:00

cvc-mode.el

Remove references to nyu (#1721 )

2018-04-02 13:35:24 -07:00

get-authors

Update copyright headers. (#11561 )

2025-01-23 17:54:20 +00:00

get-carcara-checker

[alethe] Update names of proof-specific BV operators (#12150 )

2025-09-24 22:30:13 +00:00

get-drat2er

Goodbye CVC4, hello cvc5! (#6371 )

2021-04-21 10:21:34 -07:00

get-ethos-checker

Preparation for 1.3.2 release (#12297 )

2025-12-09 21:27:33 +00:00

get-lfsc-checker

Update proof checker scripts (#11899 )

2025-05-19 19:37:01 +00:00

get-script-header.sh

Remove ANTLR code from parser (#9829 )

2023-07-10 10:34:40 -05:00

install-rare-rewrites

Add missing include for rewrites.eo (#12176 )

2025-10-12 17:26:39 +00:00

learn_resource_weights.py

Goodbye CVC4, hello cvc5! (#6371 )

2021-04-21 10:21:34 -07:00

make-release.py

make_release: Fix syntax of regex.

2024-08-08 09:20:30 -07:00

README

Goodbye CVC4, hello cvc5! (#6371 )

2021-04-21 10:21:34 -07:00

uncovered-api-functions.py

Make uncovered-api-functions.py exit with 1 if something is not covered (#8360 )

2022-03-22 20:33:11 +00:00

update-copyright.pl

Update copyright headers. (#11561 )

2025-01-23 17:54:20 +00:00

README

This directory is for contributions to cvc5 that aren't directly
part of the main project.

-- Morgan Deters <mdeters@cs.nyu.edu>  Mon, 09 Nov 2009 15:14:41 -0500