Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
== [release-1-2-0] 1.2.0: 2011-12-31
We improved C++ support and test runner interface.
=== Cutter
==== Improvements
* [UI][console] Changed to show messages on failure, error
and so on immediately. You need to use
(({--show-detail-immediately=no})) command line option
to show messages on end of test like earlier versions.
* [UI][GTK+] Supported iterated test.
* [UI][GTK+] Supported re-run test.
* [UI][GTK+] Unified cancel button and re-run button.
==== Changes
* Enabled deprecated GLib API. You need to use
(({--disable-deprecated-glib-api})) configure option to
disable deprecated GLib API.
* Supported Fedora 16.
* Dropped Fedora 15 support.
=== CppCutter
==== Improvements
* Added more supported types by ((<cppcut_assert_equal()>)).
* Added ((<cppcut_assert_not_equal()>)).
* Added ((<cppcut_assert_null()>)).
* Added ((<cppcut_assert_not_null()>)).
* Added ((<cppcut_assert_operator()>)).
|
|
- not MAKE_JOBS_SAFE
|
|
|
|
https://github.com/atgreen/libffi/commit/0e5843995f46900ef212531281e08b224464f413#diff-39
> * src/arm/sysv.S (ffi_closure_SYSV): Add UNWIND to .pad directive.
|
|
|
|
AM_ICONV
|
|
|
|
Bump PKGREVISION.
|
|
See full list of changes at http://frama-c.com/Changelog.html#Nitrogen-20111001
Nitrogen Release [20111001]
Frama-C General
New Features
* [Cil] Enumerated constants are kept in the AST.
* [Cil] Implement precise dataflow on switch constructs. As side effect, improve precision of value analysis.
* [Cil] Fixed #720 (incorrect simplification of switch).
* [Cil] Support for &"constant_string" in parser.
* [Cil] Normalization of lval: T+1 ==> &T[1] when T is in fact an array (implies *(T+1) ==> T[1])
* [Cil] Pretty-printing lval and term_lval the same way
* [Cil] Cache results of offsets computations.
* [Cil] Add support for GCC specific cast from field of union to union
* [Kernel] Exit status on unknown error is now 125. 127 and 126 are reserved for the shell by POSIX.
* [Kernel] Better error message when plug-in crashes on loading (bts #737).
* [Kernel] Big integers can now be displayed using hexadecimal notation.
* [Kernel] \at(p,Old) is pretty-printed as \old(p).
* [Kernel] Some messages may be printed several time for the same line if they refer to different columns.
* [Kernel] Better handling of comments with -keep-comments and new API. See Cabshelper.Comments and Globals.get_comments_*
* [Kernel] Better pretty printing of lists of any elements
* [Kernel] Current pragmas no longer give rise to code annotations (as they do not contain anything that can be proven).
* [Kernel] Improve space complexity of function stmt_can_reach.
* [Kernel] New kind of command-line parameter, for commands that do heavy output. Used for Value, Pdg and Metrics.
* [Logic] Added support for bitwise operators --> and <--> into ACSL formula.
Carbon Release [20110201]
Frama-C General
New Features
* [Configure] Frama-C does not require Apron anymore (Why does for Jessie). Thus fix bug #647.
* [Kernel] Improve performance on platform with dynami.c loading. Mainly impact value analysis (for developers: improve
efficiency of Dynamic.get).
* [Kernel] Handle errors better when they occur when exiting Frama-C. Slight semantic changes for exit code: - old code 5 is now
127; - code 5 is now: error raised when exiting Frama-C normally; - code 6: error raised when exiting Frama-C abnormally.
* [Logic] Fix priority bug in parser.
* [Logic] Mentioning a formal on the left-hand side of an assigns clause is now an error when type-checking logic annotations.
* [Makefile] Fixed bug #638. By default, warnings are no more errors when compiling a public Frama-C distribution and plug-ins.
SVN versions of Frama-C are still compiled with "-warn-error A".
Carbon Release [20101201]
Frama-C General
New Features
* [Cil] Be less agressive during inline function merge. Alpha equivalent function are now kept separate.
* [Cil] Clean up local variables handling and pretty-printing modified pBlock method interface (unified pBlock and pInnerBlock)
* [Cil] Cil normalization takes care of abrupt clauses
* [Configure] Better detection of native dynlink support.
* [Kernel] Feature #484 about requires into named behaviors
* [Kernel] Fixed bug #548: limit.h now syntactically correct. Architectures other than x86_32 still unsupported.
Boron Release [20100401]
Frama-C General
New Features
* [Cil] Extend logic pretty printer to handle all specific clauses
* [Configure] Dynamic plug-ins are now statically linked by default whenever native dynlink is not usable (bts #301).
* [Configure] Compiling the GUI now requires LablGnomeCanvas.
* [Kernel] Add status for all clauses
* [Kernel] Clarification of the multiple accesses warning. Becomes "undefined multiple accesses in expression".
* [Kernel] Better error messages when a dynamic plug-in cannot be loaded.
* [Kernel] Better -*-help.
* [Kernel] New option -no-dynlink in order to prevent loading of dynamic plug-ins.
* [Kernel] The journal is generated only if the GUI is crashing, or if the option -journal-enable is explicitely set (fixed issue
#330).
* [Kernel] Backtrace when Frama-C is crashing (only if Frama-C is compiled with caml >= 3.11.0)
* [Kernel] New option "-plugin-h" as an alias for option "-plugin-help"
* [Kernel] Preliminary standard C library in $FRAMAC_SHARE/libc
* [Logic] Better error message when using = in annotations
* [Logic] ordering of clauses in contracts
* [Logic] If a C typedef integer, real or boolean exists, it takes precedence over corresponding logic type. The logic type
remains accessible through its utf-8 denomination.
* [Logic] Support for type abbreviation in logic
* [Logic] Support for "reads \nothing"
* [Logic] Adding "\pi" as built-in symbol
Beryllium Release [20090902]
Frama-C General
New Features
* [Configure] Detection of dot if required.
* [Journal] Better handling of exceptions.
* [Kernel] Slightly less false alarms with -warn-unspecified-order
* [Makefile] Why is no longer a compilation dependency. It is required only at runtime for the experimental WP plugin.
* [Makefile] Now possible to build custom binaries for plug-ins. Roughly these binaries are frama-c[.byte] + the plug-in
statically-linked. The goal is called "static" in the plug-in's makefile.
|
|
|
|
(This doesn't fix the build yet makes it fail later.)
|
|
|
|
idl-parser. Fixes the race conditions seen recently.
|
|
from Heimdal.
|
|
in libm.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fixed in Firefox 3.6.24
MFSA 2011-49 Memory corruption while profiling using Firebug
MFSA 2011-47 Potential XSS against sites using Shift-JIS
MFSA 2011-46 loadSubScript unwraps XPCNativeWrapper scope parameter (1.9.2 branch)
Fixed in Firefox 3.6.23
MFSA 2011-40 Code installation through holding down Enter
MFSA 2011-39 Defense against multiple Location headers due to CRLF Injection
MFSA 2011-38 XSS via plugins and shadowed window.location object
MFSA 2011-37 Integer underflow when using JavaScript RegExp
MFSA 2011-36 Miscellaneous memory safety hazards (rv:7.0 / rv:1.9.2.23)
|
|
|
|
tree.
|
|
|
|
on tech-pkg-ja@.
Bump PKGREVISION.
|
|
|
|
Randexp makes it easy to generate random string from most regular expressions.
|
|
Version 3.29 - 2 December 2011
Enhancements
- modified Makefile.in to allow configure to override the lib and include
destination directories.
- added (or restored actually) support for tile compression of 1-byte integer
images in imcomp_compress_tile. Support for that data type was overlooked
during recent updates to this routine.
- modified the fits_get_token command-line parsing routine to perform more
rigorous checks to determine if the token can be interpreted as a number
or not.
- made small modification to fpack.c to not allow the -i2f option (convert
image from integer to floating point) with the "-g -q 0" option (do lossless
gzip compression). It is more efficient to simply use the -g option alone.
- made modifications to fitsio.h and drvrfile.c to support reading and
writing large FITS files (> 2.1 GB) when building CFITSIO using
Microsoft Visual C++ on Windows platforms.
- added new WCS routine (ffgicsa) which returns the WCS keyword values
for a particular WCS version ('A' - 'Z').
Bug Fixes
- fixed a problem with multi-threaded apps that open/close FITS files
simultaneously by putting mutex locks around the call to
fits_already_open and in fits_clear_Fptr.
- fixed a bug when using the 'regfilter' function to select a subset of the
rows in a FITS table that have coordinates that lie within a specified
spatial region on the sky. This bug only affects the rarely used panda
(and epanda and bpanda) region shapes in which the region is defined by
the intersection of an annulus and a pie-shaped wedge. The previous code
(starting with version 3.181 of CFITSIO where support for the panda region
was first introduced) only worked correctly if the 2 angles that define
the wedge have values between -180 and +180. If not, then fewer rows than
expected may have been selected from the table.
- fixed the extended filename parser so that when creating a histogram by
binning 2 table columns, if a keyword or column name is given as the
weighting factor, then the output histrogram image will have a floating
point datatype, not the default integer datatype as is the case when no
weigth is specified (e.g. with a filename like
"myfile.fits[bin x,y; weight_column]"
- added fix to the code in imcompress.c to work around a problem with
dereferencing the value of a pointer, in cases where the address of
that pointer has not been defined (e.g., the nulval variable).
- modified the byte shuffling algorithm in fits_shuffle_8bytes to work
around a strange bug in the proprietary SunStudioExpress C compiler
under OpenSolaris.
- removed spurious messages on the CFITSIO error stack when opening a
FITS file with FTP (in drvrnet.c);
|
|
|
|
Headers for NPAPI (browser plugin API)
|
|
Drop ${PHP_BASE_VARS} from PKGVERSION by default.
It used to be required to support multiple php version.
But after PHP version based ${PHP_PKG_PREFIX} was introduced,
such trick is not required anymore.
In addition to this, such version name schme invokes unwanted version bump
when base php version is bumped, plus, such version scheme is hard to
use for DEPENDS pattern.
To avoid downgrading of package using such legacy version scheme,
PECL_LEGACY_VERSION_SCHEME is introduced.
If it is defined, current version scheme is still used for currently
supported PHP version (5 and 53), but instead of ${PHP_BASE_VARS},
current fixed PHP base version in pkgsrc is used to avoid unwanted version bump
from update of PHP base package.
With newer PHP (54, or so on), new version scheme will be used if
it is defined.
This trick will not be required and should be removed after php5 and php53 will
be gone away from pkgsrc.
|
|
Bump PKGREVISION
|
|
Bump PKGREVISION
|
|
Bump PKGREVISION
|
|
|
|
Exact changes are unknown.
|
|
Exact changes are unknown.
|
|
Exact changes are unknown.
|
|
Exact changes are unknown.
|
|
Exact changes are unknown.
|
|
Several improvements and bug fixes.
|
|
|
|
## Rails 3.1.3 (unreleased) ##
* New apps should be generated with a sass-rails dependency of 3.1.5, not 3.1.5.rc.2
## Rails 3.1.2 (unreleased) ##
* Engines: don't blow up if db/seeds.rb is missing.
*Jeremy Kemper*
* `rails new foo --skip-test-unit` should not add the `:test` task to the rake default task.
*GH 2564*
*José Valim*
## Rails 3.1.1 (October 7, 2011) ##
* Add jquery-rails to Gemfile of plugins, test/dummy app needs it. Closes #3091. *Santiago Pastorino*
* Add config.assets.initialize_on_precompile which, when set to false, forces
`rake assets:precompile` to load the application but does not initialize it.
To the app developer, this means configuration add in
config/initializers/* will not be executed.
Plugins developers need to special case their initializers that are
meant to be run in the assets group by adding :group => :assets.
## Rails 3.1.0 (August 30, 2011) ##
* The default database schema file is written as UTF-8. *Aaron Patterson*
* Generated apps with --dev or --edge flags depend on git versions of
sass-rails and coffee-rails. *Santiago Pastorino*
* Rack::Sendfile middleware is used only if x_sendfile_header is present. *Santiago Pastorino*
* Add JavaScript Runtime name to the Rails Info properties. *DHH*
* Make pp enabled by default in Rails console. *Akira Matsuda*
* Add alias `r` for rails runner. *Jordi Romero*
* Make sprockets/railtie require explicit and add --skip-sprockets to app generator *José Valim*
* Added Rails.groups that automatically handles Rails.env and ENV["RAILS_GROUPS"] *José Valim*
* The new rake task assets:clean removes precompiled assets. *fxn*
* Application and plugin generation run bundle install unless --skip-gemfile or --skip-bundle. *fxn*
* Fixed database tasks for jdbc* adapters #jruby *Rashmi Yadav*
* Template generation for jdbcpostgresql #jruby *Vishnu Atrai*
* Template generation for jdbcmysql and jdbcsqlite3 #jruby *Arun Agrawal*
* The -j option of the application generator accepts an arbitrary string. If passed "foo",
the gem "foo-rails" is added to the Gemfile, and the application JavaScript manifest
requires "foo" and "foo_ujs". As of this writing "prototype-rails" and "jquery-rails"
exist and provide those files via the asset pipeline. Default is "jquery". *fxn*
* jQuery is no longer vendored, it is provided from now on by the jquery-rails gem. *fxn*
* Prototype and Scriptaculous are no longer vendored, they are provided from now on
by the prototype-rails gem. *fxn*
* The scaffold controller will now produce SCSS file if Sass is available *Prem Sichanugrist*
* The controller and resource generators will now automatically produce asset stubs (this can be turned off with --skip-assets). These stubs will use Coffee and Sass, if those libraries are available. *DHH*
* jQuery is the new default JavaScript library. *fxn*
* Changed scaffold, application, and mailer generator to create Ruby 1.9 style hash when running on Ruby 1.9 *Prem Sichanugrist*
So instead of creating something like:
redirect_to users_path, :notice => "User has been created"
it will now be like this:
redirect_to users_path, notice: "User has been created"
You can also passing `--old-style-hash` to make Rails generate old style hash even you're on Ruby 1.9
* Changed scaffold_controller generator to create format block for JSON instead of XML *Prem Sichanugrist*
* Add using Turn with natural language test case names for test_help.rb when running with minitest (Ruby 1.9.2+) *DHH*
* Direct logging of Active Record to STDOUT so it's shown inline with the results in the console *DHH*
* Added `config.force_ssl` configuration which loads Rack::SSL middleware and force all requests to be under HTTPS protocol *DHH, Prem Sichanugrist, and Josh Peek*
* Added `rails plugin new` command which generates rails plugin with gemspec, tests and dummy application for testing *Piotr Sarnacki*
* Added -j parameter with jquery/prototype as options. Now you can create your apps with jQuery using `rails new myapp -j jquery`. The default is still Prototype. *siong1987*
* Added Rack::Etag and Rack::ConditionalGet to the default middleware stack *José Valim*
* Added Rack::Cache to the default middleware stack *Yehuda Katz and Carl Lerche*
* Engine is now rack application *Piotr Sarnacki*
* Added middleware stack to Engine *Piotr Sarnacki*
* Engine can now load plugins *Piotr Sarnacki*
* Engine can load its own environment file *Piotr Sarnacki*
* Added helpers to call engines' route helpers from application and vice versa *Piotr Sarnacki*
* Task for copying plugins' and engines' migrations to application's db/migrate directory *Piotr Sarnacki*
* Changed ActionDispatch::Static to allow handling multiple directories *Piotr Sarnacki*
* Added isolate_namespace() method to Engine, which sets Engine as isolated *Piotr Sarnacki*
* Include all helpers from plugins and shared engines in application *Piotr Sarnacki*
|
|
|
|
## Rails 3.1.1 (October 7, 2011) ##
* Remove hard dependency on bcrypt-ruby to avoid make ActiveModel dependent on a binary library.
You must add the gem explicitly to your Gemfile if you want use ActiveModel::SecurePassword:
gem 'bcrypt-ruby', '~> 3.0.0'
See GH #2687. *Guillermo Iguaran*
## Rails 3.1.0 (August 30, 2011) ##
* Alternate I18n namespace lookup is no longer supported.
Instead of "activerecord.models.admins.post", do "activerecord.models.admins/post" instead *José Valim*
* attr_accessible and friends now accepts :as as option to specify a role *Josh Kalderimis*
* Add support for proc or lambda as an option for InclusionValidator,
ExclusionValidator, and FormatValidator *Prem Sichanugrist*
You can now supply Proc, lambda, or anything that respond to #call in those
validations, and it will be called with current record as an argument.
That given proc or lambda must returns an object which respond to #include? for
InclusionValidator and ExclusionValidator, and returns a regular expression
object for FormatValidator.
* Added ActiveModel::SecurePassword to encapsulate dead-simple password usage with BCrypt encryption and salting *DHH*
* ActiveModel::AttributeMethods allows attributes to be defined on demand *Alexander Uvarov*
* Add support for selectively enabling/disabling observers *Myron Marston*
|