Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 19, 2019

• Added a new map implementation based on sorted list of tuples.

  

  depedro

  committed
  9dbe290

  Copy full SHA for 9dbe290

Commits on Sep 9, 2018

• erc721: add solidity file

  

  Haozhong Zhang

  committed
  8f1a63e

  Copy full SHA for 8f1a63e

• erc20_upgradable: add solidity files

  

  Haozhong Zhang

  committed
  bea6817

  Copy full SHA for bea6817

Commits on Aug 28, 2018

• Merge pull request #13 from hzzhang/mapping

  Show description for 4f25d75
  hzzhang

  authored
  4f25d75

  Copy full SHA for 4f25d75

• libs/wip: prove lemma filter_false_not_in

  

  Haozhong Zhang

  committed
  f9e87e5

  Copy full SHA for f9e87e5

• libs/wip: add lemma filter_nil

  

  Haozhong Zhang

  committed
  9afa366

  Copy full SHA for 9afa366

• libs/wip: add lemma filter_not_in_eqke

  

  Haozhong Zhang

  committed
  c3a4832

  Copy full SHA for c3a4832

• libs/wip: rename lemma filter_not_in into filter_not_in_eqk

  

  Haozhong Zhang

  committed
  a81b22e

  Copy full SHA for a81b22e

• libs/wip: add lemmas find_eq and in_find

  

  Haozhong Zhang

  committed
  5a92270

  Copy full SHA for 5a92270

• libs/wip: rename not_in*_not_in* lemmas

  Show description for 997e41c
  

  Haozhong Zhang

  committed
  997e41c

  Copy full SHA for 997e41c

Commits on Aug 25, 2018

• libs/wip: prove filter_true_in

  

  Haozhong Zhang

  committed
  d71b970

  Copy full SHA for d71b970

• libs/wip: prove filter_nodup

  

  Haozhong Zhang

  committed
  86879c5

  Copy full SHA for 86879c5

• libs/wip: prove filter_not_in

  

  Haozhong Zhang

  committed
  5bee6f1

  Copy full SHA for 5bee6f1

• libs/wip: prove filter_empty

  

  Haozhong Zhang

  committed
  e3e5198

  Copy full SHA for e3e5198

Commits on Aug 24, 2018

• Merge pull request #12 from hzzhang/erc721

  Show description for 8fd2809
  hzzhang

  authored
  8fd2809

  Copy full SHA for 8fd2809

• libs/wip: add missing license headers

  

  Haozhong Zhang

  committed
  d36e1b2

  Copy full SHA for d36e1b2

• erc721: add definitions and proofs of a basic erc721 contract

  Show description for 5f73678
  

  Haozhong Zhang

  committed
  5f73678

  Copy full SHA for 5f73678

• Merge pull request #11 from hzzhang/erc20-upgradable

  Show description for 59d009c
  hzzhang

  authored
  59d009c

  Copy full SHA for 59d009c

• libs/wip: add missing license headers

  

  Haozhong Zhang

  committed
  9997dc7

  Copy full SHA for 9997dc7

• erc20_upgradable: add definitions and proofs of an upgradable erc20 contract

  

  Haozhong Zhang

  committed
  9160512

  Copy full SHA for 9160512

• libs/wip: add new library files

  Show description for 94e011a
  

  Haozhong Zhang

  committed
  94e011a

  Copy full SHA for 94e011a

• libs: relocate library files to a sub-directory

  Show description for 28ffd1a
  

  Haozhong Zhang

  committed
  28ffd1a

  Copy full SHA for 28ffd1a

Commits on Aug 1, 2018

• Merge pull request #10 from hzzhang/sol

  Show description for 68a6d2a
  hzzhang

  authored
  68a6d2a

  Copy full SHA for 68a6d2a

• erc20_pausable: add the solidity code of the proved contract

  

  Haozhong Zhang

  committed
  fca487e

  Copy full SHA for fca487e

• erc20_mintable: add the solidity code of the proved contract

  

  Haozhong Zhang

  committed
  d14c331

  Copy full SHA for d14c331

Commits on Jul 30, 2018

• Merge pull request #9 from hzzhang/fix-cleanup

  Show description for ea6f9d3
  hzzhang

  authored
  ea6f9d3

  Copy full SHA for ea6f9d3

• erc20_lockable: clean Print commands

  

  Haozhong Zhang

  committed
  9932aa6

  Copy full SHA for 9932aa6

• Makefile: fix path to the lockable ERC20 contract proof

  

  Haozhong Zhang

  committed
  fd5f7f6

  Copy full SHA for fd5f7f6

Commits on Jul 28, 2018

• erc20_lockable: add proof of lockable ERC20 contract

  10to4

  committed
  c6f6e8b

  Copy full SHA for c6f6e8b

Commits on Jul 24, 2018

• DSL2: add while statement, breaking proofs

  liyishuai

  committed
  3a467c1

  Copy full SHA for 3a467c1

Commits on Jul 21, 2018

• unemploy BNat in dsl_op, use boolean valued functions in Nat instead

  Flareon-eevee

  committed
  599d7ed

  Copy full SHA for 599d7ed

• proved remaining functions in DSL2.v satisfying their specs

  Flareon-eevee

  committed
  8e9ddb6

  Copy full SHA for 8e9ddb6

Commits on Jul 20, 2018

• Merge pull request #7 from Hanru-Jiang/master

  Show description for a1fb93b
  hzzhang

  authored
  a1fb93b

  Copy full SHA for a1fb93b

• ported dsl_sat_spec from DSL.v, proved corresponding specs for transferFrom

  Flareon-eevee

  committed
  12b6852

  Copy full SHA for 12b6852

• ported from DSL.v, proved corresponding specs for

  Flareon-eevee

  committed
  32fbad5

  Copy full SHA for 32fbad5

Pagination

Previous

Next