|
Introduced a separate fix_structures method to the instance fixing class. |
|
|
Made current_subprograms a set. |
|
|
Fixed constant textual representations. |
|
|
Remove old entries for accesses/writes. |
|
|
Moved Namespace from annotate to simplified.utils. |
|
|
Added NoneType. |
|
|
Added a test of method references. |
|
|
Changed the instance fixing to deal more thoroughly with "accesses" annotations. |
|
|
Made list comprehensions internal subprograms. |
|
|
Added a test before trying to revoke exception types. |
|
|
Added missing methods. |
|
|
Added commentary. |
|
|
Added a values method to the Namespace class. |
|
|
Redefined the get_distinct_instances method on _Class to return a dictionary |
|
|
Added a method which attempts to return distinct instances from those stored for |
|
|
Changed the definitions of __hash__ for Structure-derived classes and for |
|
|
Fixed and optimised the production and presentation of non-accesses/non-writes. |
|
|
Introduced links to summaries for classes, along with a more tabular summary |
|
|
Made the Namespace key method more like the corresponding dictionary method. |
|
|
Added convenience methods to Namespace for dictionary operations. |
|
|
Fixed the absence of the nodes attribute in simplified node copying. |
|
|
Fixed shared nodes in operations which were duplicated multiple times under |
|
|
Properly fixed tuple.__init__, removing the name error used for testing missing |
|
|
Fixed the tuple class __init__ and __add__ methods. |
|
|
Changed the string representation of Structure objects. |
|
|
Made the test function as intended. |
|
|
Renamed the simplify module to ast; added an empty package file. |
|
|
Fixed imports. |
|
|
Reorganised the package hierarchy. |
|
|
Added a MakeTuple simplified node, replacing the previous tuple initialisation |
|
|
Moved to XHTML 1.0 transitional, employing the appropriate filename extension |
|
|
Added elementary string literal colouring. |
|
|
Added exception recording on LoadAttr. |
|
|
Introduced set usage into the viewer. |
|
|
Fixed pop-up background colour (broken for function names). |
|
|
Introduced sets throughout the code. |
|
|
Made the recording of return types and exceptions on function nodes annotation |
|
|
Made function names a different colour. |
|
|
Fixed name resolution by enforcing the share_locals attribute. |
|
|
Silenced trace statements. |
|
|
Fixed the range built-in function. |
|
|
Fixed the setting of types in the Namespace set_types method, always taking a |
|
|
Added string comparison methods. |
|
|
Minor formatting changes. |
|
|
Introduced instance annotations on program nodes in order to support more |
|
|
Fixed/improved the import mechanism so that modules are recorded before |
|
|
Fixed lambda annotations. |
|
|
Added tentative ListComp, ListCompFor, ListCompIf and Sliceobj support. |
|
|
Added various shootout tests (binary-trees, nbody and recursive work). |
|
|
Avoid duplicates in lists of invocations. |
|
|
Rearranged the classes in the simplified module. |
|
|
Fixed some duplication issues when presenting types. |
|
|
Removed the _nodes annotation. |
|
|
Made a distinct raises annotation on subprograms. |
|
|
Introduced a _unique_name attribute on objects rather than using a huge unique |
|
|
Renamed CheckExc to CheckType and added an "inverted" option which filters out |
|
|
Changed comparison operations to use the same infrastructure as normal binary |
|
|
Fixed disappearing exceptions where unprocessed invocations (due to type |
|
|
Added a ResetExc node, used to clear the exception state upon entering a |
|
|
Attempted to add multiple instance support, collecting information from node |
|