debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	fixed an issue with parsing floating points	Checkmate50	2016-07-19
\|
*	Added and briefly tested the updated syntax. NaN/oo not supported yet	Checkmate50	2016-07-19
\|
*	Changed the syntax reading of the float type	Checkmate50	2016-07-16
\|
*	rebuilt scanner and parser via coco	Checkmate50	2016-07-16
\|
*	change to update	Checkmate50	2016-06-07
\|
*	removed an unnecessary type checking addition	Checkmate50	2016-06-07
\|
*	fixed some merging issues	Checkmate50	2016-06-07
\|
*	resolving conflicts	Checkmate50	2016-06-06
\|\
* \|	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
\| \|
* \|	finished testing, fixed several minor compiler bugs	Checkmate50	2016-06-06
\| \|
* \|	Initial round of testing works with new syntax. Fixed an error where ↵	Checkmate50	2016-05-31
\| \| \| \| \| \| \| \|	floating points could not be given as a function argument
\| *	Rename DLLs to non-generic names by prefixing "Boogie". Project names and	akashlal	2016-04-15
\| \| \| \| \| \| \| \|	namespaces remain the same.
* \|	modified floating point syntax and modified floating point constants to use ↵	Checkmate50	2016-03-17
\| \| \| \| \| \| \| \|	bitvector values
* \|	Modified BigFloat and parser to accept correct SMT-LIB syntax	Checkmate50	2016-02-20
\| \|
* \|	Special fp types (such as infinity and NaN are now translated by boogie	Checkmate50	2015-11-29
\| \|
\| *	Add simplified may-unverified analysis and instrumentation.	Valentin Wüstholz	2015-11-20
\| \|
\| *	Fix issue with partially-verified assertions.	Valentin Wüstholz	2015-11-19
\| \|
\| *	Add experimental support for optimization (requires Z3 build after changeset ↵	Valentin Wüstholz	2015-11-18
\| \| \| \| \| \| \| \|	9cba63c31f6f1466dd4ef442bb840d1ab84539c7).
\| *	Add support for identifying unnecessary assumes.	Valentin Wüstholz	2015-11-16
\| \|
\| *	Document the new behaviour of the ``-proc:`` command line option	Dan Liew	2015-10-31
\| \| \| \| \| \| \| \|	in the output of Boogie's help.
\| *	Added wild card matching for /proc flag	Shaobo	2015-10-31
\| \|
\| *	fix for deterministicExtractLoops for nested loops	Shuvendu Lahiri	2015-10-27
\| \|
\| *	Bug fix for deterministExtractLoops for Shaobo's example	Shuvendu Lahiri	2015-10-26
\| \|
* \|	Modified translation so that z3 runs with type checking for simple binary ↵	Checkmate50	2015-10-14
\| \| \| \| \| \| \| \|	operations
\| *	update	Shaz Qadeer	2015-09-28
\| \|
* \|	Modified BigFloat to avoid evaluating the floating point value before ↵	Checkmate50	2015-09-23
\| \| \| \| \| \| \| \|	sending it to z3
* \|	Added initial support for float addition	Checkmate50	2015-09-17
\| \|
\| *	Merge branch 'master' of https://github.com/boogie-org/boogie	Rustan Leino	2015-08-28
\| \|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Conflicts: Source/Core/CommandLineOptions.cs Source/ExecutionEngine/ExecutionEngine.cs Source/ExecutionEngine/VerificationResultCache.cs Source/VCGeneration/VC.cs Test/snapshots/runtest.snapshot Test/snapshots/runtest.snapshot.expect
\| * \|	Added /verifySnapshots:3, which prints recycled errors messages with the ↵	Rustan Leino	2015-08-28
\| \| \| \| \| \| \| \| \| \| \| \|	source locations of the new code.
* \| \|	Float type now works correctly for simple variable declaration and comparison.	Dietrich	2015-07-20
\| \| \|
\| \| *	fix for /deterministicExtractLoops sed in SymDiff	Shuvendu Lahiri	2015-07-19
\| \| \|
* \| \|	Modified internal abstract float representation to allow user-defined ↵	Dietrich	2015-07-13
\| \| \| \| \| \| \| \| \| \| \| \|	mantissa and exponent
\| \| *	Update URL to boogie-partners to its new location on GitHub.	Dan Liew	2015-06-28
\| \| \|
\| \| *	Fix issue #16 reported by @crazykt	Dan Liew	2015-06-28
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Previously when Boogie was passed the ``-proc:<NAME>`` argument on the command line it would verify any procedure whose name contained ``<NAME>`` which doesn't seem like correct behaviour. Now Boogie only tries to verify a procedure only if its name matches ``<NAME>`` exactly. I've added several test cases to check Boogie behaves as expected.
\| \| *	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
\| \| *	Remove dead file.	Dan Liew	2015-06-28
\| \| \|
\| \| *	fixed bug reported by Chris	qadeer	2015-06-15
\| \| \|
\| \| *	adding z3name option	Ken McMillan	2015-06-15
\| \| \|
\| \| *	Minor changes	Valentin Wüstholz	2015-06-12
\| \| \|
\| \| *	Fix issue with computation of statement checksums for lambda expressions.	Valentin Wüstholz	2015-06-12
\| \| \|
\| \| *	Fix issue in checksum computation for lambda expressions.	Valentin Wüstholz	2015-06-12
\| \| \|
\| \| *	various changes for duality from dead codeplex repo	U-REDMOND\kenmcmil	2015-06-09
\| \|/
\| *	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-08
\| \|
\| *	Fix minor issue.	Valentin Wüstholz	2015-06-05
\| \|
\| *	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-05
\| \|
* \|	added interpretation of floating point constants to the parser	Dietrich	2015-05-18
\| \|
\| *	Add some experimental support for diagnosing timeouts.	Valentin Wüstholz	2015-05-18
\| \|
\| *	Minor refactoring	Valentin Wüstholz	2015-05-17
\| \|
\| *	Make caching of verification results more fine-grained for changes that ↵	Valentin Wüstholz	2015-05-17
\| \| \| \| \| \| \| \|	affect preconditions.
* \|	added decimal reading functionality to the float type	Dietrich	2015-05-05
\| \|