frama-c
Framework for source code analysis of software written in C

news RSS

• [2012-05-27] frama-c 20111001+nitrogen+dfsg-4 MIGRATED to testing (Britney)
• [2012-05-16] Accepted 20111001+nitrogen+dfsg-4 in unstable (low) (Mehdi Dogguy)
• [2012-01-07] frama-c 20111001+nitrogen+dfsg-3 MIGRATED to testing (Britney)
• [2012-01-06] Accepted 20111001+nitrogen+dfsg-3 in unstable (low) (Mehdi Dogguy)
• [2012-01-03] Accepted 20111001+nitrogen+dfsg-2 in unstable (low) (Mehdi Dogguy)
• [2012-01-03] Accepted 20111001+nitrogen+dfsg-1 in unstable (low) (Mehdi Dogguy)
• [2011-04-30] frama-c 20110201+carbon+dfsg-2 MIGRATED to testing (Britney)
• [2011-04-25] Accepted 20110201+carbon+dfsg-2 in unstable (low) (Mehdi Dogguy)
• [2011-04-24] Accepted 20110201+carbon+dfsg-1 in unstable (low) (Mehdi Dogguy)
• [2010-10-16] frama-c 20100401+boron+dfsg-5 MIGRATED to testing (Britney)
• [2010-10-05] Accepted 20100401+boron+dfsg-5 in unstable (low) (Mehdi Dogguy)
• [2010-07-27] frama-c 20100401+boron+dfsg-4 MIGRATED to testing (Britney)
• [2010-07-16] Accepted 20100401+boron+dfsg-4 in unstable (low) (Mehdi Dogguy)
• [2010-07-06] Accepted 20100401+boron+dfsg-3 in unstable (low) (Mehdi Dogguy)
• [2010-06-12] frama-c 20100401+boron+dfsg-2 MIGRATED to testing (Britney)
• [2010-06-01] Accepted 20100401+boron+dfsg-2 in unstable (low) (Mehdi Dogguy)
• [2010-05-08] frama-c 20100401+boron+dfsg-1 MIGRATED to testing (Britney)
• [2010-04-27] Accepted 20100401+boron+dfsg-1 in unstable (low) (Mehdi Dogguy)
• [2010-04-20] frama-c 20090902+beryllium+dfsg-5 MIGRATED to testing (Britney)
• [2010-03-25] Accepted 20090902+beryllium+dfsg-5 in unstable (low) (Mehdi Dogguy)
• [2010-02-25] frama-c 20090902+beryllium+dfsg-4 MIGRATED to testing (Britney)
• [2010-02-11] Accepted 20090902+beryllium+dfsg-4 in unstable (low) (Mehdi Dogguy)
• [2010-01-22] Accepted 20090902+beryllium+dfsg-3 in unstable (low) (Mehdi Dogguy)
• [2010-01-20] Accepted 20090902+beryllium+dfsg-2 in unstable (low) (Mehdi Dogguy)
• [2010-01-20] Accepted 20090902+beryllium+dfsg-1 in unstable (low) (Mehdi Dogguy)
• [2009-12-12] frama-c 20090901+beryllium+dfsg-2 MIGRATED to testing (Britney)
• [2009-12-02] Accepted 20090901+beryllium+dfsg-2 in unstable (low) (Mehdi Dogguy)
• [2009-09-21] frama-c 20090901+beryllium+dfsg-1 MIGRATED to testing (Britney)
• [2009-09-10] Accepted 20090901+beryllium+dfsg-1 in unstable (low) (Mehdi Dogguy)
• [2009-08-29] Accepted 20090601~beta1+dfsg-1 in unstable (low) (Mehdi Dogguy)