76a7425 | Raphael Cauderlier | 17 September 2018, 16:09:34 UTC | Add some comments | 12 March 2019, 14:36:44 UTC |
0911651 | Raphael Cauderlier | 17 September 2018, 14:07:07 UTC | [README] Style | 12 March 2019, 14:36:44 UTC |
7fde4f5 | Raphael Cauderlier | 17 September 2018, 14:01:51 UTC | Add some documentation | 12 March 2019, 14:36:44 UTC |
9e2186a | Raphael Cauderlier | 17 September 2018, 12:11:09 UTC | Add the slides of today's presentation | 12 March 2019, 14:36:44 UTC |
ff33b5c | Raphael Cauderlier | 17 September 2018, 12:08:15 UTC | Move code to the src directory | 12 March 2019, 14:36:44 UTC |
58dc95c | rafoo | 16 September 2018, 12:32:04 UTC | Add LICENSE | 12 March 2019, 14:36:44 UTC |
fa36f83 | Raphael Cauderlier | 09 September 2018, 20:15:16 UTC | Update to current status of Michelson | 12 March 2019, 14:36:44 UTC |
b2146ef | Raphael Cauderlier | 16 August 2018, 18:29:01 UTC | Trailing whitespace | 12 March 2019, 14:36:44 UTC |
6e946a3 | Raphael Cauderlier | 24 May 2018, 11:33:55 UTC | Syntax, typing, and operational semantics of the Michelson language in Coq | 12 March 2019, 14:36:44 UTC |
3e98c08 | Benjamin Canou | 12 March 2019, 13:33:01 UTC | Initial commit | 12 March 2019, 13:33:01 UTC |