316:24ac217a0e30
|
2010-03-26 |
Paul Boddie |
changeset
files
shortlog
graph
|
Fixed errors when overspecific attribute usage caused the removal of attributes,
even though the effect should only be the non-enforcement of guards and less
filtering of attributes and program sections. |
|
|
TO_DO.txt micropython/__init__.py micropython/table.py
|
|
315:02757ef74c89
|
2010-03-07 |
Paul Boddie |
changeset
files
shortlog
graph
|
Removed links to "<None>" in the graph output.
Added the special filename "-" as a replacement for the filename argument in the
test program, loading the micropython module for test purposes. |
|
|
micropython/graph.py test.py
|
|
314:54cb8a2fff31
|
2010-03-07 |
Paul Boddie |
changeset
files
shortlog
graph
|
Attempted to make the API more regular. |
|
|
micropython/cmd.py micropython/inspect.py test.py
|
|
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
|
|