projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef45a4a) | patch
Cleanup examples (#4634)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 19 Jun 2020 16:09:45 +0000 (09:09 -0700)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 16:09:45 +0000 (09:09 -0700)
commit039a642610f570f3367a73a3a29082152a2736f2
tree83cea291b2eaddcd71deb606110afcc7fb9d6a74tree
parentef45a4a2529ed5eccfcae634207921b6df3eebc1commit | diff
Cleanup examples (#4634)

This commit removes examples from unsupported programming languages and
fixes a compilation issue in the sets-translate example. The issue
arised due to changes to the `DefineFunctionCommand` in commit
fd60da4a22f02f6f5b82cef3585240c1b33595e9 and wasn't detected by our CI
because the sets-translate example requires Boost.
examples/SimpleVC.ml [deleted file] blob | history
examples/SimpleVC.php [deleted file] blob | history
examples/SimpleVC.pl [deleted file] blob | history
examples/SimpleVC.rb [deleted file] blob | history
examples/SimpleVC.tcl [deleted file] blob | history
examples/sets-translate/sets_translate.cpp diff | blob | history