debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Interleave stderr output with test results; this allows one to print stuff	Clément Pit--Claudel	2015-08-21
\| \| \| \|	directly to stderr in Dafny without breaking tests
*	Ignore flycheck_* files in runTests	Clément Pit--Claudel	2015-08-21
\|
*	runTests: Accept tests one by one, even if they are given as a .lst file	Clément Pit--Claudel	2015-08-19
\|
*	runTests: Include failed tests in mean completion time	Clément Pit--Claudel	2015-08-19
\|
*	runTests: Report mean completion time of passed tests, excluding outliers	Clément Pit--Claudel	2015-08-18
\|
*	runTests.py: Pretty-print stderr output to TRACE upon test failure	Clément Pit--Claudel	2015-08-12
\|
*	Add tests for the server	Clément Pit--Claudel	2015-07-31
\|
*	Merge	Clément Pit--Claudel	2015-07-28
\|\
* \|	Save failing tests to failing.lst, making it easy to re-run them	Clément Pit--Claudel	2015-07-28
\|/
*	Bump up the time limit in runTests.py and save a bit of space in output	Clément Pit--Claudel	2015-07-23
\|
*	Let runTests.py generate expect files	Clément Pit--Claudel	2015-07-23
\| \| \| \|	That is, missing expect files now raise a warning, not an error.
*	Small fix in runTests.py	Clément Pit--Claudel	2015-07-21
\|
*	runTests.py: Improve reports (show oldest thread) and fix colors on cygwin	Clément Pit--Claudel	2015-07-20
\| \| \| \| \| \|	The color fix is only partial. It's rather tricky to support all combinations of cygwin/cmd and posix/nt Python. At the moment things work well everywhere with native Python.
*	Split snapshot tests into separate files and add support for %S in runTests.py	Clément Pit--Claudel	2015-07-20
\|
*	Add missing .expect file	Clément Pit--Claudel	2015-07-20
\| \| \| \|	+ a small fix in runTests.py
*	Clean up runTests after 2015/07/17 meeting	Clément Pit--Claudel	2015-07-17
\|
*	Small fix in runTests.py	Clément Pit--Claudel	2015-06-12
\|
*	Add missing default parameter in runTests.py	Clément Pit--Claudel	2015-06-11
\|
*	A few more improvements to runTests.py	Clément Pit--Claudel	2015-06-11
\|
*	Small improvements to runTests.py	Clément Pit--Claudel	2015-06-10
\|
*	Add the beginning of a new testing infrastructure	Clément Pit--Claudel	2015-06-08
	runTests.py reads lit-style annotations, so we will be able to retain lit compatibility. This new framework adds: * Precise timings * Proper support for interrupting using Ctrl+C * Much better reporting (including tracking of error codes, and merging of successive reports for performance tracking) * No dependency on lit, OutputCheck, or Diff * Pretty colors!