e52ece5aed
README updates
...
- replace danceos.org links (danceos.org is permanently out of
service)
- add dissertation link
This fixes #10 .
Change-Id: I27278db1b36f94727a710ea7998374ecf5a60297
2021-08-01 23:56:47 +02:00
25d153e037
README updates (publications, Docker note)
...
Change-Id: Iaac09495245bfebe0809999854c480b848ea49fb
2020-03-17 10:40:37 +01:00
b5aaddcb8f
new publications using FAIL*
...
Change-Id: Idf4bb22712475d5a6df182bb7ad19729e81c4591
2016-07-26 17:41:32 +02:00
d3d2faf680
globally rename Fail* to FAIL*
...
Change-Id: Ief2cb687cc69dd92c2e04f9314f0f1347e0a84ed
2016-07-26 17:41:32 +02:00
9a7e07986b
publication update
...
Change-Id: I6a8d32fc2739dc5dba817507321bd395684860aa
2015-11-14 15:41:56 +01:00
32b11b35d8
publication update
...
Change-Id: I4070f0846ee04376e74ed39cfb37cc8b78763ddd
2015-07-23 23:41:51 +02:00
e59918b6df
more papers using Fail*
...
Change-Id: I9737c3304dfa5e265786cd2bab5d59ab282fc25a
2015-04-01 13:59:17 +02:00
80da913264
README: publications update
...
Change-Id: I4794dbba1e1fc28398bd040a5ffbc4ff821e5a6c
2015-01-11 18:47:37 +01:00
065d534735
Added README and Licensing information
...
Change-Id: I53301dedc4759186d637fb07bb214482851ecad7
2014-11-03 13:10:12 +01:00
