Project

General

Profile

Download (547 Bytes) Statistics
| Branch: | Tag: | Revision:

# Date Author Comment
5cd53307 04/25/2017 09:40 AM Pierre-Loïc Garoche

Updated deps: requires ocamlgraph as an ocamlfind package

ca88e660 01/08/2016 05:37 PM Pierre-Loïc Garoche

Resolved conflict when merging salsa with horn_encoding. The current branch is the most updated.

f0bff3e5 01/08/2016 01:41 PM Pierre-Loïc Garoche

Merge branch 'salsa' into merge_salsa_horn_2
Postponed conflicts to be solved
Conflicts:
src/_tags
src/backends/Horn/horn_backend.ml
src/machine_code.ml
src/main_lustre_compiler.ml
src/myocamlbuild.ml.in
src/optimize_machine.ml

92aa8330 01/07/2016 04:40 PM Pierre-Loïc Garoche

Using ocamlfind to link with ocamlgraph

f6acf47b 11/26/2015 06:17 PM Pierre-Loïc Garoche

Plugin based framework

53206908 11/26/2015 04:45 PM Xavier Thirioux

major branche merging salsa/mpfr with trunk

bed8ea64 12/09/2014 01:41 PM Pierre-Loïc Garoche

Moved Makefile into src folder