Skip to content

Where did transient-with-blame go? #42

@bennn

Description

@bennn

I'd like to run the current Reticulated (5cd2d10) with the transient semantics and with transient+blame (as described in the POPL 2017 paper).

On an older version I could do this by running:

# transient
retic file.py

# transient with blame
retic --mgd-transient file.py

but now the --mgd-transient option is missing.

Is there a new alternative to --mgd-transient ?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions