Unassigned [ ^ ] (0 - 0 / 0)

Resolved [ ^ ] (1 - 4 / 4) 0002322 repeated predicate definitions in separate file cause crash Kernel - 2017-08-25 10:43 0002253 File frama-c/libc/features.h should include definition of the macro __GNUC_PREREQ from file /usr/include/features.h Kernel > libc - 2017-06-14 19:12 0001467 Parser does not handle mixed concatenations of wide and non-wide strings Kernel - 2017-06-09 19:55 0002297 syntax error before loop contract reported after loop contract Kernel - 2017-05-31 19:19

Recently Modified [ ^ ] (1 - 10 / 1098) 0002329 suggest unique term normalization for lemmas and goals Plug-in > wp - 2017-10-12 10:21 0002285 suggest boolean expressions for "-wp-prop" arguments Plug-in > wp - 2017-10-09 17:30 0002100 readability of coq(?) names Plug-in > wp - 2017-10-09 17:19 0002328 compilation fails on i386 with gcc-7 Plug-in > E-ACSL - 2017-09-15 13:31 0002314 Incorrect overflow and cast assertions for bitfields Plug-in > RTE - 2017-09-01 13:38 0002325 Make it build on bytecode architectures Graphical User Interface - 2017-09-01 10:08 0002323 Spelling errors Documentation - 2017-09-01 10:08 0002326 Value.cmo needs LoopAnalysis.cmo Plug-in > value analysis - 2017-09-01 10:08 0002151 predicate overloading causes crash when multiple files are given to wp Kernel > ACSL implementation - 2017-08-25 10:48 0002322 repeated predicate definitions in separate file cause crash Kernel - 2017-08-25 10:43

new

feedback

acknowledged

confirmed

assigned

resolved

closed