Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends @ f51926b8

Name Size Revision Age Author Comment
  Ada 70710795 over 3 years Lélio Brun first draft with translated cocospec
  C f51926b8 over 3 years Lélio Brun no need to reschedule in order to "clock-protec...
  EMF 70710795 over 3 years Lélio Brun first draft with translated cocospec
  Horn d978c46e over 3 years Lélio Brun start instrumenting the main C function
  Java d978c46e over 3 years Lélio Brun start instrumenting the main C function
  VHDL d978c46e over 3 years Lélio Brun start instrumenting the main C function
backends.ml 1.16 KB cc852504 over 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
backends.mli 149 Bytes cc852504 over 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...

Latest revisions

# Date Author Comment
f51926b8 09/07/2021 04:10 PM Lélio Brun

no need to reschedule in order to "clock-protect" the unitialized state variables in ACSL !
70710795 08/25/2021 12:00 PM Lélio Brun

first draft with translated cocospec
5b98398a 07/29/2021 04:02 PM Lélio Brun

first version working with stateless contracts
f1518c7c 07/05/2021 03:42 PM Lélio Brun

more precise spec for stdout
18dada08 07/01/2021 01:56 PM Lélio Brun

working spec in the main function
d978c46e 06/30/2021 06:10 PM Lélio Brun

start instrumenting the main C function
cc852504 06/30/2021 11:21 AM Lélio Brun

comment dead code with (* XXX: UNUSED *) disclaimer
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

View revisions

Also available in: Atom