15 Commits

Author	SHA1	Message	Date
Dave Halter	02c96b37db	Some more value -> context renames	2019-08-21 09:31:23 +02:00
Dave Halter	84f6d95fde	Fix a python 2 dynamic issue	2019-08-21 09:16:48 +02:00
Dave Halter	caee8e9952	Fix final gradual typing related issues	2019-08-19 19:43:45 +02:00
Dave Halter	f54617867d	Fix dynamic param checking	2019-08-18 18:19:12 +02:00
Dave Halter	a9b1de7060	execution_value -> execution_context	2019-08-17 17:13:29 +02:00
Dave Halter	2629ff55f3	Fix some array tests	2019-08-17 15:42:13 +02:00
Dave Halter	165639c1dd	Start implementing the bulk of the context/value separation	2019-08-16 16:12:12 +02:00
Dave Halter	03920502c4	infer_state -> inference_state	2019-08-16 11:44:30 +02:00
Dave Halter	600272366f	parent_value -> parent_context	2019-08-15 09:36:46 +02:00
Dave Halter	9986d8c9aa	Context -> Value	2019-08-15 01:26:11 +02:00
Dave Halter	49f996867d	NO_CONTEXTS -> NO_VALUES	2019-08-15 01:24:28 +02:00
Dave Halter	ad4f546aca	context -> value	2019-08-15 01:23:06 +02:00
Dave Halter	9e23f4d67b	Move base_context -> base_value	2019-08-15 00:41:02 +02:00
Dave Halter	a5dff65142	Evaluator -> InferState	2019-08-15 00:37:51 +02:00
Dave Halter	3b4f292464	Move the evaluate package to inference	2019-08-15 00:14:26 +02:00