60 Commits (21dd648732d2119f37eec73ec7744982ddf7d660)

Author SHA1 Message Date
  Ethan Frey cfc3f24751 Everything compiles, test proof in dummy app 8 years ago
  Ethan Frey 58ea995032 Begin adding proof calls 8 years ago
  Tzu-Jung Lee 9134905f42 cleanup: replace common.Exit with log.Crit or log.Fatal 8 years ago
  Tzu-Jung Lee 1150bbfe36 lint: s/common.Fmt/fmt.Sprintf 8 years ago
  Tzu-Jung Lee fcaa545e1e lint: remove dot import (go-common) 8 years ago
  Ethan Buchman 42b7bfbf0c update version and glide 8 years ago
  Ethan Buchman 5189a2248d TMSP -> ABCI 8 years ago