| 2010-03-20 | WCET'2010 workshop at ECRTS 2010 |
| 2010-03-01 | Free downloads of size-limited Bound-T versions |
| 2010-02-07 | Updated Assertion Language Manual (6.4) |
| 2009-10-01 | Updated Bound-T example |
| 2009-05-20 | Bound-T/8051 version 3d3 |
| 2009-04-10 | Updated Reference Manual |
| 2009-04-04 | Announcing the find_marks program |
| 2009-04-04 | Updated Assertion Language Manual |
| 2009-03-09 | WCET'2009 workshop at ECRTS 2009 |
| 2008-09-16 | WCET Tool Challenge 2008: Report |
| 2008-07-18 | WCET'2008 presentation |
| 2008-07-18 | WCET Tool Challenge 2008 |
| 2008-03-29 | WCET Tool Challenge 2008 |
| 2008-02-22 | Updated and reorganized User Manuals |
| 2008-02-22 | Bound-T/SPARC version 3c4 |
| 2007-10-31 | Updated User Manual |
| 2007-10-31 | Bound-T/SPARC version 3c |
| 2007-09-27 | Technical Notes on AOMF and Intel® Hex |
| 2007-09-12 | Updated User Manual |
| 2007-07-05 | WCET'2007 presentation |
| 2007-06-29 | Updated documentation |
| 2007-06-28 | SPARC V8/V8E support |
| 2007-06-04 | Tidorum joins GAP |
| 2007-06-03 | Switch/Case Analysis by Partial Evaluation |