554 Commits

Author	SHA1	Message	Date
Dave Halter	a5dff65142	Evaluator -> InferState	2019-08-15 00:37:51 +02:00
Dave Halter	8157d119a7	eval_ -> infer_	2019-08-15 00:20:01 +02:00
Dave Halter	199799a966	Rename some functions -> evaluate_ to infer_	2019-08-15 00:15:38 +02:00
Dave Halter	3b4f292464	Move the evaluate package to inference	2019-08-15 00:14:26 +02:00