Title: Misleading pretty printing · Issue #1 · KeYProject/key-java-example · GitHub
Open Graph Title: Misleading pretty printing · Issue #1 · KeYProject/key-java-example
X Title: Misleading pretty printing · Issue #1 · KeYProject/key-java-example
Description: The KeY systems pretty prints div(a,b) as a/b and mod(a,b) as a%b. This is misleading since div(a,b) and a/b have different semantics. As a consequence also the semantics of mod(a,b) and a%b disagree. More precisely the semantics of div(...
Open Graph Description: The KeY systems pretty prints div(a,b) as a/b and mod(a,b) as a%b. This is misleading since div(a,b) and a/b have different semantics. As a consequence also the semantics of mod(a,b) and a%b disagr...
X Description: The KeY systems pretty prints div(a,b) as a/b and mod(a,b) as a%b. This is misleading since div(a,b) and a/b have different semantics. As a consequence also the semantics of mod(a,b) and a%b disagr...
Opengraph URL: https://github.com/KeYProject/key-java-example/issues/1
X: @github
Domain: github.com
{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Misleading pretty printing","articleBody":"The KeY systems pretty prints div(a,b) as a/b and mod(a,b) as a%b. This is misleading since\r\ndiv(a,b) and a/b have different semantics. As a consequence also the semantics of mod(a,b)\r\nand a%b disagree. More precisely the semantics of div(a,b) is the Euclidean semantics while\r\na/b enjoys the Java semantics (truncating towards 0) ignoring overflow.\r\n\r\nSurprisingly, pretty printing does not change jdiv and jmod. Though they share the same\r\nsemantics as a/b and a%b.\r\n\r\nI would prefer pretty printing should not change the rendering of div and mod.","author":{"url":"https://github.com/phschmitt27","@type":"Person","name":"phschmitt27"},"datePublished":"2018-11-04T16:27:17.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/1/key-java-example/issues/1"}| route-pattern | /_view_fragments/issues/show/:user_id/:repository/:id/issue_layout(.:format) |
| route-controller | voltron_issues_fragments |
| route-action | issue_layout |
| fetch-nonce | v2:74dc809f-589e-b7cc-40f9-ba45e2564d3f |
| current-catalog-service-hash | 81bb79d38c15960b92d99bca9288a9108c7a47b18f2423d0f6438c5b7bcd2114 |
| request-id | A4B8:1D90CC:B22A75:F00608:6A4ED27F |
| html-safe-nonce | f0074b7802657d222987524a10fb7694d5ba5252e33f6c2df66b0090dddbb828 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNEI4OjFEOTBDQzpCMjJBNzU6RjAwNjA4OjZBNEVEMjdGIiwidmlzaXRvcl9pZCI6IjEyNDM5ODcxNjEwOTY1NzM1NjciLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ== |
| visitor-hmac | fe66f59ac68e43f3e6491720b3e24131bea40fd0b89fb5a850efcbb9e4e8e061 |
| hovercard-subject-tag | issue:377169101 |
| github-keyboard-shortcuts | repository,issues,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/_view_fragments/issues/show/KeYProject/key-java-example/1/issue_layout |
| twitter:image | https://opengraph.githubassets.com/3621f5dabb7f10298fc3d404fd7027e6a04d87c61c699d283e107fd1c89acad5/KeYProject/key-java-example/issues/1 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/3621f5dabb7f10298fc3d404fd7027e6a04d87c61c699d283e107fd1c89acad5/KeYProject/key-java-example/issues/1 |
| og:image:alt | The KeY systems pretty prints div(a,b) as a/b and mod(a,b) as a%b. This is misleading since div(a,b) and a/b have different semantics. As a consequence also the semantics of mod(a,b) and a%b disagr... |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | phschmitt27 |
| hostname | github.com |
| expected-hostname | github.com |
| None | 41b6ab3ba6d20a71766ac245b5a4a94c6fc672a9cd4da7d44c1b33ab8bf6a21c |
| turbo-cache-control | no-preview |
| go-import | github.com/KeYProject/key-java-example git https://github.com/KeYProject/key-java-example.git |
| octolytics-dimension-user_id | 18749969 |
| octolytics-dimension-user_login | KeYProject |
| octolytics-dimension-repository_id | 151831160 |
| octolytics-dimension-repository_nwo | KeYProject/key-java-example |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 151831160 |
| octolytics-dimension-repository_network_root_nwo | KeYProject/key-java-example |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | e6a744804e8e70f97b4d5a18a94dcc63db22f97a |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width