debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| *	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 affec...	Valentin Wüstholz	2015-05-17
\| \| *	Fix for printFixedPoint when dealing with functions	Akash Lal	2015-05-13
* \| \|	Made significant changes to internal representation of BigFloat. Remains a w...	Dietrich	2015-05-07
\| \| *	SecureVC: example	Akash Lal	2015-05-07
\| \| *	Fix for secureVCGen	Akash Lal	2015-05-07
\| \| *	Make it preserve the fact that the value of an assumption variable never beco...	Valentin Wüstholz	2015-05-06
* \| \|	added decimal reading functionality to the float type	Dietrich	2015-05-05
* \| \|	added general floating point mantissa and exponent management	Dietrich	2015-05-04
* \| \|	integrated the named float type to act as a real in boogie	Dietrich	2015-05-04
\| \| *	Fix for AbsHoudini	akashlal	2015-05-01
\| \| *	AbsHoudini: made disjunct bound a parameter	akashlal	2015-05-01
\| \| *	Add support for 'verified_under' attributes on procedure calls and invariants.	Valentin Wüstholz	2015-04-29
\| \| *	Try to add build status icon for the Windows build.	Dan Liew	2015-04-28
* \| \|	modified the third float_test slightly	Dietrich	2015-04-27
* \| \|	Began adding the float type to VC expression	Dietrich	2015-04-27
* \| \|	Added float operations to AbsyExpr. Note that float operations work as real ...	Dietrich	2015-04-27
* \| \|	Finished up Parser modifications	Dietrich	2015-04-27
* \| \|	removed the last console writes (used for testing)	Dietrich	2015-04-26
* \| \|	Successfully parsed the float type	Dietrich	2015-04-26
* \| \|	added float type to the set array in Parser	Dietrich	2015-04-26
* \| \|	removed comments from Scanner.cs, changed the value of the float token kind t...	Dietrich	2015-04-26
* \| \|	added float type to Arithmetic Expression and added a new float test	Dietrich	2015-04-26
\| \| *	Try to fix the emission of invalid SMT-LIBv2 queries when Boogie has a	Dan Liew	2015-04-26
\| \| *	Minor fixes for AbsHoudini	Akash Lal	2015-04-23
\| \|/
\| *	renamed og to civl	qadeer	2015-04-22
\| *	Better error message	akashlal	2015-04-21
* \|	renamed fp32 to BigFloat	Dietrich	2015-04-20
* \|	added minor commenting to Parser.cs	Dietrich	2015-04-20
* \|	added a collection of console writes for debugging. These should be removed ...	Dietrich	2015-04-20
* \|	added a file for float type testing	Dietrich	2015-04-20
* \|	Added float type to the Parser and Scanner	Dietrich	2015-04-20
* \|	added float tipe to AbsyExpr and IntervalDomain. The methods added may requi...	Dietrich	2015-04-20
\| *	added more examples	qadeer	2015-04-18
\| *	patched ghost checking	qadeer	2015-04-18
\| *	changed aux attribute to ghost	qadeer	2015-04-18
* \|	added float type definition to AbsyType and parser (parser definition may be ...	Dietrich	2015-04-17
\| *	fixed the treatment of extern	qadeer	2015-04-17
* \|	adding references to the floating point type wherever references to the real ...	Dietrich	2015-04-17
* \|	Added the fp32 class, copied from the previously existing BigDec class. No s...	Dietrich	2015-04-17
\| *	first check in	qadeer	2015-04-16
\| *	patched the type checker to deal with modularity	qadeer	2015-04-16
\|/
*	Note that CVC4 support is experimental.	Dan Liew	2015-04-05
*	Fix typo in README.md spotted by Jeroen Ketema.	Dan Liew	2015-04-05
*	Patch by Jeroen Ketema.	Dan Liew	2015-04-05
*	Disable test is ``Test/Secure``. They aren't set up properly.	Dan Liew	2015-04-05
*	Some test cases for SecureVCGen (disabled for lit currently)	akashlal	2015-04-05
*	VC gen for security properties	akashlal	2015-04-05
*	Fix ``Test/test15/CaptureState.bpl`` test under Linux.	Dan Liew	2015-04-03