Age | Commit message (Expand) | Author |
2013-11-07 | Adds the header file into makefile, solving building error; adds cache for de... | Tianyi Liang |
2013-11-06 | Bug fixes for bounded integer quantification. Current best strategy is to tu... | Andrew Reynolds |
2013-11-06 | bug fix | Tianyi Liang |
2013-11-06 | change options | Tianyi Liang |
2013-11-06 | add seperate regular expression files | Tianyi Liang |
2013-11-04 | Merge branch 'master' of https://github.com/CVC4/CVC4 | lianah |
2013-10-24 | Fix for bug515 | Clark Barrett |
2013-10-23 | add back eager approach | Tianyi Liang |
2013-10-23 | bug fix for loop rule | Tianyi Liang |
2013-10-23 | bug fix | Tianyi Liang |
2013-10-22 | bug fixes: some issues remain, need more discussion later | Tianyi Liang |
2013-10-21 | remove nested re or; opt loop | Tianyi Liang |
2013-10-21 | string fix | Tianyi Liang |
2013-10-21 | bug fix for string special case | Tianyi Liang |
2013-10-20 | adds regular expression range | Tianyi Liang |
2013-10-16 | adds fmf for strings | Tianyi Liang |
2013-10-16 | renames for strings fmf | Tianyi Liang |
2013-10-15 | bug fix in strings : change from assert to alwaysassert | Tianyi Liang |
2013-10-15 | removes some junks | Tianyi Liang |
2013-10-15 | performance optimizations for quantifier instantiation | Andrew Reynolds |
2013-10-15 | bug fix: string cache cleaning | Tianyi Liang |
2013-10-14 | Adds Regular Expression support. | Tianyi Liang |
2013-10-11 | Adds regular expression support, it is actually CFL because of variables. | Tianyi Liang |
2013-10-11 | add constant membership | Tianyi Liang |
2013-10-11 | adds native regexp. | Tianyi Liang |
2013-10-10 | Minor bug fix to datatypes. | Andrew Reynolds |
2013-10-09 | fixed options::proof() segfault | lianah |
2013-10-09 | More improvements to datatypes, eager selector collapsing, improved collect m... | Andrew Reynolds |
2013-10-08 | Optimizations for datatypes theory. There seems to be a bug in trans_closure... | Andrew Reynolds |
2013-10-07 | fixed some bugs | Liana Hadarean |
2013-10-07 | merged golden | Liana Hadarean |
2013-10-07 | Multiple fixes for datatypes theory solver: add support for parametric dataty... | Andrew Reynolds |
2013-10-03 | Added support for converting unsorted problems to multi-sorted problems via s... | Andrew Reynolds |
2013-10-03 | adds some fixes. it solves kaluza problems | Tianyi Liang |
2013-10-01 | adds partial function substr. the use of this function should be guarded, esp... | Tianyi Liang |
2013-09-30 | replace with a new method for disequality, move to QF_S | Tianyi Liang |
2013-09-30 | add x=y | Tianyi Liang |
2013-09-30 | fixed a loop bug | Tianyi Liang |
2013-09-30 | merged golden | Liana Hadarean |
2013-09-30 | Bug fixes and improvements for symmetry breaking, it now supports multiple so... | Andrew Reynolds |
2013-09-27 | Some fixes to recent strings commits. | Morgan Deters |
2013-09-27 | Merge branch 'master' of github.com:tiliang/CVC4 | Morgan Deters |
2013-09-27 | adds communication with arith engine | Tianyi Liang |
2013-09-27 | Add new symmetry breaking technique for finite model finding. Improvements t... | Andrew Reynolds |
2013-09-27 | removes unsound cases, adds unrolling | Tianyi Liang |
2013-09-27 | fix the infinite issue | Tianyi Liang |
2013-09-27 | for morgan to see the regression problems | Tianyi Liang |
2013-09-27 | fix loop detection for multi-vars | Tianyi Liang |
2013-09-27 | optimizing model generation for strings | Tianyi Liang |
2013-09-27 | adds model generation for strings, and a hacked way in arith engine for models | Tianyi Liang |