Unassigned [ ^ ] (0 - 0 / 0)

Resolved [ ^ ] (1 - 3 / 3) 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 / 1089) 0002301 statement contract apparently confuses parser Plug-in > wp - 2017-07-21 11:23 0002317 Statement contracts and WP Documentation > manuals - 2017-07-19 08:45 0002300 suggest to clarify semantics of statement contract in ACSL implementation manual Documentation > ACSL - 2017-07-18 11:13 0002316 Instrumentation Failure Error in Online Pathcrawler Plug-in > PathCrawler - 2017-07-07 11:53 0002315 unsoundness after external function call Plug-in > value analysis - 2017-07-03 23:39 0002200 explicitly mention operator precedences when referring to Fig.2.1 "Grammar of terms" in the acsl-implementation manual Documentation > ACSL - 2017-06-28 10:30 0002314 Incorrect overflow and cast assertions for bitfields Plug-in > RTE - 2017-06-27 14:01 0002313 suggestions for improvement of Sect.3.6 and 3.7 of the wp manual Documentation > manuals - 2017-06-23 10:44 0002137 value analysis introduces weird pointer assert with variable length arrays Plug-in > value analysis - 2017-06-15 15:56 0002312 false postcondition shouldn't be verified in default memory-model setting Plug-in > wp - 2017-06-15 15:14

new

feedback

acknowledged

confirmed

assigned

resolved

closed