389:078c71c2a581
|
2010-09-27 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added instruction coverage reporting. |
|
|
rsvp.py
|
|
388:dd7487acd048
|
2010-09-21 |
Paul Boddie |
changeset
files
shortlog
graph
|
Moved various dictionary operations into common functions.
Attempted to introduce attribute usage effects for the continue statement,
distinct from the break statement. |
|
|
docs/annotations.txt micropython/__init__.py micropython/common.py micropython/data.py micropython/inspect.py tests/attribute_access_type_restriction_loop_break.py tests/attribute_access_type_restriction_loop_continue.py
|
|
387:21fee0baed9f
|
2010-09-17 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added branch suspension where "break" statements cause usage information for a
branch to be suspended until after a loop has been inspected.
Moved dictionary merging code into a common function.
Fixed an existing test of abandoned attribute usage.
Added a link to a description of RPython and Shed Skin restrictions. |
|
|
docs/related.txt micropython/common.py micropython/data.py micropython/inspect.py tests/abandoned_attribute_usage_multiple_candidates_nested.py tests/attribute_access_type_restriction_loop_break.py
|
|
386:29661f77280b
|
2010-09-16 |
Paul Boddie |
changeset
files
shortlog
graph
|
Changed loop inspection, introducing a null branch parallel to the body branch,
and traversing any else clause after branches are merged. |
|
|
micropython/inspect.py
|
|
385:a44d9073aae7
|
2010-09-13 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added a special class for abandoned branch users dictionaries, preventing any
usage being recorded after a branch is abandoned.
Moved any else clauses for "for" and "while" loops into the loop branch during
inspection, thus combining loop usage with the termination clause of each loop.
Added various tests and notes. |
|
|
TO_DO.txt docs/rationale.txt micropython/data.py micropython/inspect.py tests/attribute_access_type_restriction_for_else.py tests/attribute_access_type_restriction_loop_else.py
|
|
384:5c1afd2b8d15
|
2010-09-13 |
Paul Boddie |
changeset
files
shortlog
graph
|
Fixed try...except branching.
Removed the propagation of null/empty usage to the importer.
Introduced a degree of caching when gathering usage information from branches,
in order to avoid repeated work.
Introduced filtering of usage information on users in order to avoid guard
information being generated for names other than those a user defines. |
|
|
micropython/__init__.py micropython/common.py micropython/data.py micropython/inspect.py micropython/opt.py micropython/table.py tests/attribute_access_type_restriction_for.py
|
|
383:f20528f5302a
|
2010-09-12 |
Paul Boddie |
changeset
files
shortlog
graph
|
Replaced _attrnames with _attrcombined in report generation. |
|
|
micropython/report.py
|
|
382:b174068d3e82
|
2010-09-12 |
Paul Boddie |
changeset
files
shortlog
graph
|
Changed branch abandonment and merging, replacing users with those defined for
branches when merging. Thus, the active users are effectively redefined after
each branchpoint.
Changed attribute usage processing to consider each set of attribute names for
each name separately, producing sets of object types which are then combined to
suggest types for each name.
Added a missing table method returning any object types providing members of a
set of attributes along with the static status of such attributes in those
types. |
|
|
micropython/__init__.py micropython/data.py micropython/table.py
|
|
381:774448304582
|
2010-09-12 |
Paul Boddie |
changeset
files
shortlog
graph
|
Propagated more detailed usage information to the importer in order to deduce
types for defining users, setting the _attrtypes annotation on user nodes.
Introduced the _attrdefs annotation which is used when looking up defining users
and thus accessor types for attribute access nodes.
Fixed a revised example of attribute usage optimisations.
Added RSVP return address markings in the memory display produced by the
show_memory method. |
|
|
micropython/__init__.py micropython/ast.py micropython/common.py micropython/data.py micropython/inspect.py micropython/trans.py rsvp.py tests/attribute_access_type_restriction_loop_accumulation.py
|
|
380:d5ee53c83a45
|
2010-09-11 |
Paul Boddie |
changeset
files
shortlog
graph
|
Updated the comments in attribute usage tests. |
|
|
tests/attribute_access_type_restriction_conditional.py tests/attribute_access_type_restriction_conditional_choice.py tests/attribute_access_type_restriction_conditional_choice_incompatible.py tests/attribute_access_type_restriction_new.py tests/attribute_access_type_restriction_new_conditional.py tests/attribute_access_type_restriction_single.py tests/attribute_access_type_restriction_single_instance.py
|
|