Unassigned [ ^ ] (1 - 1 / 1) 0001467 Parser does not handle mixed concatenations of wide and non-wide strings Kernel - 2016-07-05 17:34

Resolved [ ^ ] (1 - 10 / 10) 0002242 "Builtin already registered" after Reparse Plug-in > wp - 2016-09-26 09:54 0002192 Plug-in crash with "Unregistered_library_function" error Plug-in > E-ACSL - 2016-09-13 09:19 0002231 Incorrect code generation with gmp Plug-in > E-ACSL - 2016-09-12 23:36 0002191 Assertion failure when unrolling types of struct members Plug-in > E-ACSL - 2016-09-09 11:31 0002246 Switch statements seem to be unsound Plug-in > wp - 2016-08-23 13:42 0002240 expression "b--3" accepted in ACSL (interpreted as "b - -3"), but not in C Kernel > ACSL implementation - 2016-07-28 14:06 0002224 the documented grammar does not allow completeness clauses in statement contracts Documentation > ACSL - 2016-07-25 15:03 0002237 Frama-C is unsound when employing both alt-ergo and cvc4 Plug-in > wp - 2016-07-25 10:26 0002213 Can't install E-ACSL plugin Plug-in > E-ACSL - 2016-02-26 15:15 0001817 Literal strings in global arrays with compound initializers are not correctly initialized Plug-in > E-ACSL - 2015-12-14 21:49

Recently Modified [ ^ ] (1 - 10 / 1022) 0002242 "Builtin already registered" after Reparse Plug-in > wp - 2016-09-26 09:54 0002192 Plug-in crash with "Unregistered_library_function" error Plug-in > E-ACSL - 2016-09-13 09:19 0002194 Failure to record global variable with initialiser Plug-in > E-ACSL - 2016-09-13 07:52 0002231 Incorrect code generation with gmp Plug-in > E-ACSL - 2016-09-12 23:36 0002191 Assertion failure when unrolling types of struct members Plug-in > E-ACSL - 2016-09-09 11:31 0001098 Non working example in the documentation Documentation - 2016-08-31 19:34 0002146 Frama-C does not support standard C digraphs Kernel - 2016-08-29 17:26 0002246 Switch statements seem to be unsound Plug-in > wp - 2016-08-23 13:42 0002245 Nested scopes may cause issues with the validity of created pointers Plug-in > wp - 2016-08-17 15:35 0002235 Functions that claim to return a struct but don't cause a crash Kernel - 2016-08-12 09:54

new

feedback

acknowledged

confirmed

assigned

resolved

closed