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

# Date Author Comment
bde99c3f 04/06/2017 04:27 PM Xavier Thirioux

This is the first merge that does compile. Not tested yet.

a69af35f 03/20/2017 02:20 PM Pierre-Loïc Garoche

another issue with an old merge: missing nums dep

301f18e6 02/01/2017 12:21 AM Teme Kahsai

remove deps

5fb5b031 01/31/2017 01:40 AM Pierre-Loïc Garoche

cosmetic changes

dcafc99b 01/11/2017 12:28 AM Pierre-Loïc Garoche

Merge branch 'github_master' into integ_github_jan10
Intregrate all modifs by Teme et al

0bb94b98 01/04/2017 12:28 AM Pierre-Loïc Garoche

I can't recall where we use ocamlgraph

85a6f473 09/30/2016 06:41 PM Teme Kahsai

adding onera automata version

e2068500 05/05/2015 01:54 AM Teme Kahsai

first commit

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

Moved Makefile into src folder

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e