Frama-C Bug Tracking System
Unassigned ^ ] (0 - 0 / 0)
Resolved ^ ] (1 - 4 / 4)
0002322
2 attachment(s)
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
1 attachment(s)
syntax error before loop contract reported after loop contract
Kernel - 2017-05-31 19:19
Recently Modified ^ ] (1 - 10 / 1098)
0002329
2 attachment(s)
suggest unique term normalization for lemmas and goals
Plug-in > wp - 2017-10-12 10:21
0002285
2 attachment(s)
suggest boolean expressions for "-wp-prop" arguments
Plug-in > wp - 2017-10-09 17:30
0002100
1 attachment(s)
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
2 attachment(s)
Incorrect overflow and cast assertions for bitfields
Plug-in > RTE - 2017-09-01 13:38
0002325
1 attachment(s)
Make it build on bytecode architectures
Graphical User Interface - 2017-09-01 10:08
0002323
2 attachment(s)
Spelling errors
Documentation - 2017-09-01 10:08
0002326
1 attachment(s)
Value.cmo needs LoopAnalysis.cmo
Plug-in > value analysis - 2017-09-01 10:08
0002151
2 attachment(s)
predicate overloading causes crash when multiple files are given to wp
Kernel > ACSL implementation - 2017-08-25 10:48
0002322
2 attachment(s)
repeated predicate definitions in separate file cause crash
Kernel - 2017-08-25 10:43

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker