Age | Commit message (Collapse) | Author |
|
Thanks Johannes Kanig for the report.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Conflicts:
test/regress/regress0/arrays/Makefile.am
|
|
Thanks to Eric Seidel for the report. Also fixed some operator precedence problems w.r.t. store expressions and arithmetic.
|
|
support elsewhere).
|
|
portfolio test failures).
|
|
Conflicts:
NEWS
|
|
Christoph Sticksel for reporting).
|
|
|
|
presentation language.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sticksel for the report.
|
|
Christoph Sticksel for reporting these.
|
|
ground terms).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
disabling codatatype reasoning. Minor cleanup.
|
|
|
|
|
|
|
|
|
|
|