libSML is a library which implements the Smart Message Language
(SML) protocol specified by VDE's Forum Netztechnik/Netzbetrieb
(FNN). It can be utilized to communicate to FNN specified Smart
Meters or Smart Meter components (EDL/MUC).
WWW: https://github.com/volkszaehler/libsml
PR: 227367
Submitted by: Gerrit Beine <mail+freebsd@gerritbeine.de>
An efficient open-source automatic theorem prover for satisfiability modulo
theories (SMT) problems. It can be used to prove the validity (or, dually, the
satisfiability) of first-order formulas in a large number of built-in logical
theories and their combination.
WWW: https://cvc4.cs.stanford.edu/web/
PR: 227702
Submitted by: Greg V <greg@unrelenting.technology>
- Set required GCC version to 6+, so that the default gcc version is chosen.
GCC isn't needed to successfully building the port, but according to upstream
using the gcc compiled version is 60-70% faster than the clang compiled
version.
- Bump PORTREVISION
PR: 228747
Submitted by: Michael Danilov <mike.d.ft402@gmail.com>
Test::Mock::Redis can be used in place of Redis for running tests
without needing a running redis instance. This module is designed
to function as a drop in replacement for Redis.pm for testing
purposes.
WWW: https://metacpan.org/release/Test-Mock-Redis
PR: 229196
Submitted by: Tomohiro Hosaka <bokutin@bokut.in>
Plugin for Test::Deep to compare unordered lists of tuples.
This module provides the sub unordered_pairs (and tuples, samehash,
as synonyms) to indicate the data being tested is a list of pairs
that should be tested where the order of the pairs is insignificant.
WWW: https://metacpan.org/release/Test-Deep-UnorderedPairs
PR: 229195
Submitted by: Tomohiro Hosaka <bokutin@bokut.in>
- Drop bogus FLUIDSYNTH option (MIDI support was removed in 1.17.0)
- The sndio backend is missing capture support. This can lead to crashes
when there is no usable fallback backend available. As a workaround
always enable the OSS backend when the sndio backend is wanted.
- Prioritize sndio over OSS when it's enabled which should
make it unnecessary to fiddle with config files when building
with both SNDIO and OSS.
- Turn off dynamically loading backend libs via dlopen
- Correct lib depends
- Update pkg-descr
- Take maintainership
- Fix optimize length being ignored in QRCode.add_data.
- Better calculation of the best mask pattern and related
optimizations.
Reviewed by: matthew (mentor)
Approved by: matthew (mentor)
Differential Revision: https://reviews.freebsd.org/D15930
Holdover from D15876 interim state
Reported by: bdrewery
Reviewed by: mat (mentor)
Approved by: mat (mentor)
Sponsored by: Smule, Inc.
Differential Revision: https://reviews.freebsd.org/D15934
