Commit Graph
10 Commits
Author SHA1 Message Date
chriseth 603dc58040 Simple aliasing during import. 2015-12-18 12:46:56 +01:00
chriseth d3c459b5a9 Parse complex import directives. 2015-12-18 12:46:54 +01:00
chriseth f8228e8ab1 Relative paths in import directives. 2015-12-09 19:21:02 +01:00
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