CVE and update status of the FreeBSD ports tree4,826 unaddressed CVEs in 618 portsAll times are CET

Port details

lang/trealla-prolog3.10.19

Compact, efficient Prolog interpreter written in plain-old C

0
unaddressed
0
VuXML only, still affected
0
fixed
Maintainer
siva@FreeBSD.org
Packages
trealla-prolog 3.10.19
Upstream
Higher version available: 3.14.10
CPE
none, CVEs only via VuXML
WWW
https://github.com/trealla-prolog/trealla/
Links
cgit · VuXML

Unaddressed (0) · The CVE record lists this version as affected, no VuXML entry names the CVE

None. There is no CVE without a VuXML entry for this version.

VuXML only (0) · listed, port not fixed yet

None. pkg audit reports nothing for this version.

Fixed (0)

No VuXML entries for this package.

Commits (5)

Siva Mahadevan (siva) · 3.10.19
lang/trealla-prolog: upgrade to 3.10.19

While here, add PORTSCOUT=ignore:1.
c6a5bf20b9
Siva Mahadevan (siva) · 3.9.17
lang/trealla-prolog: update to 3.9.17
b765035495
Siva Mahadevan (siva) · 2.90.9
lang/trealla-prolog: update to 2.90.9

Approved by:	lwhsu (mentor, implicitly)
Sponsored by:	The FreeBSD Foundation
5eafbe4a88
Siva Mahadevan (siva) · 2.68.20
*/*: update my maintainer email address

Approved by:		lwhsu (mentor)
Signed-off-by:		Siva Mahadevan <siva@FreeBSD.org>
Sponsored by:		The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D54860
46629a5385
Wen Heping (wen) · 2.68.20
lang/trealla-prolog: New port

A compact, efficient Prolog interpreter with ISO Prolog aspirations.

MIT licensed
Integers & Rationals are unbounded
Atoms are UTF-8 of unlimited length
The default double-quoted representation is *chars* list
Strings & slices are super-efficient (especially with mmap'd files)
REPL with history
Runs on Linux, Android, FreeBSD, macOS, and WebAssembly (WASI) & Go
API for calling from C (or by using WASM from Go & JS)
Foreign function interface (FFI) for calling out to user code
Access SQLITE databases using builtin module (uses FFI)
Concurrency via tasks / linda / futures / engines (generators)
Pre-emptive multi-threading
Blackboarding primitives
...
FFIs for GNU Scientific Library (GSL), SQLite, Raylib
Delimited continuations ##EXPERIMENTAL##
Rational trees ##EXPERIMENTAL##
CLP(Z) ##EXPERIMENTAL##
PR:		286272
Reported by:	Siva Mahadevan <me@svmhdvn.name>
3c6713efe5