Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | The drop operation should only be permissive on choices (reflecting the realizability condition on choice). New expressions should not be constructed for expressions other than choice. |
|---|---|
| Downloads: | See separate download page |
| Timelines: | family | ancestors | descendants | both | pt-container-ssoberni |
| Files: | files | file ages | folders |
| SHA3-256: |
f70ef61b952a738698e5c08e0016dbe4 |
| User & Date: | ssoberni 2018-06-14 14:31:51.627 |
Context
|
2018-06-27
| ||
| 17:16 | Update peg container transform work to latest trunk, including peg ffp fixes. check-in: 63282d761b user: aku tags: pt-container-ssoberni | |
|
2018-06-14
| ||
| 14:31 | The drop operation should only be permissive on choices (reflecting the realizability condition on choice). New expressions should not be constructed for expressions other than choice. check-in: f70ef61b95 user: ssoberni tags: pt-container-ssoberni | |
| 14:02 | Kleene star and optionals are better deemed realizable by definition. check-in: 8cd8a7435f user: ssoberni tags: pt-container-ssoberni | |
Changes
Changes to modules/pt/pt_pexpr_op.tcl.