Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends @ a7062da6

Name Size Revision Age Author Comment
  Ada a7062da6 over 3 years Lélio Brun another step towards refactoring
  C a7062da6 over 3 years Lélio Brun another step towards refactoring
  EMF a7062da6 over 3 years Lélio Brun another step towards refactoring
  Horn a7062da6 over 3 years Lélio Brun another step towards refactoring
  Java 50a8778a over 3 years Lélio Brun refactoring first step
  VHDL 50a8778a over 3 years Lélio Brun refactoring first step
backends.ml 1.17 KB 50a8778a over 3 years Lélio Brun refactoring first step
backends.mli 142 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring

Latest revisions

# Date Author Comment
a7062da6 06/28/2021 09:52 PM Lélio Brun

another step towards refactoring
50a8778a 06/25/2021 12:35 PM Lélio Brun

refactoring first step
0406ab94 06/18/2021 06:08 PM Lélio Brun

implement optimization on spec: IT WORKS
27502d69 06/18/2021 12:35 PM Lélio Brun

add memory instances to footprint lemmas
d0f26f04 06/17/2021 07:00 PM Lélio Brun

corrections for stateless nodes
ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting
aaa8e454 06/16/2021 06:44 PM Lélio Brun

it works
c4780a6a 06/15/2021 05:34 PM Lélio Brun

work on new reset functions generation
6d1693b9 06/14/2021 07:06 PM Lélio Brun

work on spec generation almost done
75c459f4 05/04/2021 06:24 PM Lélio Brun

start with Spec AST generation

View revisions

Also available in: Atom