5 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	03920502c4	infer_state -> inference_state	2019-08-16 11:44:30 +02:00
Dave Halter	ad4f546aca	context -> value	2019-08-15 01:23:06 +02:00
Dave Halter	a5dff65142	Evaluator -> InferState	2019-08-15 00:37:51 +02:00
Dave Halter	e4d1e5455f	test_evaluate -> test_inference	2019-08-14 23:56:44 +02:00