projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cmake: Disable C++ GNU extensions. (#3446)
[cvc5.git] / src / util / bitvector.h
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) blob | commitdiff | raw
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2019-03-18 Aina NiemetzBitVector: Allow base 10 in constructor. (#2870) blob | commitdiff | raw | diff to current
2018-07-15 Andres NoetzliAvoid ambiguous overloads in BitVector (#2169) blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2018-02-23 Aina NiemetzSplit and document bitvector.h. (#1615) blob | commitdiff | raw | diff to current
2018-02-10 Aina NiemetzMove BitVector specific funs from bv::utils to util... blob | commitdiff | raw | diff to current
2018-01-09 Aina NiemetzReorganized bitvector.h. (#1505) blob | commitdiff | raw | diff to current
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp blob | commitdiff | raw | diff to current
2017-08-05 Aina NiemetzReorganized bitvector.h blob | commitdiff | raw | diff to current
2017-08-04 Aina NiemetzFix comments blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-05-26 Clark BarrettMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-05-26 Clark BarrettUpdated script, fixed bug in QF_NIA conversion. blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2015-12-24 Tim KingMiscellaneous fixes blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2014-06-10 lianahMerging CAV14 paper bit-vector work. blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-09-18 Morgan DetersSupport for bv2nat/int2bv in parser and BV rewriter. blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2013-03-29 Dejan JovanovićMerge branch 'master' of github.com:CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-03-27 lianahMerge branch 'master' into bv-core blob | commitdiff | raw | diff to current
2013-03-27 lianahadded model generation for bv subtheories and bv-inequa... blob | commitdiff | raw | diff to current
2013-03-22 lianahMerge branch 'master' into bv-core blob | commitdiff | raw | diff to current
2013-03-21 lianahMerge branch 'master' into bv-core blob | commitdiff | raw | diff to current
2013-03-21 lianahMerge branch 'master' into bv-core blob | commitdiff | raw | diff to current
2013-03-21 lianahMerge branch 'master' into bv-core blob | commitdiff | raw | diff to current
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... blob | commitdiff | raw | diff to current
2013-03-13 lianahpost failed attempts at getting the incremental solver... blob | commitdiff | raw | diff to current
2013-02-02 lianahmerged master into branch blob | commitdiff | raw | diff to current
2012-12-15 Tim KingMerge remote-tracking branch 'main-repo/1.0.x' into... blob | commitdiff | raw | diff to current
2012-12-12 Dejan JovanovićMerge pull request #2 from CVC4/1.0.x blob | commitdiff | raw | diff to current
2012-12-12 Dejan JovanovićMerge pull request #1 from lianah/1.0.x blob | commitdiff | raw | diff to current
2012-12-12 lianah* fixed bug 481 by adding check for division by 0 in... blob | commitdiff | raw | diff to current
2012-12-11 Liana Hadareanported my bv-core branch from svn to git blob | commitdiff | raw | diff to current
2012-11-12 Liana Hadareanchanged BitVector::unsignedRem to match the behavior... blob | commitdiff | raw | diff to current
2012-11-12 Morgan Deters* Fix language bindings: various issues blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-09-28 Morgan DetersPublic interface review items: blob | commitdiff | raw | diff to current
2012-08-07 Morgan DetersSome items from the CVC4 public interface review: blob | commitdiff | raw | diff to current
2012-04-11 Morgan Detersmerge from arrays-clark branch blob | commitdiff | raw | diff to current
2012-04-04 Liana Hadarean * added propagation as lemmas to TheoryBV: blob | commitdiff | raw | diff to current
2012-03-22 Liana HadareanMerged updated version of the bitvector theory: blob | commitdiff | raw | diff to current
2012-02-25 Liana HadareanRefactored CnfStream to work with the bv theory Bitblaster: blob | commitdiff | raw | diff to current
2012-02-15 Tim KingThis commit merges into trunk the branch branches/arith... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-04-18 Morgan DetersPartial merge from datatypes-merge branch: blob | commitdiff | raw | diff to current
2011-03-20 Dejan Jovanovićcommit for the version of bitvectors that passes all... blob | commitdiff | raw | diff to current
2010-11-15 Morgan DetersPretty-printer infrastructure created (in src/printer... blob | commitdiff | raw | diff to current
2010-11-09 Dejan JovanovićLemmas on demand work, push-pop, some cleanup. blob | commitdiff | raw | diff to current
2010-10-04 Morgan Detersremove/shuffle some #include dependencies; fix some... blob | commitdiff | raw | diff to current
2010-09-20 Dejan Jovanovićbitvector rewriting for the core theory and testcases blob | commitdiff | raw | diff to current
2010-07-03 Morgan DetersWith this commit come a number of changes to build... blob | commitdiff | raw | diff to current
2010-07-02 Morgan Detersre-generated comment headers of source files blob | commitdiff | raw | diff to current
2010-06-30 Morgan Deters* theory "tree" rewriting implemented and works blob | commitdiff | raw | diff to current
2010-06-18 Tim KingMerging the statistics branch into the main trunk.... blob | commitdiff | raw | diff to current
2010-06-04 Morgan Deters** Don't fear the files-changed list, almost all change... blob | commitdiff | raw | diff to current
2010-05-06 Christopher L. ConwayAdding bit-vector constants in SMT2 blob | commitdiff | raw | diff to current
2010-05-05 Dejan Jovanovićchanging the interface to bit-vector constant constructor blob | commitdiff | raw | diff to current
2010-05-05 Dejan Jovanovićbit-vector constant constructor from string blob | commitdiff | raw | diff to current
2010-05-04 Dejan JovanovićType-checking classes and hooks (not tested yet). blob | commitdiff | raw | diff to current
2010-05-02 Dejan Jovanovićsmt parser for bit-vectors blob | commitdiff | raw | diff to current
2010-04-29 Dejan JovanovićAdded the capability to construct expressions by passin... blob | commitdiff | raw | diff to current
2010-04-14 Dejan JovanovićMarging from types 404:415, changes: Massive blob | commitdiff | raw | diff to current