15 Commits

Author	SHA1	Message	Date
Erik Kundt	80458b0420	Explains test structure and update mechanism more detailed.	2018-03-27 11:55:21 +02:00
Erik Kundt	9d9c0bf908	Updates "How to contribute" ... Adds detailed description of the new syntax test tool.	2018-03-21 19:35:22 +01:00
Daniel Kirchner	3232561d97	Refactoring; fuse SyntaxTestParser and SyntaxTester to SyntaxTest.	2018-03-13 11:20:11 +01:00
chriseth	2b19bcf609	Link to dev channel	2017-12-18 13:05:08 +00:00
chriseth	a1f3046647	Add SMT tests.	2017-09-29 12:44:39 +02:00
chriseth	818a371929	Explain how to run the tests in more detail.	2017-09-05 22:02:43 +01:00
Patrick Walters	b166228a39	Update contributing.rst	2017-07-04 23:46:07 -05:00
Alex Beregszaszi	1d4f40e3a2	Document Whiskers.	2017-06-22 16:56:57 +02:00
chriseth	78c892aafa	Undo changes to building from source.	2017-06-12 17:18:55 +02:00
Marius Kjærstad	320bc15431	Fixed "building-from-source" link ... Fixed building-from-source link in contributing.rst	2017-06-10 14:33:02 +02:00
Alex Beregszaszi	83892399f0	Explain how to run soltest	2016-11-28 20:33:09 +00:00
chriseth	e268b5fa3e	Explain up-for-grabs issues.	2016-10-13 15:10:12 +02:00
chriseth	4f5a95d569	Update documentation to version 0.4.0.	2016-09-06 19:11:41 +02:00
Denton Liu	30f1288537	Update README to link to new contribution section	2016-08-29 14:05:46 -04:00
Denton Liu	4b74bf799c	Create contribution guidelines	2016-08-29 13:28:33 -04:00