| Port details |
- tla+ TLC is a model checker for specifications written in TLA+
- 1.7.4 devel
 =0      Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one. - Maintainer: patmaddox@FreeBSD.org
- Port Added: 2026-07-10 18:00:07
- Last Update: 2026-07-10 17:56:52
- Commit Hash: 50fc7f3
- Also Listed In: java
- License: MIT
- WWW:
- https://www.tlapl.us
- Description:
- TLA+ is a language for modeling software above the code level and
hardware above the circuit level. The tool most commonly used by
engineers is the TLC model checker, but there is also a proof
checker. TLA+ is based on mathematics and does not resemble any
programming language. Most engineers will find PlusCal to be the
easiest way to start using TLA+.
This port installs the TLA+ command-line tools packaged as
tla2tools.jar, with wrapper scripts for each:
tla-tlc - the TLC model checker, which explores a
specification's state space to check safety and
liveness properties
tla-sany - the SANY syntactic and semantic analyzer (parser)
tla-tla2sany - export a parsed TLA+ module as an XML parse tree
tla-pcal - the PlusCal-to-TLA+ translator
tla-tla2tex - the LaTeX pretty printer for TLA+ specifications
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/tla+/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/tla+
- pkg install tla+
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: tla+
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1783641600
SHA256 (tlaplus-tlaplus-v1.7.4_GH0.tar.gz) = eb4e54b6c8dc4945cbd697dbfe55819b6fc3f13fe9561afd7d6523c18ea4c350
SIZE (tlaplus-tlaplus-v1.7.4_GH0.tar.gz) = 72966127
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- java : java/openjdk11
- ant : devel/apache-ant
- Runtime dependencies:
-
- java : java/openjdk11
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- devel_tla+
- USES:
- java:ant,run
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 1
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
1.7.4
10 Jul 2026 17:56:52
 |
Pat Maddox (patmaddox) |
devel/tla+: new port
TLA+ is a language for modeling software above the code level and
hardware above the circuit level. The tool most commonly used by
engineers is the TLC model checker, but there is also a proof
checker. TLA+ is based on mathematics and does not resemble any
programming language. Most engineers will find PlusCal to be the
easiest way to start using TLA+.
The graphical TLA Toolbox IDE is not included. It is a separate
Eclipse RCP application that would be better as its own port.
WWW: https://www.tlapl.us
Approved by: dch (mentor)
Reviewed by: arrowd
Pull Request: https://github.com/freebsd/freebsd-ports/pull/554 |
Number of commits found: 1
|
As an Amazon Associate I earn from qualifying purchases.