Project

General

Profile

Download (7.35 KB) Statistics
| Branch: | Tag: | Revision:

# Date Author Comment
e77a0fa5 10/06/2021 11:25 AM Lélio Brun

fix handling of state variables in spec expressions

4fef1a04 09/23/2021 05:51 PM Lélio Brun

proper generation of stateful contracts

5b98398a 07/29/2021 04:02 PM Lélio Brun

first version working with stateless contracts

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