GitHub - Chaarlesss/interproc: bjeannet - Revision 1100: /pkg/interproc/trunk (https://scm.gforge.inria.fr/anonscm/svn/bjeannet/pkg/interproc/trunk/)

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 36 Commits
examples		examples
COPYING		COPYING
Makefile		Makefile
Makefile.config.model		Makefile.config.model
README		README
boolexpr.ml		boolexpr.ml
boolexpr.mli		boolexpr.mli
equation.ml		equation.ml
equation.mli		equation.mli
frontend.ml		frontend.ml
frontend.mli		frontend.mli
interproc.ml		interproc.ml
interproc.mli		interproc.mli
interproc.tex		interproc.tex
interprocweb.ml		interprocweb.ml
interprocweb.mli		interprocweb.mli
mainweb.ml		mainweb.ml
mainwebf.ml		mainwebf.ml
manual.bib		manual.bib
manual.tex		manual.tex
mypanels.hlx		mypanels.hlx
option.ml		option.ml
option.mli		option.mli
pSpl_syn.ml		pSpl_syn.ml
pSpl_syn.mli		pSpl_syn.mli
solving.ml		solving.ml
solving.mli		solving.mli
solvingPolicy.ml		solvingPolicy.ml
solvingPolicy.mli		solvingPolicy.mli
spl_lex.mli		spl_lex.mli
spl_lex.mll		spl_lex.mll
spl_syn.ml		spl_syn.ml
spl_syn.mli		spl_syn.mli
spl_yacc.mly		spl_yacc.mly
syn2equation.ml		syn2equation.ml
syn2equation.mli		syn2equation.mli

Repository files navigation

About
=====
Interprocedural static analyzer for an academic imperative language with
numerical variables and procedure calls.

Required
========
OCaml libraries
  camllib (http://gforge.inria.fr/projects/bjeannet/)
  fixpoint (http://gforge.inria.fr/projects/bjeannet/)
C/OCaml library
  apron (http://svn.cri.ensmp.fr/apron)

OCaml 3.12.0 or up (OCaml 3.11.0 may work, it depends on APRON library) (http://caml.inria.fr) 
Camlidl (http://caml.inria.fr/camlidl)
FINDLIB (http://projects.camlcity.org/projects/findlib.html)
To configure
============
- copy Makefile.config.model into Makefile.config
- set properly the flags (mainly directories).

- BY DEFAULT, domains requiring that APRON to be compiled with PPL are
  *DESACTIVATED*. If you want to activate it, uncomment the last lines
  of frontend.ml

To compile the library:
=======================

make all: build the bytecode and native versions of the library
make install: install the two versions 
make interproc.pdf # documentation of the program
make manual.pdf    # user's manual
make html (html/*) # HTML documentation of the program