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 / 1097) 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 0002327 Failure to detect overflows into an allocated area within a struct Plug-in > E-ACSL - 2017-08-25 10:37 0002324 Port to OCaml 4.05 Kernel - 2017-08-14 12:05 0001763 Configure step fails on bytecode architectures Kernel > configure - 2017-08-12 19:25

new

feedback

acknowledged

confirmed

assigned

resolved

closed