Changes from V8.4pl3 to V8.4pl4
===============================
WARNING:
The current logic of Coq is now known to be inconsistent with
Axiom prop_extensionality : forall A B:Prop, (A <-> B) -> A = B.
For more details, see:
https://gforge.inria.fr/plugins/scmgit/cgi-bin/gitweb.cgi?p=coq/coq.git;a=blob_plain;f=test-suite/failure/subterm2.v;hb=HEAD
or
https://gforge.inria.fr/plugins/scmgit/cgi-bin/gitweb.cgi?p=coq/coq.git;a=blob_plain;f=test-suite/failure/subterm3.v;hb=HEAD
Kernel
- Unsound check of elimination sort.
- Fix guard condition for nested cofixpoints.
- Univ constraints of module subtyping were not propagated.
Tactics
- A new option "Set Stable Omega" ensures that repeated identical calls
to omega will produce identical proof terms. This option is off by default
for maximal compatibility, but should be pretty safe to activate.
- The interpretation of the open_constr tactic argument was erroneously
firing type classes resolution in some corner cases. This has been
fixed. The tactic argument type open_constr_wTC is provided for retro
compatibility purposes.
- Fixing bug (fixing precedence of ltac variables over variables in
env) introduces rare and justified tactic failure.
Bug fixes
- micromega: solved an ambiguous symbol resolution.
- Coq always uses / as separator between directories on all platforms.
- remove trailing '\r' from file names returned by coqtop.
- bug correction in proving inversion principles for Function.
- ocamlbuild: minor fixes related to camlp4 and cross-compilation.
Changes from V8.4pl2 to V8.4pl3
===============================
Ide_slave XML interface
- 20120712, 20130419 : Invalidated protocol versions
- From 20130419 extra datastructure : union
(Inl "" = <union val="in_l"><string></string></union>,
Inr _ = <union val="in_r">...)
- 20130419~1 : new toplevel entry : message, not send by coptop v8.4 and not
handle by coqide v8.4. A message has a level and a content (of string).
Message levels are Debug of string, Info, Notice, Warning and Error.
- 20130425 :
* new toplevel entry : feedback, once again not send by coqtop v8.4 and not
handle by coqide v8.4. A feedback gives the id of the sentence it provides info
about and a content. Feedback contents are Processed, AddedAxiom and
GlobRef of Util.loc * string * string * string * string
* <call val="interp"> must provide an attribute id of type int. It is OK in
coqtop v8.4 to alwais send <call val="interp" id="0">
Bug fixes
- Fixing a significant efficiency leak in the code of the field tactic.
- Fix caching of local hint database in typeclasses eauto which could
miss some hypotheses.
- Fix automatic solving of obligation in program, which was not trying
to solve obligations that had no undefined dependencies left.
Add SMF support. Fix default dirs.
2012-11-28 - PgBouncer 1.5.4 - "No Leaks, Potty-Training Successful"
= Fixes =
* DNS: Fix memory leak in getaddrinfo_a() backend.
* DNS: Fix memory leak in udns backend.
* DNS: Fix stats calculation.
* DNS: Improve error message handling for getaddrinfo_a().
* Fix win32 compile.
* Fix compiler dependency support check in configure.
* Few documentation fixes.
2012-09-12 - PgBouncer 1.5.3 - "Quantum Toaster"
= Critical fix =
* Too long database names can lead to crash, which
is remotely triggerable if autodbs are enabled.
The original checks assumed all names come from config files,
thus using fatal() was fine, but when autodbs are enabled
- by '*' in [databases] section - the database name can come
from network thus making remote shutdown possible.
= Minor Features =
* max_packet_size - config parameter to tune maximum packet size
that is allowed through. Default is kept same: (2G-1), but now
it can be made smaller.
* In case of unparseable packet header, show it in hex in log and
error message.
= Fixes =
* AntiMake: it used $(relpath) and $(abspath) to manupulate pathnames,
but the result was build failure when source tree path contained
symlinks. The code is now changed to work on plain strings only.
* console: now SET can be used to set empty string values.
* config.txt: show that all timeouts can be set in floats.
This is well-hidden feature introduced in 1.4.
2012-05-29 - PgBouncer 1.5.2 - "Don't Chew, Just Swallow"
= Fixes =
* Due to mistake, reserve_pool_timeout was taken in microseconds,
not seconds, effectively activating reserve pool immediately
when pool got full. Now use it as seconds, as was intended.
(Noticed by Keyur Govande)
2012-04-17 - PgBouncer 1.5.1 - "Abort, Retry, Ignore?"
= Features =
* Parameters to tune permissions on unix socket:
unix_socket_mode=0777, unix_socket_group=''.
= Fixes =
* Allow empty string for server-side variable - this is
needed to get "application_name" properly working, as it's
the only parameter that does not have server-side default.
* If connect string changes, require refresh of server parameters.
Previously PgBouncer continued with old parameters,
which breaks in case of Postgres upgrade.
* If autodb connect string changes, drop old connections.
* cf_setint: Use strtol() instead atoi() to parse integer config
parameters. It allows hex, octal and better error detection.
* Use sigqueue() to detect union sigval existence - fixes
compilation on HPUX.
* Remove 'git' command from Makefile, it throws random errors
in case of plain-tarball build.
* Document stats_period parameter. This tunes the period for
stats output.
* Require Asciidoc >= 8.4, seems docs are not compatible with
earlier versions anymore.
* Stop trying to retry on EINTR from close().
2012-01-05 - PgBouncer 1.5 - "Bouncing Satisified Clients Since 2007"
If you use more than 8 IPs behind one DNS name, you now need to
use EDNS0 protocol to query. Only getaddrinfo_a()/getaddrinfo()
and UDNS backends support it, libevent 1.x/2.x does not.
To enable it for libc, add 'options edns0' to /etc/resolv.conf.
GNU Make 3.81+ is required for building.
= Features =
* Detect DNS reply changes and invalidate connections to IPs no longer
present in latest reply.
(Petr Jelinek)
* DNS zone serial based hostname invalidation. When option
dns_zone_check_period is set, all DNS zones will be queried
for SOA, and when serial has changed, all hostnames
will be queried. This is needed to get deterministic
connection invalidation, because invalidation on lookup
is useless when no lookups are performed.
Works only with new UDNS backend.
* New SHOW DNS_HOSTS, SHOW DNS_ZONES commands to examine DNS cache.
* New param: min_pool_size - avoids dropping all connections
when there is no load.
(Filip Rembialkowski)
* idle_in_transaction_timeout - kill transaction if idle too long.
Not set by default.
* New libudns backend for DNS lookups. More featureful than evdns.
Use --with-udns to activate. Does not work with IPv6 yet.
* KILL command, to immediately kill all connections for one database.
(Michael Tharp)
* Move to Antimake build system to have better looking Makefiles.
Now GNU Make 3.81+ is required for building.
= Fixes =
* DNS now works with IPv6 hostnames.
* Don't change connection state when NOTIFY arrives from server.
* Various documentation fixes.
(Dan McGee)
* Console: Support ident quoting with "". Originally we did not
have any commands that took database names, so no quoting was needed.
* Console: allow numbers at the stard of word regex. Trying
to use strict parser makes things too complex here.
* Don't expire auto DBs that are paused.
(Michael Tharp)
* Create auto databases as needed when doing PAUSE.
(Michael Tharp)
* Fix wrong log message issued by RESUME command.
(Peter Eisentraut)
* When user= without password= is in database connect string,
password will be taken from userlist.
* Parse '*' properly in takeover code.
* autogen.sh: work with older autoconf/automake.
* Fix run-as-service crash on win32 due to bad basename() from
mingw/msvc runtime. Now compat basename() is always used.
Security fixes
The signed-value format used by RequestHandler.set_secure_cookie and
RequestHandler.get_secure_cookie has changed to be more secure. This is a
disruptive change. The secure_cookie functions take new version parameters
to support transitions between cookie formats.
The new cookie format fixes a vulnerability that may be present in
applications that use multiple cookies where the name of one cookie is a
prefix of the name of another.
To minimize disruption, cookies in the older format will be accepted by
default until they expire. Applications that may be vulnerable can reject
all cookies in the older format by passing min_version=2 to
RequestHandler.get_secure_cookie.
Thanks to Joost Pol of Certified Secure for reporting this issue.
Backwards-compatibility notes
Signed cookies issued by RequestHandler.set_secure_cookie in Tornado 3.2.1
cannot be read by older releases. If you need to run 3.2.1 in parallel with
older releases, you can pass version=1 to RequestHandler.set_secure_cookie
to issue cookies that are backwards-compatible (but have a known weakness,
so this option should only be used for a transitional period).
Other changes
The C extension used to speed up the websocket module now compiles
correctly on Windows with MSVC and 64-bit mode. The fallback to the
pure-Python alternative now works correctly on Mac OS X machines with no C
compiler installed.
Different operating systems provide different ways to wait for I/O completion
events: there's select(), poll(), epoll() and kqueue(). For cross-platform
applications it can be a pain to support all this system functions, especially
because each one provides a different interface.
IOWait solves this problem by providing a unified interface and using always
the best and faster function available in the platform. Its only limitation is
that, on Windows, it only works for sockets.
This library is compatible both with Python 2 and 3.
Changelog:
Fixed
29.0.1 -pdf.js printing white page (1003707)
Fixed
29.0.1 - Tabs not visible with dark themes under Windows 8.1 (907373)
Fixed
29.0.1 - Session Restore failed with a corrupted sessionstore.js file (1001167)
Fixed
29.0.1 - Seer disabled by default (1005958)
If lang/gcc-aux builds on NetBSD, it will be able to build GPS.
The system linker that lang/gcc-aux used has been replaced with the new
gold linker from devel/binutils (the ld.bfd linker is buggy with regards
to PIC files, the same bug was seen on OpenBSD 5.5).
These changes are for NetBSD only although non-functional OpenBSD support
continues to be added. The biggest change is configuring the compiler to
use the gold linker from binutils 2.24 instead of the system linker. The
ld.bfd linker from binutils 2.24 is buggy on NetBSD and OpenBSD; it cannot
properly produce/recognize PIC files in every case, which is why gcc-aux
had been limited to the system linker. The system linker was too old for
gcc-aux and devel/gps failed to link because of it.
At the same time, the dormant dl_iterate_phdr support has been activated
for NetBSD. It seems to work; the Ada testsuite still passes perfectly.
Due to lack of testing, gold is restricted from building on NetBSD 5,
which means lang/gcc-aux will fail to build as a result. If someone
verifies gold builds on NetBSD 5, then the restriction on binutils can
be removed and lang/gcc-aux will be able to build on NetBSD 5 again.
The GTK2 configure script searches in vain for libgmodule. Since it does
not find it, gmodule-2.0 is not added to the gtk+*-2.0 pkgconfig files.
Since gcc-aux now uses the gold linker which requires explicit linking by
default, gtkada fails to link due to use of gmodule-2.0 symbols within
other libraries.
The true fix needs to happen at the gtk2 package. A post-wrapper hack has
been added to gtkada to locally append the gtk2 pkgconfig file which
allows building to complete.
This hack should be removed when gtk2's gtk+-2.0.pc file has been fixed.
- improved support for Amazon Glacier
- removed support for Ubuntu One, which is closing shop
- new locking mechanism to avoid concurrent execution with same cache
- many other bugfixes and minor improvements. See CHANGELOG.
The gold linker is overly pedantic for dynamic references to symbols
with hidden visibility. It will spew error messages about weak symbols
in libc.so that ld.bfd does not complain about. Until the bug is resolved
disable the hidden symbol warnings. These warning also cause > 200
false failures in the gcc gnat.dg testsuite.
https://sourceware.org/bugzilla/show_bug.cgi?id=15574
This patch will keep the internal symbol warnings but suppress those
regaring symbols with hidden visibility because they aren't considered
errors by the bfd linker.
The Gold linker defaults to the use of --new-dtags which uses DT_RUNPATH
instead of DT_RPATH. In previous version of binutils, --new-dtags would
write set both DT_RUNPATH and DT_PATH, but not anymore. The problem is
that neither NetBSD nor OpenBSD runtime linkers properly handle it
AFAICT. Use macros to make DT_RPATH get set when -rpath switch is used
so that linked libraries can get found on these platforms.
Similarly, it appears that DT_INIT_ARRAY tags are also not handled by
rtld, so don't use these tags by default otherwise C++ will not link
on these platforms.
The copy-as-needed attribute has been left at its binutils default of
--no-copy-dt-needed. This has been the default since binutils 2.22.
The gold linker isn't a default option on binutils. Change the Makefile
to make gold build on recent *BSD. Tested on NetBSD 6.1.4 and OpenBSD 5.5.
Gold is known to build on FreeBSD although FreeBSD 10 may need additional
patches. Gold is part of the system binutils on DragonFly.
Version 5.8
New: Monit no longer purge the environment for sub-processes
New: Add command line option to view Monit ID (-i/--id)
New: Add command line option to reset Monit ID (-r/--resetid)
New: Add client support for using TLS version 1.1 and 1.2. A recent
1.x version of OpenSSL is required and of course that the server
speaks this TLS version. At this time, not many does. Example:
if failed port 443 with type TCPSSL tlsv11 protocol http then alert
New: Process UID, EUID and GID tests. Allows to test if the
process is running as a given user. Example:
check process syslog with pidfile /var/run/rsyslogd.pid
if failed uid "syslog" then alert
if failed euid "syslog" then alert
if failed gid "syslog" then alert
New: Add WebSocket protocol test support for port check. Example:
check host websocket.org with address "echo.websocket.org"
if failed
port 80 protocol websocket
host "echo.websocket.org"
request "/"
origin "http://www.websocket.com"
version 13
then alert
New: Simplified HTTP protocol test to allow testing content without
creating an URL object. It is now possible to say in a more natural way,
check host mmonit.com with address mmonit.com
if failed
port 80 protocol http
and request /monit/ with content = "Monit 5.7"
then alert
meaning that if the page mmonit.com/monit does not contain the text
"Monit 5.7" then the test will fail. To reverse the test, i.e. to test
that the page should not contain a specific string simply use '!='
instead, like,
if failed
port 80 protocol http
with content != "Nagios"
then alert
Remember also that the string to test can be a regular expression
New: The HTTP protocol test now support testing the HTTP status code
returned by the server by using "status <operator> <number>".
Backward compatible defaults (return error if status >= 400):
if failed
port 80 protocol http
and status < 400
then alert
Return error if a page DOES exist (for success 404 is expected):
if failed
port 80 protocol http
request "/non/existent.php"
status = 404
then alert
Fixed: Unix Socket test now use the communication type (TCP or UDP)
specified in port statement. Previously TCP was always used.
Fixed: Improved test to check if a socket was connected. Since we use
non-blocking connect, we now poll a few ms to avoid "connection failed,
XXX is not ready for i|o" errors which could occur, especially on high
latency networks or long distance connect.
Fixed: Simplified if-statements reported in UI
Fixed: Ignore lines starting with '#' in an 'allow htpasswd' file
statement. Thanks to Michael Bakker for reporting the issue
Fixed: Show service restart program on Monit startup in debug mode.
Thanks to Michael Bakker for reporting the issue
Version 5.7
New: Merged https://bitbucket.org/tildeslash/monit/pull-request/1/
from Philippe Kueck:
1) Handle sockets (unix domain) as regular files when checking timestamp.
2) Use mysql 4.1 protocol in MySQL check, required for checking mysql-proxy
3) Skip connection checks during startup timeout.
New: Arguments added to 'check program'. Arguments are whitespace
separated strings. For instance:
check program list-files with path "/bin/ls -l -r -t /tmp"
if status != 0 then alert
New: Implemented restart as an optional service action. When Monit
is called to restart a service, it previously called the stop
program registered with the service and then the start program.
Now, if a restart program is registred with the service, this
will be called instead, otherwise Monit fall back to its old
behaviour. Example:
check process apache with pidfile /var/run/httpd.pid
start = "/usr/sbin/apachectl start"
stop = "/usr/sbin/apachectl stop"
restart = "/usr/sbin/apachectl restart" <- New
New: Improved communication with M/Monit. Thanks to Hippo Lin. For
scalability purpose, this Monit version should only be used with
M/Monit version 3.1 or later.
BUGFIXES:
* Monit stopped if an error occurred during MTA connection close.
* Make the Memcache protocol test faster.
* Solaris zone: fix system memory usage report.
* Use chiper list with SSL server instead of relying on default
