Dave Halter
|
c6d2aa6da2
|
Some small improvements
|
2019-08-16 16:44:03 +02:00 |
|
Dave Halter
|
165639c1dd
|
Start implementing the bulk of the context/value separation
|
2019-08-16 16:12:12 +02:00 |
|
Dave Halter
|
d19233a338
|
Start working on replacing value partially with context
|
2019-08-16 13:00:05 +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
|
21a18c698e
|
Differentiate in finder between get_value_filters and get_global_filters
|
2019-08-15 09:29:08 +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
|
8157d119a7
|
eval_ -> infer_
|
2019-08-15 00:20:01 +02:00 |
|
Dave Halter
|
3b4f292464
|
Move the evaluate package to inference
|
2019-08-15 00:14:26 +02:00 |
|