Fialyzer Save
[WIP] Faster Implementation of Dialyzer
Project README
fialyzer
Faster Implementation of Dialyzer
How to Use
Using Docker
docker run --rm -v $(pwd):/home/opam/fialyzer yoshihiro503/fialyzer --plt <plt_file> <beam_files>
Commandline Options
| Option | Description |
|---|---|
--plt <plt_file> |
Use the specified plt as the initial plt (optional) |
--debug |
Print debug logs (optional) |
--help |
Display this list of options |
How to Build (for developers)
Prerequisite
- ocaml-4.07.0 or higher
- opam-2.0.0 or higher
- GMP
- Perl
- odoc (optional, for
make odoc) - Erlang/OTP (optional, for
make test) - Docker (optional, for
make pdf)
Build
# If you prefer to use per-package environment, do:
$ opam switch create fialyzer ocaml-base-compiler.4.07.1
$ eval $(opam env)
# Clone repo:
$ git clone [email protected]:dwango/fialyzer.git
$ cd fialyzer
# Install dependencies:
$ opam pin add -y fialyzer .
# Build package:
$ make
Open Source Agenda is not affiliated with "Fialyzer" Project. README Source: dwango/fialyzer
Stars
56
Open Issues
30
Last Commit
1 month ago
Repository
License
Homepage
Tags
Open Source Agenda Badge
