Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  C c85f5fa5 almost 5 years Pierre-Loïc Garoche Starting to initiate a node spec aware backend
  EMF 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
  Horn 92ff8f1b almost 5 years Teme Kahsai fix tracebility
  Java a2d97a3e over 7 years Pierre-Loïc Garoche Updated the licence info and header for each fi...

Latest revisions

# Date Author Comment
7d62bf41 03/20/2017 11:59 AM Pierre-Loïc Garoche

Merged code

8097e62b 02/03/2017 08:18 PM Pierre-Loïc Garoche

Merge branch 'seahorn_backend' of https://cavale.enseeiht.fr/git/lustrec into seahorn_backend

2e1ef4ca 02/01/2017 07:20 PM Pierre-Loïc Garoche

Changed the matlab function backend

81b1caa0 02/01/2017 12:22 AM Teme Kahsai

Merge branch 'master' into seahorn_backend

92ff8f1b 02/01/2017 12:21 AM Teme Kahsai

fix tracebility

c85f5fa5 01/31/2017 11:38 PM Pierre-Loïc Garoche

Starting to initiate a node spec aware backend

a6df3992 01/31/2017 08:22 PM Pierre-Loïc Garoche

Working on EMF backend to express cocospec infos as Simulink blocks

d7e04983 01/13/2017 01:17 PM Pierre-Loïc Garoche

[Horn] Updated traceability of Horn backend to deal with fby (arrow machines)

042dc586 01/11/2017 10:02 AM Pierre-Loïc Garoche

Revert some ocaml code to ocaml 4.01 compatibility

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

View revisions

Also available in: Atom