60 Commits (d2845d923b870e9f4656a7e05c669e62ba489115)

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