313:12bf807e1e08
|
2010-03-03 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added an elementary mechanism for estimating the cost of executed instructions,
eliminating any cost from the inputs in combined instructions. |
|
|
micropython/rsvp.py rsvp.py
|
|
312:fbb411daecea
|
2010-02-26 |
Paul Boddie |
changeset
files
shortlog
graph
|
Prevented propagation of mutable users information.
Tidied dictionary traversal. |
|
|
micropython/data.py
|
|
311:72af990b63cf
|
2010-02-26 |
Paul Boddie |
changeset
files
shortlog
graph
|
Introduced loop nodes as attribute users tracking attribute usage. |
|
|
micropython/data.py micropython/inspect.py
|
|
310:1686ed14e713
|
2010-02-25 |
Paul Boddie |
changeset
files
shortlog
graph
|
Fixed while loop test boolean evaluation.
Updated and added tests around usage propagation. |
|
|
TO_DO.txt micropython/ast.py tests/attribute_access_type_restriction_all_new.py tests/attribute_access_type_restriction_loop.py tests/attribute_access_type_restriction_loop_accumulation.py tests/attribute_access_type_restriction_new.py
|
|
309:213b40328a64
|
2010-02-23 |
Paul Boddie |
changeset
files
shortlog
graph
|
Simplified the usage tracking by merely recording active users (providers) of
names and propagating usage back to them. Accesses retain lists of active users
and the name of the object through which an access is performed.
To generate specific access instructions, the users are consulted for their
usage lists and possible types deduced. Similarly, guards are generated by
deducing possible types from such usage lists. |
|
|
micropython/data.py micropython/inspect.py micropython/trans.py
|
|
308:7dc22ce269e1
|
2010-02-21 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added a CheckType instruction for specific class membership testing. |
|
|
micropython/data.py micropython/rsvp.py rsvp.py
|
|
307:505512c40ea5
|
2010-02-15 |
Paul Boddie |
changeset
files
shortlog
graph
|
Fixed usage merging where names are defined below the current level in the
control-flow hierarchy.
Fixed alternative usage retrieval when generating guards, adding a test for
conflicting types deduced from attribute usage. |
|
|
micropython/data.py micropython/trans.py tests/attribute_access_type_restriction_multiple_candidates.py
|
|
306:9f1f0b79c182
|
2010-02-14 |
Paul Boddie |
changeset
files
shortlog
graph
|
Introduced a distinction between speculative attribute usage, which should
affect the possible types associated with each name, and coverage-related usage.
Added support for the recording of speculative usage as "alternatives" where the
expectations of a given name might differ from the consensus due to branches
whose usage are never merged back into the general control-flow. |
|
|
micropython/data.py micropython/trans.py tests/abandoned_attribute_usage_multiple_candidates_nested.py
|
|
305:4125a2a53e5e
|
2010-02-14 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added comments for the attribute usage namespace attributes.
Updated the docstring, including comments from the module body. |
|
|
micropython/data.py
|
|
304:0b8601941161
|
2010-02-12 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added attribute user node shelving and merging in order to affect nodes which
define names where such definitions remain active after a control-flow merge.
Added a test of multiple type candidates for a guard, although the work required
to support this properly is yet to be done.
Added a to-do list. |
|
|
TO_DO.txt micropython/data.py tests/abandoned_attribute_usage_multiple_candidates.py
|
|