Commit Graph

3 Commits

Author SHA1 Message Date
Dave Halter
6e184bca97 Remove most version_info.major usages 2020-07-02 03:00:01 +02:00
Dave Halter
d7d9c9642a Don't use goto_definitions anymore, use infer 2019-12-20 19:06:24 +01:00
Dave Halter
e4d1e5455f test_evaluate -> test_inference 2019-08-14 23:56:44 +02:00