Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
20 lines (18 sloc) 841 Bytes
OASISFormat: 0.4
Name: fact
Version: 0.1
Synopsis: Compiler for the FaCT programming language
Authors: Gary Soeller, Sunjay Cauligi, Brian Johannesmeyer, Ariana Mirian, Yunlu Huang, Ranjit Jhala, Deian Stefan
Homepage: https://github.com/PLSysSec/FaCT
License: MIT
Plugins: META (0.4), DevFiles (0.4)
BuildDepends: llvm, llvm.analysis, llvm.bitwriter, llvm.executionengine, llvm.target, llvm.passmgr_builder, llvm.irreader, llvm.linker, llvm.transform_utils, llvm.scalar_opts, llvm.vectorize, llvm.ipo, core, threads, ppx_deriving.std, lwt.unix, ANSITerminal, dolog, str, z3
OCamlVersion: >= 4.06
AlphaFeatures: ocamlbuild_more_args
XOCamlbuildPluginTags: package(cppo_ocamlbuild)
PostCleanCommand: rm -f factc
Executable fact
Path: src
BuildTools: ocamlbuild
MainIs: fact.ml
Custom: true
You can’t perform that action at this time.