View source
reflowing
  • Contributors
    1. Loading...
Author Commit Message Date Builds
250+ commits behind default.
Ronan Lamy
hg merge default
Ronan Lamy
Reimplement enforcing of signature return values using add_notification()
Ronan Lamy
Notify the variable update just after the variable is actually updated
Ronan Lamy
create check_signature_return()
Ronan Lamy
Attach notifications to variables rather than blocks
Ronan Lamy
Inline ann.recursivecall() into its only caller
Ronan Lamy
hg merge desc-specialize
Ronan Lamy
Create annotator.get_op()
Ronan Lamy
Reinstate the annotation hack that was removed in db07794f9b14
Ronan Lamy
hg merge default
Ronan Lamy
Use update_var() in rerased
Ronan Lamy
Clean up rerased: split interp-level ErasingPairIdentity from translator-level IdentityDesc
Ronan Lamy
Remove s_previous_result argument: The annotation that is passed in is, in general, unrelated to the thing being annotated.
Ronan Lamy
compute v_result earlier
Ronan Lamy
Create update_var()
Ronan Lamy
small cleanup
Ronan Lamy
Kill confusing function callback case in emulate_pbc_call()
Ronan Lamy
Simplify code
Ronan Lamy
A branch to make the annotation flow graph less implicit