index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
floats
Commit message (
Expand
)
Author
Age
*
White space deltas. (I'm not sure why git thought I had changes in these fil...
Rustan Leino
2016-08-17
*
fixed an error where a -0 was not interpreted as a negative number
Checkmate50
2016-07-23
*
corrected minor error in test
Checkmate50
2016-07-22
*
fixed the syntax on former tests and added two fp constant translation tests
Checkmate50
2016-07-22
*
fixed an issue with parsing floating points
Checkmate50
2016-07-19
*
Modified the float tests to match the updated syntax
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
*
removed an unnecessary type checking addition
Checkmate50
2016-06-07
*
resolving conflicts
Checkmate50
2016-06-06
*
minor changes
Checkmate50
2016-06-06
*
Polished up the floats test folder. Preparing to rebase
Checkmate50
2016-06-06
*
finished testing, fixed several minor compiler bugs
Checkmate50
2016-06-06
*
moved all the tests to the testing folder
Checkmate50
2016-05-31