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 54fd3235 almost 5 years Teme Kahsai fixed matlab output
  Horn c97b8302 almost 5 years Teme Kahsai enabling math and conv library for horn backend
  Java a2d97a3e over 7 years Pierre-Loïc Garoche Updated the licence info and header for each fi...

Latest revisions

# Date Author Comment
c97b8302 02/24/2017 06:14 PM Teme Kahsai

enabling math and conv library for horn backend

54fd3235 02/15/2017 11:08 PM Teme Kahsai

fixed matlab output

1d3f1a9d 02/13/2017 11:06 PM Teme Kahsai

new line in horn

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)

View revisions

Also available in: Atom