projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Cutting release 1.3.
[cvc5.git]
/
configure.ac
2013-12-06
Morgan Deters
Cutting release 1.3.
blob
|
commitdiff
|
raw
2013-11-21
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-11-14
Morgan Deters
Minor fixes for Mac OS Mavericks
blob
|
commitdiff
|
raw
|
diff to current
2013-11-12
Morgan Deters
Some additional explanation for a common configure...
blob
|
commitdiff
|
raw
|
diff to current
2013-11-11
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
blob
|
commitdiff
|
raw
|
diff to current
2013-11-07
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
blob
|
commitdiff
|
raw
|
diff to current
2013-09-30
Liana Hadarean
merged golden
blob
|
commitdiff
|
raw
|
diff to current
2013-09-18
Morgan Deters
Support a personal build configuration and make rules.
blob
|
commitdiff
|
raw
|
diff to current
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-07-29
Morgan Deters
Fix numerous compiler warnings on various platforms
blob
|
commitdiff
|
raw
|
diff to current
2013-07-23
Morgan Deters
fix for win32 option parsing via mingw32
blob
|
commitdiff
|
raw
|
diff to current
2013-06-25
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-06-19
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-06-04
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-29
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-21
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-21
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-20
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-08
Morgan Deters
Prerelease versioning for 1.2.x
blob
|
commitdiff
|
raw
|
diff to current
2013-05-08
Morgan Deters
Prerelease versioning for master
blob
|
commitdiff
|
raw
|
diff to current
2013-05-08
Morgan Deters
Merge tag 'smteval2013'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-08
Morgan Deters
Cutting release 1.2.
blob
|
commitdiff
|
raw
|
diff to current
2013-05-03
Tim King
Merging branch 'soiquickexplain'.
blob
|
commitdiff
|
raw
|
diff to current
2013-05-03
Tim King
Merge branch 'fcexplanations'
blob
|
commitdiff
|
raw
|
diff to current
2013-04-30
lianah
fixed merge conflicts
blob
|
commitdiff
|
raw
|
diff to current
2013-04-29
Morgan Deters
Some fixes for GCC 4.2, and for Java on Mac
blob
|
commitdiff
|
raw
|
diff to current
2013-04-29
Kshitij Bansal
Merge pull request #9 from kbansal/master
blob
|
commitdiff
|
raw
|
diff to current
2013-04-29
Morgan Deters
Fixes to FCSimplex for some versions of compilers
blob
|
commitdiff
|
raw
|
diff to current
2013-04-26
Tim King
FCSimplex branch merge
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Morgan Deters
Theory "alternates" support
blob
|
commitdiff
|
raw
|
diff to current
2013-04-03
Morgan Deters
Prerelease versioning for master.
blob
|
commitdiff
|
raw
|
diff to current
2013-04-03
Morgan Deters
Pre-release versioning
blob
|
commitdiff
|
raw
|
diff to current
2013-04-03
Morgan Deters
Cutting release 1.1.
blob
|
commitdiff
|
raw
|
diff to current
2013-04-01
Morgan Deters
Merging some cleanup work:
blob
|
commitdiff
|
raw
|
diff to current
2013-03-27
lianah
Merge branch 'master' into bv-core
blob
|
commitdiff
|
raw
|
diff to current
2013-03-26
Morgan Deters
Fixes for warnings from clang++, from -std=gnu++0x...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-20
Liana Hadarean
merged master with dejan's constant evaluating equality...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-19
Morgan Deters
Remove PropositionalQuery class and all CUDD-related...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-15
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-14
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-01
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-26
lianah
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-16
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Tim King
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-08
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Kshitij Bansal
Merge remote-tracking branch 'origin/1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-04
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-04
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-02
lianah
merged master into branch
blob
|
commitdiff
|
raw
|
diff to current
2013-02-01
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-31
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-28
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-28
Morgan Deters
some fixes for win32, including ability to "make check...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-27
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Morgan Deters
Add win32 support (merge from mdeters/win32, with some...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-18
Morgan Deters
Fix bug 483: readline checks must come after Boost...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-18
Morgan Deters
Fix bug 483: readline checks must come after Boost...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-06
Morgan Deters
version numbering
blob
|
commitdiff
|
raw
|
diff to current
2012-12-03
Morgan Deters
version numbering
blob
|
commitdiff
|
raw
|
diff to current
2012-12-01
Morgan Deters
Cutting release 1.0.
blob
|
commitdiff
|
raw
|
diff to current
2012-11-29
Morgan Deters
Fix for hidden symbols in library on Mac. It's a stran...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-27
Morgan Deters
fix for some Mac builds
blob
|
commitdiff
|
raw
|
diff to current
2012-11-27
Morgan Deters
give warning at configure-time about unsupported langua...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-12
Morgan Deters
* Fix language bindings: various issues
blob
|
commitdiff
|
raw
|
diff to current
2012-11-05
Morgan Deters
fixes for mac os
blob
|
commitdiff
|
raw
|
diff to current
2012-10-25
ACSYS
last build system fix for now: fix some typos affecting Mac
blob
|
commitdiff
|
raw
|
diff to current
2012-10-25
Morgan Deters
extra quoting for special character
blob
|
commitdiff
|
raw
|
diff to current
2012-10-25
ACSYS
more minor fixes to build system
blob
|
commitdiff
|
raw
|
diff to current
2012-10-25
Morgan Deters
One of my changes to the build system yesterday broke...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-24
Morgan Deters
Includes many fixes to build system for Solaris (thanks...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-06
Morgan Deters
* Some documentation about building compatibility and...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-29
Morgan Deters
draft RELEASE-NOTES file, and minor release stuff
blob
|
commitdiff
|
raw
|
diff to current
2012-09-28
Morgan Deters
Public interface review items:
blob
|
commitdiff
|
raw
|
diff to current
2012-09-25
Morgan Deters
fix
blob
|
commitdiff
|
raw
|
diff to current
2012-09-25
Morgan Deters
fix some Mac issues
blob
|
commitdiff
|
raw
|
diff to current
2012-09-21
Morgan Deters
SMT-LIBv2 compliance updates:
blob
|
commitdiff
|
raw
|
diff to current
2012-09-14
Morgan Deters
Fix a few minor issues in options processing, improving...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-04
Morgan Deters
Accepted some patches from the Multicore Programming...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-28
Morgan Deters
fix regression tests for automake 1.11 and automake...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-28
Morgan Deters
fixes for Mac and automake 1.12 detection
blob
|
commitdiff
|
raw
|
diff to current
2012-08-06
Morgan Deters
Support setting :regular-output-channel and :diagnostic...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-31
Morgan Deters
Options merge. This commit:
blob
|
commitdiff
|
raw
|
diff to current
2012-07-16
Morgan Deters
reverse the order of link arguments to -lcln -lgmp...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-08
Morgan Deters
remove a debugging line from configure script that...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-01
Morgan Deters
Some changes to configure.ac:
blob
|
commitdiff
|
raw
|
diff to current
2012-06-06
Morgan Deters
Fixing numerous issues with tests and "make dist":
blob
|
commitdiff
|
raw
|
diff to current
2012-04-28
Morgan Deters
require boost library (but not the threading support...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-11
Morgan Deters
merge from arrays-clark branch
blob
|
commitdiff
|
raw
|
diff to current
2012-04-06
Morgan Deters
fix distributed builds (and therefore the Debian nightl...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-30
Dejan Jovanović
some more build system fixes
blob
|
commitdiff
|
raw
|
diff to current
2012-03-09
Morgan Deters
Some work on the dump infrastructure to support portfol...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-03
Morgan Deters
Changing the dependency checking; GMP is required ...
blob
|
commitdiff
|
raw
|
diff to current
2012-02-23
Morgan Deters
pcvc4 only built if --with-portfolio given to the confi...
blob
|
commitdiff
|
raw
|
diff to current
next