Update README.md

cksystemsgroup · Aug 11, 2015 · 50fa935 · 50fa935
1 parent 2d28a93
commit 50fa935
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -7,16 +7,19 @@ allocators (including scalloc) and evaluate them in various benchmarks.
 
 ## Evaluation
 
-The current stable release for the artifact is 1.0.1.
+The current stable release for the artifact is 1.2
 
 The artifact has been tested on Ubuntu 14.04 LTS.
 
+See the [manual](doc/manual.pdf) for instructions on how to set up and use the
+artifact.
+
 The following commands can be used to prepare a new artifact environment
 
 ```bash
 git clone https://github.com/cksystemsgroup/scalloc-artifact.git
 cd scalloc-artifact
-git checkout 1.0.1
+git checkout 1.2
 tools/make_deps.sh
 tools/create_env.sh
 ```