Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C Carbon-20101201-beta1 (Released 2010-12-14) View Issues ]
=============================================================
- 0000595: [Documentation] Implementation <-> Documentation Inconsistency (virgile) - closed.
- 0000474: [Documentation] Multiple definition of function iter_stmt (signoles) - closed.
- 0000339: [Documentation] wrong option name in Jessie Plugin Tutorial (signoles) - closed.
- 0000554: [Documentation] Logic_utils and Logic_const documentation ... (signoles) - closed.
- 0000365: [Documentation > manuals] Jessie tutorial binary_search examples fail with Why 2.23 - loop variant must be added (cmarche) - closed.
- 0000244: [Plug-in > Eva] block-local variables not handled correctly in conjunction with -ulevel (pascal) - closed.
- 0000259: [Plug-in > Eva] Problem with is_finite predicate generated by -val (pascal) - closed.
- 0000448: [Plug-in > slicing] invariant with quantifier not kept in computed slice (Anne) - closed.
- 0000460: [Kernel > Makefile] .make-ocamlgraph is not needed when using non-local ocamlgraph (signoles) - closed.
- 0000461: [Kernel > Makefile] Frama-c-gui doesn't install on bytecode architecture (signoles) - closed.
- 0000470: [Graphical User Interface] In the GUI, it is impossible to talk about variables generated by Value's -lib-entry (pascal) - closed.
- 0000484: [Kernel > ACSL implementation] function and statement behaviors (patrick) - closed.
- 0000489: [Kernel] Cint64 user constants have no textual representation (virgile) - closed.
- 0000452: [Kernel] "Body of function main falls-through" warning could be improved (virgile) - closed.
- 0000451: [Kernel] Crash when a 'break' occurs outside a proper statement (virgile) - closed.
- 0000440: [Plug-in > jessie] Pb with annot.c in (virgile) - closed.
- 0000472: [Plug-in > Eva] Comparing a function pointer will NULL might raise incorrect warning (pascal) - closed.
- 0000505: [Kernel > ACSL implementation] Predicate/Functions depending only on a state are not handled correctly (virgile) - closed.
- 0000510: [Plug-in > jessie] Jessie generates error when called to be executed. (signoles) - closed.
- 0000524: [Kernel] Missing declared inline functions in Globals (monate) - closed.
- 0000519: [Kernel] int t[static 2] is not supported as function argument (virgile) - closed.
- 0000528: [Kernel > Makefile] Makefile.dynamic should always write to $(DESTDIR) (signoles) - closed.
- 0000550: [Plug-in > occurrence] Selecting "occurrence" crashes Frama-C (signoles) - closed.
- 0000541: [Kernel > ACSL implementation] When using -pp-annot and including stdbool.h, can't parse \false in annotations (virgile) - closed.
- 0000512: [Kernel] suggest to refer to fct-contract's clauses-order in error message (virgile) - closed.
- 0000506: [Kernel] line command option for doCollapseCallCast configuration (virgile) - closed.
- 0000568: [Kernel > ACSL implementation] cast to const type not handled in acsl annotations (virgile) - closed.
- 0000549: [Kernel > ACSL implementation] Typing problem into the logic about C variable of an array type. (virgile) - closed.
- 0000570: [Kernel > ACSL implementation] Incorrect typing of annotations (virgile) - closed.
- 0000588: [Kernel] Error when function contract defined after function definition and with different parameter names (virgile) - closed.
- 0000612: [Documentation > ACSL] Mention that invariant does not hold after for-loop (virgile) - closed.
- 0000634: [Plug-in > Eva] Superfluous ';' in value analysis output (pascal) - closed.
- 0000548: [Kernel] Header limit.h is nonsense (pascal) - closed.
- 0000482: [Kernel > ACSL implementation] for behav : invariant INV ; (patrick) - closed.
- 0000569: [Graphical User Interface] Stoping external process (why) (monate) - closed.
- 0000462: [Kernel > Makefile] Makefile.dynamic should not change known_plugins.ac (virgile) - closed.
- 0000525: [Kernel] inchoherence of types between enumitems and enum type with multi-files (virgile) - closed.
- 0000529: [Plug-in > sparecode] slicing produces uncompilable program when formal used as a local variable (Anne) - closed.
- 0000538: [Kernel] Frama-C should produce more specific error messages when parsing annotations (virgile) - closed.
- 0000552: [Kernel] Checking number of arguments passed to C functions (virgile) - closed.
- 0000620: [Kernel] Default assigns generation (patrick) - closed.
- 0000584: [Plug-in > jessie] incorrect(?) jessie code generated from strcpy (cmarche) - closed.

[42 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker