7 Commits

Author	SHA1	Message	Date
chriseth	7cb7818cea	Source units are independent scopes.	2015-12-09 19:09:24 +01:00
chriseth	86495dfc57	Make members context-sensitive.	2015-11-26 15:37:55 +01:00
chriseth	907cf28f49	Fix: Cope with non-existing commit hash.	2015-11-02 18:03:04 +01:00
chriseth	56f5d58850	Rename error type.	2015-10-27 17:45:58 +01:00
chriseth	a957322fd7	Preliminary why3 code output.	2015-10-27 00:49:27 +01:00
chriseth	b4f561680a	Store docstrings in AST annotations.	2015-10-26 15:24:36 +01:00
chriseth	e3dffb611f	File reorganisation.	2015-10-21 00:46:01 +02:00