Issues (1–17 of 17)

Title	T	P	Status	Votes	Assignee	Version	Created	Updated	Actions
#833: Block comments not handled properly	bug	trivial	invalid		Ruben Lapauw		2014-10-17	2014-10-17
#832: LTC in the manual	bug	trivial	new		Bart Bogaerts		2014-10-16	2014-10-16
#828: XSB output that should not have been there	bug	trivial	new		Joachim Jansen		2014-10-13	2014-10-13
#735: `.history` file	proposal	trivial	resolved			3.0	2014-04-14	2014-04-17
#720: Double recursive aggregate file	task	trivial	resolved				2014-03-27	2014-03-28
#646: typo on examples page	task	trivial	resolved				2014-01-21	2014-01-21
#641: Valgrind complains about createDomElem	bug	trivial	new				2014-01-17	2014-01-17
#621: extract the arity from function name	enhancement	trivial	new				2013-12-25	2014-01-02
#467: groundsize&& is not printed when unsat is detected during grounding	bug	trivial	resolved		Broes De Cat		2013-07-12	2013-12-24
#615: Vectorized logo	proposal	trivial	resolved				2013-12-20	2013-12-20
#552: Option blocks are useless	enhancement	trivial	new				2013-10-16	2013-10-21
#547: Update documentation on website to current idp version.	bug	trivial	resolved				2013-10-15	2013-10-16
#531: Building with XSB in empty, new directory fails (only the first time)	bug	trivial	new				2013-10-07	2013-10-07
#431: Catch all signals	task	trivial	new				2013-05-29	2013-05-29
#371: Inconsistentelements can be replaced by a counter	enhancement	trivial	new				2013-02-26	2013-02-26
#315: Test framework returns 1 if success, while bash returns 0 in that case	enhancement	trivial	new				2013-01-10	2013-01-10
#259: Disable warnings from within lua	proposal	trivial	invalid				2012-11-05	2012-11-08