Grigorii Kirgizov
|
b9309e6369
|
Add several tests of incr typecheck on BL. ProgramEvaluator now depends on ProgramProducer.
|
2019-07-26 17:00:31 +02:00 |
|
Grigorii Kirgizov
|
a2672ad20a
|
Include into ProgramGenInfo info about node parents.
This info about AST deps between nodes is needed to find
additional rule matches that must be also invalidated.
|
2019-07-26 17:00:30 +02:00 |
|
Grigorii Kirgizov
|
43a8838c5a
|
Handle the case of pattern logicals for finding principal constraints. Add rules from queries as principals too.
|
2019-07-26 17:00:30 +02:00 |
|
Grigorii Kirgizov
|
9a22149a5c
|
Add some debugging info for incremental lang typecheck tests
|
2019-07-26 17:00:30 +02:00 |
|
Grigorii Kirgizov
|
ce9b91c4a5
|
Add basic tests for simple program analysis, add test helpers.
|
2019-07-26 17:00:30 +02:00 |
|
Grigorii Kirgizov
|
6c4667e066
|
Add basic coderules program analysis for determining principal constraints
|
2019-07-26 17:00:30 +02:00 |