index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
|
|
*
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
*
Fix ``livevars/daytona_bug2_ioctl_example_2.bpl`` test under Linux.
Dan Liew
2015-04-03
*
Add TravisCI build status icon to README.md
Dan Liew
2015-04-03
*
Clean up .gitignore file
Dan Liew
2015-04-03
*
Remove some old mercurial files.
Dan Liew
2015-04-03
*
Add .travis.yml file for TravisCI builds.
Dan Liew
2015-04-03
*
Add initial README.md
Dan Liew
2015-04-03
*
Add LICENSE file.
Dan Liew
2015-04-01
*
updated the example to include atomic specifications (sent by Suha)
qadeer
2015-03-29
*
Patch by Jeroen Ketema
Dan Liew
2015-03-27
*
Compute MustReach information lazily, on-demand
akashlal
2015-03-16
[prev]
[next]