| Age | Commit message (Collapse) | Author | Files | Lines |
|---|
|
One additional cmap.
|
|
|
|
This is a regularly scheduled stable release.
Resolved issues:
#3742, #4305: Better detect sync conflicts that happen while syncing
#4300: Fixes a crash related to a nil reference in ignore handling
There is also a major internal refactor as part of this release.
|
|
yet, so do it explicitly using the opam-installer we just built
|
|
|
|
|
|
- Fix #5380: Default colors for CoqIDE are actually applied.
- Fix plugin warnings
- Document named evars (including Show ident)
- Fix Bug #5574, document function scope
- Adding a test case as requested in bug 5205.
- Fix Bug #5568, no dup notation warnings on repeated module imports
- Fix documentation of Typeclasses eauto :=
- Refactor documentation of records.
- Protecting from warnings while compiling 8.6
- Fixing an inconsistency between configure and configure.ml
- Add test-suite checks for coqchk with constraints
- Fix bug #5019 (looping zify on dependent types)
- Fix bug 5550: "typeclasses eauto with" does not work with section variables.
- Bug 5546, qualify datatype constructors when needed in Show Match
- Bug #5535, test for Show with -emacs
- Fix bug #5486, don't reverse ids in tuples
- Fixing #5522 (anomaly with free vars of pat)
- Fix bug #5526, don't check for nonlinearity in notation if printing only
- Fix bug #5255
- Fix bug #3659: -time should understand multibyte encodings.
- FIx bug #5300: Anomaly: Uncaught exception Not_found" in "Print Assumptions".
- Fix outdated description in RefMan.
- Repairing `Set Rewriting Schemes`
- Fixing #5487 (v8.5 regression on ltac-matching expressions with evars).
- Fix description of command-line arguments for Add (Rec) LoadPath
- Fix bug #5377: @? patterns broken.
- add XML protocol doc
- Fix anomaly when doing [all:Check _.] during a proof.
- Correction of bug #4306
- Fix #5435: [Eval native_compute in] raises anomaly.
- Instances should obey universe binders even when defined by tactics.
- Intern names bound in match patterns
- funind: Ignore missing info for current function
- Do not typecheck twice the type of opaque constants.
- show unused intro pattern warning
- [future] Be eager when "chaining" already resolved future values.
- Opaque side effects
- Fix #5132: coq_makefile generates incorrect install goal
- Run non-tactic comands without resilient_command
- Univs: fix bug #5365, generation of u+k <= v constraints
- make `emit' tail recursive
- Don't require printing-only notation to be productive
- Fix the way setoid_rewrite handles bindings.
- Fix for bug 5244 - set printing width ignored when given enough space
- Fix bug 4969, autoapply was not tagging shelved subgoals correctly
|
|
ocaml-lwt 3 and js_of_ocaml 3. These are all in the upstream github, so
should be removed with the next release.
|
|
|
|
ocaml-lwt 3. Most of these are already in the upstream github, so should
be removed at the next release.
|
|
dependency
|
|
|
|
|
|
|
|
|
|
* Building with OCaml < 4.02.3 is no longer supported
* Support compilation with a built-in mccs solver (removing run-time dependency
to aspcud). Integrated half-working "heuristics" dropped.
* Remove jsonm and transitive uutf dependency.
* Switch build systems to `jbuilder`, including `lib-ext` support
* Allow repeated and or'd arguments to the `list` command
* Many code and build system portability fixes (Windows, BSD)
* Add `switch export --full` to include package definitions
* Add `announce:` and `stamp:` fields to repositories (`repo` files)
* Add a global cache of git objects (greatly speeding up multiple cloning)
* Allow `opam pin URL` without a package name
* Many error handling, messages and corner case fixes
* Updated the versions of dependencies
* Removed the unused `features:` field, and proposal for a new syntax
* More informative exit codes, and documentation thereof
|
|
|
|
|
|
|
|
|
|
Minimal IRC server which integrates with Mattermost and Slack.
Features:
- support direct messages / private channels / edited messages
- auto-join/leave to same channels as on mattermost
- reconnects with backoff on mattermost restarts
- support multiple users
- support channel backlog (messages when you're disconnected from
IRC/mattermost)
- search messages (/msg mattermost search query)
- scrollback support (/msg mattermost scrollback #channel limit)
- restrict to specified mattermost instances
- set default team/server
- WHOIS, WHO, JOIN, LEAVE, NICK, LIST, ISON, PRIVMSG, MODE, TOPIC,
LUSERS, AWAY, KICK, INVITE support
- support TLS (ssl)
- support LDAP logins (mattermost enterprise) (use your ldap
account/pass to login)
- &users channel that contains members of all teams (if mattermost is
so configured) for easy messaging
- supports mattermost roles (shows admins with @ status for now)
- gitlab auth hack by using mmtoken cookie (see
https://github.com/42wim/matterircd/issues/29)
|
|
|
|
Version 1.0.32 September 02 2017
------------------------------------------------------------------------
Guus Sliepen (13):
Don't dereference myself->incipher if it's NULL.
Merge remote-tracking branch 'VittGam/master'
Use /dev/udp instead of /dev/ip on Solaris.
Use getmsg()/putmsg() instead of read()/write() on Solaris.
Fix Solaris DeviceType = tap in router Mode.
Bind outgoing TCP sockets.
Move logging of "would block" messages to debug level 4.
Set KillMode=mixed in the systemd service file.
Don't forget about outgoing connections on host file read errors.
Fix Proxy = exec.
Set status.proxy_passed early for Proxy = exec.
Don't try to bind Proxy = exec sockets to an address.
Releasing 1.0.32.
Vittorio Gambaletta (VittGam) (1):
route: Support ToS/DiffServ priority inheritance when routing IPv6
packets.
Version 1.0.31 January 15 2017
------------------------------------------------------------------------
Guus Sliepen (1):
Releasing 1.0.31.
Élie Bouttier (1):
Remove ExecStop in tinc@.service
Version 1.0.30 October 30 2016
------------------------------------------------------------------------
Guus Sliepen (11):
Allow non-empty lines after status code from a HTTP proxy.
Fix proxy reply parsing broken by the previous commit.
Log only the first line of a proxy request rejection message.
Delay sending the real ID request until after a proxy request is granted.
Use AES256 and SHA256 by default, also for the meta-connections.
Enforce maximum amount of bytes sent/received on meta-connections.
Fix bit shifting arithmetic so the code actually does what the last commit
message says.
Really fix byte budget calculation.
Use AES in CTR mode instead of OFB mode for meta-connections.
Use CFB mode for meta-connections to improve security.
Releasing 1.0.30.
Version 1.0.29 October 09 2016
------------------------------------------------------------------------
Guus Sliepen (11):
Preserve IPv6 scope_id in edges.
Ensure compatibility with OpenSSL 1.1.0.
Add -Wall to CFLAGS.
Check return value of RSA_generate_key_ex().
Force nul-termination of strings after vsnprintf().
Log warnings about dropped packets only with debug level 5 or higher.
Add a copy of ax_append_flag.m4.
Add ax_require_defined.m4.
Fix possibly unitialized variable.
Fix compiler warnings about format string errors on BSD.
Releasing 1.0.29.
Version 1.0.28 April 10 2016
------------------------------------------------------------------------
Guus Sliepen (8):
Fix compiling bsd/device.c on systems without utun.
Really remove use of __DATE__ and __TIME__ to facilitate reproducible
builds.
Add systemd service files.
Update .gitignore.
Ensure the service files are in the tarball.
Explicitly mention that LibreSSL can be used as well.
Update links in the documentation.
Releasing 1.0.28.
Version 1.0.27 April 10 2016
------------------------------------------------------------------------
Guus Sliepen (26):
Add missing AM_PROG_CC_C_O to configure.ac.
Attribution for various contributors.
Update "now" after connect() when making outgoing connections.
Add ability to use proxies to connect to hostnames when there is no
nameserver.
Only add a reflexive address when we're sure it's working.
Fix compatibility with TAP-Win32 9.0.0.21 and later.
Fix warnings from the Clang Static Analyzer.
Improve performance of edge updates.
Clarify that scripts are called synchronously.
Small fixes for the documentation.
Add warnings for bad combinations of Device and Interface.
Fix forwarding of edge updates.
Don't compile getopt*.c if the system provides getopt_long().
Update .gitignore.
Update THANKS.
Use iface instead of interface.
Update copyright notices.
Remove use of __DATE__ and __TIME__ to facilitate reproducible builds.
Cast 0xff to char before comparing it to another char.
Get rid of a warning when compiling tinc using MinGW.
Every BSD flavor has a tap device nowadays.
Use devname() if available to support devfs cloning on BSD.
Use SIOCGIFADDR on BSDs that support it.
Enable silent builds by default.
Add support for OS X utun interfaces.
Releasing 1.0.27.
Vittorio Gambaletta (VittGam) (6):
Fix DecrementTTL option.
Fix source IP address for ICMP unreachable packets generated by tinc.
Try to reply with node address only when decrementing the TTL.
Fix DecrementTTL option for packets destined to the local node.
s/broadcast_packet_helper/route_broadcast/
Remove forward declaration for do_decrement_ttl.
LunarShaddow (3):
fix typo
re-arrange include sequence to avoid a mingw introduced bug.
Proofing README.
Florian Weik (1):
Fix NAME variable in subnet-* scripts for local subnets.
Nathan Stratton Treadway (1):
Fix invalid checksum generation.
|
|
|
|
|
|
|
|
Features/Changes
Misc: switch to ppx instead of camlp4
Misc: always install deriving_json
Misc: remove support for async_kernel, bin_prot
Misc: remove support for ppx_driver
Misc: split js_of_ocaml in multiple packages
Misc: switch to jbuilder
Misc: new pseudo filesystem support with better node support
Compiler: sourcemap support is now optional
Compiler: no more strong dep on yojson, b64, menhir, ocamllex
Compiler: improve separate compilation workflow
Runtime: add support for weakdef
Syntaxes: add expect tests
Syntaxes: switch to ocaml-migrate-parsetree and ppx_tools_versioned
Lib: Add primitives in [Js.Unsafe]
Lib: remove keycode module, replaced by Dom_html.Keyboard_code
Lib: XmlHttpRequest, API change for perform functions.
Bug fixes:
Runtime: fix many stubs
Lib: fix many signatures
Compiler: fix performance of compilation passes (simpl,clean)
Compiler: fix compat with OCaml 4.06
Toplevel: flush channels after execution.
Toplevel: fix toplevel generation when using -export-unit
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
infrastructure changes as well (packages for glib, react and ssl support
have been split off). Upstream changes include:
===== 3.1.0 (2017-07-19) =====
====== Additions ======
* Port to Jbuilder (#374, Andrew Ray).
* Lwt_io.establish_server_with_client_address (#346, Rudi Grinberg).
* Lwt_unix.getcwd (#403, Rapha?l Proust).
====== Planned to break in 4.0.0 ======
* Delete lwt.simple-top (#371).
* Delete Lwt_chan (#441).
====== Fixes ======
* Make Lwt_log functions tail-recursive (#348, Jan Doms).
* Make more of Lwt_list tail-recursive (#347, Jan Doms).
* Improve string messages in exceptions (#368, #382, Jan Doms, Rapha?l
Proust).
* Don't call Unix.set_nonblock or Unix.clear_nonblock unnecessarily on
some fds (#356, David Sheets).
* Lwt_unix.sleep and Lwt_unix.timeout returning too early when using
libev (#433, Stijn Devriendt).
* Lwt_sequence.fold_r iterating the wrong way in some cases (#405,
Stijn Devriendt).
* Build conflicts in some cases due to duplicate cst_to_constr
function (#362, J?r?mie Dimino).
* Don't use deprecated readdir_r system call (#430, Rapha?l Proust).
====== Miscellaneous ======
* The Lwt core, lwt.ml, has been thoroughly refactored and commented
(#354, reviewed Gabriel Radanne, Edwin T?r?k, Rapha?l Proust, Jan
Doms, Fabian Hemmer, Sebastien Mondet, Simon Cruanes, Anil
Madhavapeddy, Pierre Chambart, and many others).
* Lots of tests for most of the Lwt core (#339, #389, #392, #440,
#448, #450, Joseph Thomas, Ryan Slade).
* Documentation fixes (including by Joseph Thomas, Rapha?l Proust,
Richard Degenne, Stavros Polymenis).
* Contributing documentation (#379).
* Massively adjust whitespace for legibility (#400, #409, #416,
Richard Degenne).
* Improvements to CI (Etienne Millon, Raphael Rafatpanah, Zack Coker,
Yotam Barnoy).
* The additional packages lwt_ssl, lwt_react, lwt_glib get new minor
releases, the change being new Jbuilder build systems (#374, Andrew
Ray).
===== 3.0.0 (2017-04-10) =====
====== Breaking ======
* These changes were originally announced in release 2.7.0 (#308).
* Lwt_engine.libev now has an optional argument for selecting the libev back
end (#269, #294, Jeremy Yallop).
* Lwt_io.establish_server has been changed to make it more difficult to leak
file descriptors (#258, #260).
* Lwt_io.shutdown_server now evaluates to a promise, which completes when the
listening socket's close(2) operation completes (#259).
* Lwt_unix.bind now evaluates to a promise, because the bind(2) system call
can block for Unix domain sockets (#296, requested David Sheets).
* ocamlfind packages lwt.react, lwt.ssl, lwt.glib are replaced by lwt_react,
lwt_ssl, lwt_glib. These have been separate OPAM packages, under those
names, since 2.7.0 (#301).
|
|
|
|
Since download.gna.org is (currently) offline, add archive.org
fallback.
Tested build with xemacs 21.4 and emacs 25.
|
|
|
|
homepage URL. Changes include:
Add support for OCaml 4.05.0.
Use the ocaml-migrate-parsetree library to support multiple versions of OCaml.
Fix comparison order of fields in records (#136).
Silence an unused rec flag warning in generated code (#137).
Monomorphize comparison function for builtin types (#115)
Raise an error when type nonrec is encountered (#116).
Display an error message when dynamic package loading fails.
Add a with_path option to @@deriving to skip the module path in generated code (#120).
The homepage for the project has now moved to: https://github.com/ocaml-ppx/ppx_deriving
|
|
|
|
works with ocaml 4.05. There was also a change of distribution site.
|
|
|
|
ocaml-ppx_deriving and ocaml-ppx_type_conv. It's needed as a dependency
for the new version of ocaml-ppx_deriving.
|
|
|
|
1.0+beta13 (05/09/2017)
Generate toplevel html index for documentation (#224, Thomas Gazagnaire)
Fix recompilation of native artifacts. Regression introduced in the last version (1.0+beta12) when digests replaces timestamps for checking staleness (#238, David Allsopp)
1.0+beta12 (18/08/2017)
Fix the quoting of FLG lines in generated .merlin files (#200, Marcello Seri)
Use the full path of archive files when linking. Before jbuilder would do: -I <path> file.cmxa, now it does -I <path> <path>/file.cmxa. Fixes #118 and #177
Use an absolute path for ppx drivers in .merlin files. Merlin <3.0.0 used to run ppx commands from the directory where the .merlin was present but this is no longer the case
Allow to use jbuilder install in contexts other than opam; if ocamlfind is present in the PATH and the user didn't pass --prefix or --libdir explicitly, use the output of ocamlfind printconf destdir as destination directory for library files (#179, Francois Bobot)
Allow (:include ...) forms in all *flags fields (#153, David Allsopp)
Add a utop subsommand. Running jbuilder utop in a directory builds and executes a custom utop toplevel with all libraries defined in the current directory (#183, Rudi Grinberg)
Do not accept per_file anymore in preprocess field. per_file was renamed per_module and it is planned to reuse per_file for another purpose
Warn when a file is both present in the source tree and generated by a rule. Before, jbuilder would silently ignore the rule. One now has to add a field (fallback) to custom rules to keep the current behavior (#218)
Get rid of the deprecated-ppx-method findlib package for ppx rewriters (#222, fixes #163)
Use digests (MD5) of files contents to detect changes rather than just looking at the timestamps. We still use timestamps to avoid recomputing digests. The performance difference is negligible and we avoid more useless recompilations, especially when switching branches for instance (#209, fixes #158)
1.0+beta11 (21/07/2017)
Fix the error message when there are more than one <package>.opam file for a given pacakge
Report an error when in a wrapped library, a module that is not the toplevel module depends on the toplevel module. This doesn't make as such a module would in theory be inaccessible from the outside
Add ${SCOPE_ROOT} pointing to the root of the current scope, to fix some misuses of ${ROOT}
Fix useless hint when all missing dependencies are optional (#137)
Fix a bug preventing one from generating META.pkg.template with a custom rule (#190)
Fix compilation of reason projects: .rei files where ignored and caused the build to fail (#184)
|
|
|
