GitXplorerGitXplorer
m

eth-fstar

public
2 stars
2 forks
0 issues

Commits

List of commits on branch master.
Unverified
8f8dbab8de7807393c0bdc3634384a08d6c3b3ce

increment and decrement operators

mmrsmkl committed 8 years ago
Unverified
530ead37076e8d8fc091d0c9603cd9c7a1fdd08f

default values and initial state

mmrsmkl committed 8 years ago
Unverified
94023cbabdab28c742c71ec02d4deb7705b1f139

send and transfer (simple versions)

mmrsmkl committed 8 years ago
Unverified
dad2351a5170172e0ce4d27f700805502a5ab5ad

auction sample now compiles

mmrsmkl committed 8 years ago
Unverified
d9060912c0c3d7caef644eaed513516f36ac889a

events

mmrsmkl committed 8 years ago
Unverified
bd2a3d4d7a687dbd5e7593e1ab131626614b0997

ballot sample now compiles (with small modifications)

mmrsmkl committed 8 years ago