2013-03-23 | Dejan Jovanović | changing string hash function to use the gnu namespace |
commit | commitdiff | tree |
2013-03-22 | Dejan Jovanović | compiles with |
commit | commitdiff | tree |
2013-03-22 | Dejan Jovanović | another typo/bugfix for equality constant evaluation |
commit | commitdiff | tree |
2013-03-21 | Dejan Jovanović | fixing markings of internal nodes in equality engine |
commit | commitdiff | tree |
2013-03-21 | Dejan Jovanović | Merge branch 'master' of github.com:CVC4/CVC4 |
commit | commitdiff | tree |
2013-03-21 | Dejan Jovanović | more equality constant evaluation |
commit | commitdiff | tree |
2013-03-21 | Dejan Jovanović | fixing constant evaluation bugs |
commit | commitdiff | tree |
2013-03-20 | Dejan Jovanović | Adding evaluation of constant terms to the equality... |
commit | commitdiff | tree |
2012-12-22 | Dejan Jovanović | Merge branch '1.0.x' |
commit | commitdiff | tree |
2012-12-22 | Dejan Jovanović | adding copy constructor for the datatype enumerator |
commit | commitdiff | tree |