| Port details |
- hs-syfco Synthesis Format Conversion Tool
- 1.1.34 math
 =2      1.1.34Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2022-10-29 07:09:18
- Last Update: 2024-03-02 09:20:59
- Commit Hash: 7f17cdc
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- Also Listed In: haskell lang
- License: MIT
- WWW:
- https://github.com/reactive-systems/syfco
- Description:
- The tool interprets the high level constructs of TLSF 1.1 (functions, sets, ...)
and supports the transformation of the specification to Linear Temporal Logic
(LTL) in different output formats. The tool has been designed to be modular with
respect to the supported output formats and semantics. Furthermore, the tool
allows to identify and manipulate parameters, targets and semantics of a
specification on the fly. This is especially thought to be useful for
comparative studies, as they are for example needed in the Synthesis
Competition.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/hs-syfco/ && make install clean
- To add the package, run one of these commands:
- pkg install math/hs-syfco
- pkg install hs-syfco
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: hs-syfco
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1666983297
SHA256 (cabal/convertible-1.1.1.1/convertible-1.1.1.1.tar.gz) = 991ebd70e413dc7314d3d34fddaa1ad34a837aea48cb8117e1b323f403348cef
SIZE (cabal/convertible-1.1.1.1/convertible-1.1.1.1.tar.gz) = 14071
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:
-
- ghc-9.4.8 : lang/ghc94
- cabal : devel/hs-cabal-install
- Library dependencies:
-
- libgmp.so : math/gmp
- libffi.so : devel/libffi
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- math_hs-syfco
- USES:
- cabal
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.
