Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Replace USE_GCC=4.8+ by the equivalent, but preferred USE_GCC=yes. | Gerald Pfeifer | 2014-09-20 | 1 | -1/+1 |
* | Fix build on 8 and 9 where there is no std::strtoull. | Vsevolod Stakhov | 2014-08-27 | 1 | -11/+19 |
* | Test fix for math/gringo. | Matthias Andree | 2014-08-21 | 1 | -0/+12 |
* | - Update to 4.4.0 | Vsevolod Stakhov | 2014-08-19 | 2 | -4/+4 |
* | - Unbreak on FreeBSD < 10 | Vsevolod Stakhov | 2014-01-24 | 1 | -5/+13 |
* | Add gringo - an advanced grounder to compute variable-free programs. | Vsevolod Stakhov | 2014-01-10 | 3 | -0/+35 |