summaryrefslogtreecommitdiff
path: root/devel/frama-c
AgeCommit message (Collapse)AuthorFilesLines
2017-09-18revbump for requiring ICU 59.xmaya1-2/+2
2017-09-08Recursive revbump associated with update of ocaml to 4.05jaapb1-1/+2
2017-09-05Need to patch Makefile.in, not Makefile. Oops.dholland2-5/+5
2017-09-05Tag missed gui-only files. Ride update.dholland1-38/+38
2017-09-05Update to 20170501 (v15.x, "Phosphorus"). This reflects six majordholland12-371/+852
upstream releases, so visit the HOMEPAGE for further info. pkgsrc changes: - old patches were rolled in upstream - use the ocaml framework - depends on more ocaml libraries - depends on lang/coq by default; turn off the coq option to avoid this XXX: You must build ocamlgraph with ocaml-lablgtk support (which is XXX: not the default) or the build fails on missing module "Dgraph".
2017-07-11Revbump associated with ocaml-4.04.2jaapb1-2/+2
2017-04-22Revbump after icu updateadam1-2/+2
2017-02-12Recursive revbump from fonts/harfbuzzryoon1-2/+2
2017-02-06Recursive bump for harfbuzz's new graphite2 dependency.wiz1-2/+2
2016-12-30Recursive revbump associated with ocaml update to 4.04.jaapb1-2/+2
2016-12-04Recursive revbump from textproc/icu 58.1ryoon1-2/+2
2016-08-03Revbump after graphics/gd updateadam1-2/+2
2016-05-05Recursive revbump associated with ocaml update.jaapb1-2/+2
2016-05-03revbump for libsoup's ABI issueprlw11-2/+2
2016-04-11Recursive revbump from textproc/icu 57.1ryoon1-2/+2
2016-03-05Bump PKGREVISION for security/openssl ABI bump.jperkin1-2/+2
2015-11-03Add SHA512 digests for distfiles for devel categoryagc1-1/+2
Issues found with existing distfiles: distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip distfiles/fortran-utils-1.1.tar.gz distfiles/ivykis-0.39.tar.gz distfiles/enum-1.11.tar.gz distfiles/pvs-3.2-libraries.tgz distfiles/pvs-3.2-linux.tgz distfiles/pvs-3.2-solaris.tgz distfiles/pvs-3.2-system.tgz No changes made to these distinfo files. Otherwise, existing SHA1 digests verified and found to be the same on the machine holding the existing distfiles (morden). All existing SHA1 digests retained for now as an audit trail.
2015-10-10Recursive revbump from textproc/icuryoon1-2/+2
2015-08-07Recursive revbump associated with lang/ocaml update.jaapb1-2/+2
2015-06-30Recursive revbump associated with update of lang/ocaml to 4.02.2.jaapb1-2/+2
2015-04-25Recursive revbump following MesaLib update, categories a through f.tnn1-2/+2
2015-04-06Revbump after updating textproc/icuadam1-2/+2
2015-01-20Revbump associated with update of lang/ocaml.jaapb1-2/+2
2014-10-10Changed package dependencies to reflect lablgtk name change.jaapb1-3/+3
2014-10-07Revbump after updating libwebp and icuadam1-2/+2
2014-05-05Recursive revbump from x11/pixmanryoon1-2/+2
Fix PR pkg/48777
2014-04-09recursive bump from icu shlib major bump.obache1-2/+2
2014-02-12Recursive PKGREVISION bump for OpenSSL API version bump.tron1-2/+2
2014-01-01Recursive PKGREVISION bump for libgcrypt-1.6.0 shlib major bump.wiz1-2/+2
2013-11-15Fix GNU make version comparison logic.wiz2-3/+17
2013-11-01Revision bump associated with the update of lang/ocaml to version 4.01.jaapb1-2/+2
2013-10-19Revbump after updating textproc/icuadam1-2/+2
2013-10-10Recursive revbump from pango-1.36.0ryoon1-2/+2
2013-10-09recursive bump for libmng-2.0.2 shlib major bump and dependency changewiz1-2/+2
2013-09-02Revbump after cairo updateadam1-2/+2
2013-06-06Bump PKGREVISION for libXft changes for NetBSD native X support onwiz1-2/+2
NetBSD 6, requested by tron.
2013-06-04Try to fix the fallout caused by the fix for PR pkg/47882. Part 3:tron1-2/+2
Recursively bump package revisions again after the "freetype2" and "fontconfig" handling was fixed.
2013-06-03Bump freetype2 and fontconfig dependencies to current pkgsrc versions,wiz1-2/+2
to address issues with NetBSD-6(and earlier)'s fontconfig not being new enough for pango. While doing that, also bump freetype2 dependency to current pkgsrc version. Suggested by tron in PR 47882
2013-05-24Bump PKGREVISION for libproxy shlib major bump.wiz1-2/+2
2013-05-09Massive revbump after updating graphics/ilmbase, graphics/openexr, textproc/icu.adam1-2/+2
2013-02-16Recursive bump for png-1.6.wiz1-2/+2
2013-02-06PKGREVISION bumps for the security/openssl 1.0.1d update.jperkin1-2/+2
2013-01-26Revbump after graphics/jpeg and textproc/icuadam1-2/+2
2012-12-15Bump PKGREVISION from devel/nss 3.14.0.ryoon1-2/+2
2012-10-31Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-3/+1
2012-10-08Revbump after updating graphics/pangoadam1-1/+2
2012-10-08Updated devel/frama-c to its latest version. Changes include:jaapb3-53/+149
-! Kernel [2012/09/17] Remove useless negative options -no-help, -no-version, -no-print-share-path, -no-print-lib-path and -no-print-plugin-path. o!* Cil [2012/09/12] Split constants of logic and C (fixes bts #745). o! Cil [2012/09/12] Remove type Cil_type.typsig. Use the functions in Cil_datatype.Typ and Cil_datatype.Logic_typ to compare types. o! Kernel [2012/09/03] Remove obsolete constructors Cabs.TRANSFORMER and Cabs.EXPRTRANSFORMER and related parsing rules. o! Value [2012/08/29] Signature change for function Db.Value.register_builtin: builtins can now return multiple states. o! Value [2012/08/20] Rename Db.Value.assigns_to_zone_inputs_state to Db.Value.assigns_inputs_to_zone. Add new functions Db.Value.assigns_outputs_to_zone and Db.Value.assigns_inputs_to_locations. o!* Kernel [2012/07/31] Operations that silently mutate AST should now call Ast.mark_as_changed to clear states depending on it (fixes #!1244). -! Inout [2012/07/22] Option -inout-callwise restarts Value when it is newly set o! Cil [2012/07/16] Ast changed: Unrool_level renamed into Unroll_specs and its argument becomes a list for next evolutions. o! Kernel [2012/07/16] Add function [stmt_can_reach] to the arguments of Dataflow.Backwards, which is used to speed up the analysis. See dataflow.mli for good possible values. -! Rte [2012/07/16] Rename option -rte-const into -rte-no-trivial-annotations (set by default). -! Value [2012/07/12] More thorough checks for calls through a function pointer: warn when the function type and the pointer are not compatible, and stop when they cannot be reconciled. -! Kernel [2012/07/12] A negative value given to -ulevel option hides all UNROLL_LOOP pragmas. +! Kernel [2012/07/10] Change semantics of 'reachable' properties for functions. Use intrinsic notion instead of accessibility of first statement. o! Kernel [2012/06/25] Correct (albeit slow) hash function for terms and term lvalues. -! Kernel [2012/06/22] improve 'reachable' properties. o! Kernel [2012/06/19] Remove module Inthash. Use Datatype.Int.Hashtbl instead, or directly carbon2nitrogen.sh migration script. o! Value [2012/06/18] Made type Ival.tt private. o! Kernel [2012/06/11] New API for Annotations which merges old Annotations, Globals.Annotations and operations of Kernel_function over function contracts. -! Pdg [2012/06/08] Rename option -dot-pdg into -pdg-dot o! Kernel [2012/05/30] Kernel.Functions.get does not silently create a kernel function if it does not already exist. This behavior is kept for Cil builtins. o! Kernel [2012/04/26] Plugin.set_optional_help is now deprecated. *! Kernel [2012/04/14] Introduce more temporaries for a call [lv = f()] if the return type of f and the type of lv do not match. Fix issue #1024. o! Kernel [2012/03/26] Kernel.CppExtraArgs now gets type Plugin.String_list and not Plugin.String_set (fixed bts #!1132). -! Kernel [2012/02/29] Adding some more supports for built-in related to memory blocks. -! Cil [2012/02/24] Functions returning a value cannot let control flow falling through the closing '}' Fixes #685. -! Kernel [2012/02/23] Sets generated assigns clauses into the default behavior. -! Kernel [2012/02/08] Adding supports for clause allocates and frees and their version for loops. o! Value [2011/12/02] Moved contents of memory_state/Abstract_value into ai/Lattice_Interval_Set. Use bin/nitrogen2oxygen for automatic migration. -*! Kernel [2011/11/07] empty list in complete/disjoint is expanded by logic type-checker to the list of behavior name of current contract. Fixes issue #1006. See bts comments for the differences that can appear in the treatment of specs. o! Cil [2011/11/04] Add method pFile in printers. Signature change for Cil.d_file (but you should use !Ast_printer.d_file). o! Kernel [2011/10/18] Logic_preprocess.file takes an additional parameter, as gcc pre-processor treats differently .c and .cxx files, and this must be reflected in annotation pre-processing.
2012-10-02Mass recursive bump after the dependence fix of the "cairo" packagetron1-2/+2
requested by Thomas Klausner.
2012-09-15recursive bump from libffi shlib major bumpobache1-2/+2
(additionaly, reset PKGREVISION of qt4-* sub packages from base qt4 update)
2012-09-07Revbump after updating graphics/cairoadam1-2/+2
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-04 23:17:50 +0000