7 Commits

Author	SHA1	Message	Date
Dave Halter	d7d9c9642a	Don't use goto_definitions anymore, use infer	2019-12-20 19:06:24 +01:00
Dave Halter	7f8ba17990	Get rid of all completions usages	2019-12-20 17:47:37 +01:00
Dave Halter	26b49f8d01	Make the profile_output script usable for Python 2 as well	2018-12-11 00:11:49 +01:00
Dave Halter	2b268435c4	Make some profile output better	2018-12-01 13:35:29 +01:00
Dave Halter	07d48df314	Make it possible to have higher precision with pstats displayed	2018-12-01 11:45:09 +01:00
Dave Halter	2eb5e9b42d	Improve the profiling script	2018-11-28 22:48:13 +01:00
Dave Halter	f6f2765ab9	Rename the profile script to profile_output to avoid name clashes with the stdlibs profile.py.	2017-03-31 17:27:16 +02:00