Z3 is a theorem prover from Microsoft Research with support for bitvectors,
booleans, arrays, floating point numbers, strings, and other data types.
This is a fork of the original Z3. Unfortunately it conflicts with the math/z3
package as a result.
A system for 'declaratively' creating graphics, based on "The Grammar
of Graphics". You provide the data, tell 'ggplot2' how to map
variables to aesthetics, what graphical primitives to use, and it
takes care of the details.
Changelog:
Changes
Dont polute the log on DAV emaillogin (server#8045)
Don't perform CSRF check on OCS routes with Bearer auth (server#8099)
Use S3Client::upload instead of splitting single/multipart upload ourselves (server#8102)
Remove old perl script to update l10n files (server#8145)
Scss hardening (server#8156)
Do not try to get the jailed path if we can't find the id (server#8177)
Handle SSL certificate verifications for others than Let's Encrypt (server#8183)
Use a phan version instead of master (server#8195)
Repair step to clear frontend related caches (server#8197)
Keep previous exception when transforming to dav exception (server#8228)
Actually return stream from swift (server#8250)
Remove invalid link to documentation (server#8253)
Fix deleting folders when using s3 external storage (server#8261)
Link to NC13 dev manual (server#8264)
Better result handling of email search (server#8267)
Update CRL to revoke files_rightclick (server#8271)
Fix styling issues of guest pages #8155 (server#8286)
Remove jquery ui background image (server#8287)
Show open graph preview in WhatsApp (server#8309)
Make acceptance tests for comments more consistent with the others (server#8395)
Fix edit tag textbox size (server#8407)
Use TTF fonts for avatar generation (server#8440)
Use mb_* string methods to extract first character for generated avatars (server#8470)
Show hint in OCS API for user creation (server#8515)
Fix hiding and event propagation issues with the user management popover (server#8517)
Add some whitespace around change.svg icon (server#8518)
Avoid fruitless login attempts (server#8532)
Fix retrieval of group members with numerical uids from LDAP (server#8536)
Theming: handle not being in the serverroot (server#8554)
Ext storage error warning (server#8561)
Set autocomplete=new-password for mail share password (server#8577)
Fix upload button visible on read-only folders (server#8595)
Fixed app navigation for IE11 (server#8609)
Fix breadcrumbs width calculation (server#8610)
Fix comments (and systemtags) when involving users with numerical ids (server#8615)
Update commentstabview.js (server#8621)
Properly encapsulate require_once for app.php (server#8631)
AppData hardening (server#8636)
Use hash algo that's robust against collisions (server#8654)
Fixed date/time picker on IE11 (server#8663)
Use a more widely available method to test s3 settings (server#8667)
Use proper lanugage in langauge code (server#8668)
Display the proper language strings in setttings (server#8669)
Do not create empty userid when attribute does not have allowed chars (server#8673)
Remove too restrict check for background image/color (server#8675)
Fix example regex for user agent matching (server#8676)
Generate different UIDs for Birthday, Anniversary and Death event (server#8678)
Don't use double quotes in MySQL queries (server#8680)
Log exceptions that happen when writing the app store reply to storage (server#8683)
Set the correct active navigation entry (server#8685)
Fix activities for end2end encryption (server#8686)
Filter out the current user when searching for emails too (server#8687)
Fix check if theming defaults instance is available (server#8688)
Fix undefined index problem (server#8693)
Disable part files for object stores (server#8725)
Better handling of invisible elements in acceptance tests (server#8738)
Remove base url from global cache prefix (server#8745)
Check if the cached js file exists (server#8746)
Sharee email matches not limited (server#8749)
Fix integer overflow in ChunkingPlugin (server#8752)
Revert wording back to updates (server#8755)
Add acceptance tests for permissions on public shared folders (server#8758)
Also send file emails in ASAP mode (activity#249)
Ensure userids are strings (activity#252)
Null coalescing operator is PHP7+ (activity#254)
Update PDF.js to 1.9.426 (files_pdfviewer#55)
Enable full screen mode for PDF files (files_pdfviewer#59)
Fix ACE module files failing to load (files_texteditor#83)
Do not keep FileInfoModels returned by "getModelForFile" (files_texteditor#89)
Fix share drop down in gallery not properly shown (gallery#394)
Fix gallery button hidden in folders without create permission (gallery#402)
Fix controls position in gallery layout (gallery#405)
Removed old code already present thanks to the files app (gallery#406)
Create "file app" public share links if the slideshow is opened from ... (gallery#407)
Allow to check against haveibeenpwned.com password list (password_policy#61)
Upstream changes:
Moodle 3.4.2:
Highlights
MDL-48501, MDL-61600 - Migrate to reCAPTCHA v2
MDL-51189 - Quiz: now possible to edit user overrides even if quiz is not available to a student
MDL-60241 - Invisible default sections lead to unexpected visibility layout
MDL-61344 - Assignment: "additional files" are now shown in Edit Submission view
GDPR preparation
Plugins will be available for Moodle 3.3 and 3.4 to help Moodle sites to comply with GDPR. In Moodle 3.5 they will be included in the standard distribution. Some necessary core changes were already included in this release:
MDL-61307 - New Privacy subsystem
MDL-61477 - Allow plugins to handle site policies and overwrite $CFG->sitepolicy
MDL-61423 - Signup process - add minimum age verification
Fixes and improvements
MDL-60815 - Fixed bug with loading CSS for editor
MDL-61549 - Fixed bug with empty user name on Participants page if username is included in user identitfy fields
MDL-60812 - Select correct default role during manual enrolment
MDL-58006 - Assignment: reset 'Blind marking' status during 'Course reset'
MDL-58845 - Choice: hide "unanswered" column when it is set so in choice settings
MDL-56688 - Single View & grades export should follow the same order set in gradebook set up
MDL-61305 - Performance: Modinfo cache can get built in parallel
MDL-61249 - Corrected end date for manual enrolments
MDL-61242 - EQUELLA repository: fixed error "The source url does not match the sourcekey."
MDL-61175 - Change "Remind me to grade by" date according to the new course start date after course restore
Changes 2.0.17:
The Emperor throttling subsystem does not make use anymore of blocking functions, like usleep(), this should fix stats serving and should improve vassals startup time
[Security/PHP] enforce DOCUMENT_ROOT check when using –php-docroot to avoid directory traversal
added –shutdown-sockets to improve graceful shutdowns
2.2:
BACKWARDS INCOMPATIBLE: Support for Python 2.6 has been dropped.
Resolved a bug in HKDF that incorrectly constrained output size.
Added :class:~cryptography.hazmat.primitives.asymmetric.ec.BrainpoolP256R1, :class:~cryptography.hazmat.primitives.asymmetric.ec.BrainpoolP384R1, and :class:~cryptography.hazmat.primitives.asymmetric.ec.BrainpoolP512R1 to support inter-operating with systems like German smart meters.
Added token rotation support to :doc:Fernet </fernet> with :meth:~cryptography.fernet.MultiFernet.rotate.
Fixed a memory leak in :func:~cryptography.hazmat.primitives.asymmetric.ec.derive_private_key.
Added support for AES key wrapping with padding via :func:~cryptography.hazmat.primitives.keywrap.aes_key_wrap_with_padding and :func:~cryptography.hazmat.primitives.keywrap.aes_key_unwrap_with_padding .
Allow loading DSA keys with 224 bit q.
0.28.1:
Bugs fixed
PyFrozenSet_New() was accidentally used in PyPy where it is missing from the C-API.
Assignment between some C++ templated types were incorrectly rejected when the templates mix const with ctypedef.
Undeclared C++ no-args constructors in subclasses could make the compilation fail if the base class constructor was declared without nogil.
Bytes %-formatting inferred basestring (bytes or unicode) as result type in some cases where bytes would have been safe to infer.
None was accidentally disallowed as typed return value of dict.pop().
The voodoo that checks this now keeps track of which packages caused
what, and in addition to the list FORCED_PKGSRC of packages that have
been forced to non-builtin, it also produces a list FORCED_PKGSRC_REASONS
of the form pkg:causing-pkg{,causing-pkg...}.
(which means that USE_BUILTIN.pkg has been set to no because
USE_BUILTIN.causing-pkg is set to no.)
This could probably just be one list but I'm not sure if anything is
relying on the format of the current FORCED_PKGSRC.
An alternative approach to non-standard evaluation using
formulas. Provides a full implementation of LISP style
'quasiquotation', making it easier to generate code with other code.
