---
- branch: MAIN
  date: Mon Oct  8 15:28:04 UTC 2012
  files:
  - new: '1.28'
    old: '1.27'
    path: pkgsrc/devel/frama-c/Makefile
    pathrev: pkgsrc/devel/frama-c/Makefile@1.28
    type: modified
  - new: '1.4'
    old: '1.3'
    path: pkgsrc/devel/frama-c/PLIST
    pathrev: pkgsrc/devel/frama-c/PLIST@1.4
    type: modified
  - new: '1.4'
    old: '1.3'
    path: pkgsrc/devel/frama-c/distinfo
    pathrev: pkgsrc/devel/frama-c/distinfo@1.4
    type: modified
  id: 20121008T152804Z.8472ad0b0cb233e559459ed0dc096cd3451ce61f
  log: "Updated devel/frama-c to its latest version. Changes include:\n\n-! Kernel
    \    [2012/09/17] Remove useless negative options -no-help,\n\t      -no-version,
    -no-print-share-path, -no-print-lib-path and\n\t      -no-print-plugin-path.\no!*
    Cil       [2012/09/12] Split constants of logic and C (fixes bts #745).\no! Cil
    \       [2012/09/12] Remove type Cil_type.typsig. Use the functions in\n\t      Cil_datatype.Typ
    and Cil_datatype.Logic_typ to compare types.\no! Kernel     [2012/09/03] Remove
    obsolete constructors Cabs.TRANSFORMER and\n\t      Cabs.EXPRTRANSFORMER and related
    parsing rules.\no! Value      [2012/08/29] Signature change for function\n\t      Db.Value.register_builtin:
    builtins can now return multiple\n\t      states.\no! Value      [2012/08/20]
    Rename Db.Value.assigns_to_zone_inputs_state to\n\t      Db.Value.assigns_inputs_to_zone.
    Add new functions\n\t      Db.Value.assigns_outputs_to_zone and\n\t      Db.Value.assigns_inputs_to_locations.\no!*
    Kernel    [2012/07/31] Operations that silently mutate AST should now call\n\t
    \     Ast.mark_as_changed to clear states depending on it\n\t      (fixes #!1244).\n-!
    Inout      [2012/07/22] Option -inout-callwise restarts Value when it is\n\t      newly
    set\no! Cil        [2012/07/16] Ast changed: Unrool_level renamed into Unroll_specs\n\t
    \     and its argument becomes a list for next evolutions.\no! Kernel     [2012/07/16]
    Add function [stmt_can_reach] to the arguments\n\t      of Dataflow.Backwards,
    which is used to speed up the analysis.\n\t      See dataflow.mli for good possible
    values.\n-! Rte        [2012/07/16] Rename option -rte-const into\n\t      -rte-no-trivial-annotations
    (set by default).\n-! Value      [2012/07/12] More thorough checks for calls through
    a function\n\t      pointer: warn when the function type and the pointer are\n
    \             not compatible, and stop when they cannot be reconciled.\n-! Kernel
    \    [2012/07/12] A negative value given to -ulevel option hides all\n\t      UNROLL_LOOP
    pragmas.\n+! Kernel     [2012/07/10] Change semantics of 'reachable' properties\n\t
    \     for functions. Use intrinsic notion instead of accessibility\n\t      of
    first statement.\no! Kernel     [2012/06/25] Correct (albeit slow) hash function
    for terms\n\t      and term lvalues.\n-! Kernel     [2012/06/22] improve 'reachable'
    properties.\no! Kernel     [2012/06/19] Remove module Inthash. Use Datatype.Int.Hashtbl\n\t
    \     instead, or directly carbon2nitrogen.sh migration script.\no! Value      [2012/06/18]
    Made type Ival.tt private.\no! Kernel     [2012/06/11] New API for Annotations
    which merges old\n\t      Annotations, Globals.Annotations and operations of Kernel_function\n\t
    \     over function contracts.\n-! Pdg        [2012/06/08] Rename option -dot-pdg
    into -pdg-dot\no! Kernel     [2012/05/30] Kernel.Functions.get does not silently
    create\n\t      a kernel function if it does not already exist. This behavior\n\t
    \     is kept for Cil builtins.\no! Kernel     [2012/04/26] Plugin.set_optional_help
    is now deprecated.\n*! Kernel     [2012/04/14] Introduce more temporaries for
    a call [lv = f()] if\n\t      the return type of f and the type of lv do not match.
    Fix\n\t      issue #1024.\no! Kernel     [2012/03/26] Kernel.CppExtraArgs now
    gets type\n\t      Plugin.String_list and not Plugin.String_set (fixed bts #!1132).\n-!
    Kernel     [2012/02/29] Adding some more supports for built-in related to\n\t
    \     memory blocks.\n-!  Cil       [2012/02/24] Functions returning a value cannot
    let control flow\n\t      falling through the closing '}'  Fixes #685.\n-! Kernel
    \    [2012/02/23] Sets generated assigns clauses into the default\n\t      behavior.\n-!
    Kernel     [2012/02/08] Adding supports for clause allocates and frees\n              and
    their version for loops.\no! Value      [2011/12/02] Moved contents of memory_state/Abstract_value\n\t
    \     into ai/Lattice_Interval_Set. Use bin/nitrogen2oxygen for\n\t      automatic
    migration.\n-*! Kernel    [2011/11/07] empty list in complete/disjoint is expanded
    by\n\t      logic type-checker to the list of behavior name of current\n\t      contract.
    Fixes issue #1006. See bts comments for the\n\t      differences that can appear
    in the treatment of specs.\no! Cil        [2011/11/04] Add method pFile in printers.
    Signature change for\n\t      Cil.d_file (but you should use !Ast_printer.d_file).\no!
    Kernel     [2011/10/18] Logic_preprocess.file takes an additional parameter,\n\t
    \     as gcc pre-processor treats differently .c and .cxx files,\n\t      and
    this must be reflected in annotation pre-processing.\n"
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/devel/frama-c'
  unixtime: '1349710084'
  user: jaapb