From 8f52e2607682db5c8558097c562c6e6318a7a573 Mon Sep 17 00:00:00 2001
From: Iago Abal <mail@iagoabal.eu>
Date: Sun, 29 Apr 2018 23:26:13 +0200
Subject: [PATCH] Changelog for v0.1

---
 CHANGES.md | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index e3237bd..6ce7bd6 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1 +1,10 @@
-No releases yet.
+# Changelog
+
+## 0.1
+
+EBA is a prototype bug-finder for C, originally developed by Iago Abal during his PhD at the IT University of Copenhagen (2013--2017).
+This release is a cleaned up version of that very first research prototype.
+
+A [VMCAI paper](http://dl.iagoabal.eu/eba/vmcai.pdf), and ultimately [Iago's thesis](https://pure.itu.dk/ws/files/83014638/PhD_Thesis_Final_Version_Iago_Abal_Rivas.pdf), elaborate on the theoretical foundations behind EBA.
+
+Special mention to the Danish Council for Independent Research that funded this project, and to prof. Andrzej Wasowski and assoc. prof. Claus Brabrand who advised Iago during his 3-year PhD journey. Many thanks!