| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | removed bitvector analysis from Boogie |  qadeer | 2013-12-08 |
| * | Fixes to refactoring | Ally Donaldson | 2013-07-22 |
| * | Started to remove ...Seq classes | Ally Donaldson | 2013-07-22 |
| * | More refactoring | Ally Donaldson | 2013-07-22 |
| * | More refactoring towards replacing PureCollections.Sequence with List | Ally Donaldson | 2013-07-22 |
| * | Refactoring of VariableSeq and TypeSeq | Ally Donaldson | 2013-07-22 |
| * | bitvector fixes |  qadeer | 2011-09-24 |
| * | further edits | qadeer | 2011-09-01 |
| * | improved bitvector analysis | qadeer | 2011-09-01 |
| * | more changes to bitvector analysis | qadeer | 2011-08-29 |
| * | further updates to bit vector analysis | qadeer | 2011-08-09 |
| * | more changes to bitvector analysis | qadeer | 2011-08-09 |
| * | another bug fix in bct | qadeer | 2011-08-08 |
| * | added a new file and fixed a bug in bct | qadeer | 2011-08-08 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |