Release v0.1.1

 * rewrite orchestrator in golang
 * netfilter-based inspector
 * MongoDB event history storage

README.md

@@ -8,16 +8,17 @@ Earthquake is a dynamic model checker (DMCK) for real implementations of distrib
 [http://osrg.github.io/earthquake/](http://osrg.github.io/earthquake/)
 
 Earthquakes permutes C/Java function calls, Ethernet packets, and injected fault events in various orders so as to find implementation-level bugs of the distributed system.
-When Earthquake finds a bug, Earthquake automatically records [the event history](example/zk-found-bug.ryu_pyeq/example-output/3.REPRODUCED/json) and helps you to analyze which permutation of events triggers the bug.
+When Earthquake finds a bug, Earthquake automatically records [the event history](example/zk-found-2212.ryu) and helps you to analyze which permutation of events triggers the bug.
 
 Basically, Earthquake permutes events in a random order, but you can write your [own state exploration policy](doc/arch.md) (in Go or Python) for finding deep bugs efficiently.
 
 ## News
-We have successfully found a distributed race condition bug of ZooKeeper using Earthquake.
+ * Earthquake will be presented at the poster session of [ACM Symposium on Cloud Computing (SoCC)](http://acmsocc.github.io/2015/). (August 27-29, 2015, Hawaii)
+ * We have successfully found a distributed race condition bug of ZooKeeper using Earthquake.
 Please refer to [example/zk-found-2212.ryu](example/zk-found-2212.ryu) for further information.
 
 ## Quick Start
-NOTE: [v0.1](https://github.com/osrg/earthquake/releases/tag/v0.1) might be stabler than the master branch.
+NOTE: [v0.1.1](https://github.com/osrg/earthquake/releases/tag/v0.1.1) might be stabler than the master branch.
 
  * How to set up the environment: [doc/how-to-setup-env.md](doc/how-to-setup-env.md)
  * Example: Finding a distributed race condition bug of ZooKeeper([ZOOKEEPER-2212](https://issues.apache.org/jira/browse/ZOOKEEPER-2212)): [example/zk-found-2212.ryu](example/zk-found-2212.ryu)

inspector/java/base/pom.xml

@@ -4,7 +4,7 @@
 
   <groupId>net.osrg</groupId>
   <artifactId>earthquake</artifactId>
-  <version>0.0.1</version>
+  <version>0.1.1</version>
   <packaging>jar</packaging>
 
   <name>Earthquake Inspector (Java)</name>

libearthquake/main.go

@@ -23,7 +23,7 @@ import (
 )
 
 func main() {
-	c := cli.NewCLI("earthquake", "0.0.0")
+	c := cli.NewCLI("earthquake", "0.1.1")
 	c.Args = os.Args[1:]
 	c.Commands = map[string]cli.CommandFactory{
 		"tools":  toolsCommandFactory,