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