https://github.com/AU-COBRA/ConCert
Tip revision: 3382e48f12d66f18c49ca20d9094d5864c4bb8a9 authored by 4ever2 on 24 May 2022, 20:50:09 UTC
Dexter1 tests (#171)
Dexter1 tests (#171)
Tip revision: 3382e48
| File | Mode | Size |
|---|---|---|
| bat | ||
| boardroomVoting | ||
| cis1 | ||
| congress | ||
| counter | ||
| crowdfunding | ||
| dexter | ||
| dexter2 | ||
| eip20 | ||
| escrow | ||
| exchangeBuggy | ||
| fa1_2 | ||
| fa2 | ||
| iTokenBuggy | ||
| stackInterpreter | ||
| AllTests.v | -rw-r--r-- | 20.0 KB |
| Makefile | -rw-r--r-- | 724 bytes |
| _CoqProject | -rw-r--r-- | 3.4 KB |
