Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
access.ml 3.71 KB d978c46e about 1 year Lélio Brun start instrumenting the main C function
access.mli 48 Bytes cc852504 about 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
algebraicLoop.ml 15.8 KB d29fbec5 11 months Lélio Brun working version for stateful contracts
algebraicLoop.mli 108 Bytes cc852504 about 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
liveness.ml 12.2 KB d29fbec5 11 months Lélio Brun working version for stateful contracts
liveness.mli 701 Bytes 17d63fff 10 months Lélio Brun remove unused variables after tag elimination i...
stateless.ml 5.43 KB d29fbec5 11 months Lélio Brun working version for stateful contracts
stateless.mli 361 Bytes cc852504 about 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...

Latest revisions

# Date Author Comment
17d63fff 10/22/2021 02:57 PM Lélio Brun

remove unused variables after tag elimination in machine code (-O >= 3)

d29fbec5 09/27/2021 01:36 PM Lélio Brun

working version for stateful contracts

478edbed 09/23/2021 04:40 PM Lélio Brun

proper handling of stateless nodes and automata

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

2926ceee 06/29/2021 06:03 PM Lélio Brun

mli additions complete

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

ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting

7ee5f69e 05/04/2021 10:20 AM Lélio Brun

corrections on loggers + spec in AST

View revisions

Also available in: Atom