_oasis

Version: 0.3.5-2

OASISFormat: 0.4 
Name: electrumAnalyzer
Synopsis: Formal analysis for the Electrum formal specification language
Authors:
  David Chemouil,
  Julien Brunel,
  Denis Kuperberg
Maintainers:
  david.chemouil+electrum@onera.fr,
  julien.brunel+electrum@onera.fr
Copyrights: 
  (C) 2014-2016 Onera
  (C) 2015 IRIT
License: GPL-3+
LicenseFile: COPYING.txt
Homepage: https://forge.onera.fr/projects/electrum

Synopsis: A tool for the analysis of Electrum formal specifications.

Description: Electrum is a formal specification language based upon
  relational first-order logic (RFOL) and linear temporal logic (LTL),
  mainly inspired by Alloy and TLA+.  Electrum Analyzer is a
  free-software prototype for the analysis of Electrum models: as of
  now, it proceeds by translation into SMV models processable by NuSMV
  and nuXmv.

Plugins: DevFiles (0.4), StdFiles (0.4)
AlphaFeatures:  ocamlbuild_more_args, compiled_setup_ml, stdfiles_markdown

OCamlVersion: >= 4.02

XDevFilesEnableMakefile: true
XDevFilesEnableConfigure: true
XOCamlbuildExtraArgs: 
  -use-ocamlfind -cflags -safe-string,-strict-sequence,-short-paths
  "-use-menhir -menhir 'menhir --infer --unused-token ALL --unused-token ARROW \
  --unused-token SET'" -pkgs pprint,menhirLib,batteries,cmdliner -j 0
#  -classic-display

BuildDepends: pprint, menhirLib (>= 20150720), str, batteries, cmdliner
BuildTools:  ocamlbuild, ocamlfind 

Flag warnings
  Description: Activate all compilation warnings.
  Default: false

Flag profiling
  Description: Activate profiling (native only).
  Default: false

Executable "electrumAnalyzer"
  Path:       src/main
  MainIs:     electrumAnalyzer.ml
  CompiledObject: best
  Install:    true
  if flag(warnings)
    NativeOpt+: -w A
  if flag(profiling)
    NativeOpt+: -p


SourceRepository head
  Type: git
  Location: https://github.com/grayswandyr/electrumAnalyzer.git
  Browser: https://forge.onera.fr/projects/electrum
  Branch: master


SourceRepository official
  Type: git
  Location: https://git.onera.fr/electrum.git
  Browser: https://forge.onera.fr/projects/electrum
  Branch: master