xavi/nanowasm-design/IncompletelySpecifiedBehavior.md, branch main Fork of https://github.com/WebAssembly/design/ with NanoWasm extensions. https://gitea.privatedns.org/xavi/nanowasm-design/atom?h=main 2015-06-10T21:59:11+00:00 Change 'incompletely specified behavior' phrasing to 'limited local nondeterminism' 2015-06-10T21:59:11+00:00 Luke Wagner mail@lukewagner.name 2015-06-10T21:59:11+00:00 urn:sha1:95d112a39d392596cecfe841f05ab8ed96554058 Define portability 2015-06-09T09:27:11+00:00 JF Bastien jfb@chromium.org 2015-06-09T09:27:11+00:00 urn:sha1:01676f85cbb672aa1199e35e2a83a480aacff20e Address issue #38. Say "floating point" instead of "floating-point". 2015-06-03T20:37:59+00:00 Dan Gohman sunfish@mozilla.com 2015-06-02T14:11:09+00:00 urn:sha1:e5cc7b9a30a81e18ca8706daa09ca6912af027b9 Add a section discussing C and C++. 2015-06-03T20:37:05+00:00 Dan Gohman sunfish@mozilla.com 2015-06-02T09:10:26+00:00 urn:sha1:766d32362828ba263977faca493ef82a132b709e Add a paragraph describing about control flow properties. 2015-06-03T20:37:04+00:00 Dan Gohman sunfish@mozilla.com 2015-06-02T09:09:41+00:00 urn:sha1:eac29775795b034a65724b1de71d2db31f91a1cd Tighten up the language about observable differences between implementations. 2015-06-03T20:37:04+00:00 Dan Gohman sunfish@mozilla.com 2015-06-02T09:08:59+00:00 urn:sha1:de455af1cd7e94e5940262f1511b1be5fc8dc1a3 Rename "V1" aka "v.1" to "MVP". 2015-06-03T19:48:15+00:00 Dan Gohman sunfish@mozilla.com 2015-06-03T19:16:54+00:00 urn:sha1:3cd3dde7eb1b90abfcfa9b100ca6afd09237a12e Say "applications" instead of "programs". 2015-05-31T04:15:57+00:00 Dan Gohman sunfish@mozilla.com 2015-06-02T04:13:03+00:00 urn:sha1:cd8aae95e274a823602c10e3bcba18ef7b58db0a Give a brief explanation of why nasal demons are undesirable. 2015-05-31T04:15:57+00:00 Dan Gohman sunfish@mozilla.com 2015-05-28T18:06:57+00:00 urn:sha1:9d9381745b8fe6b797b241d6298e73165cd88e1b Create a list of incompletely specified behavior. 2015-05-28T17:39:28+00:00 Dan Gohman sunfish@mozilla.com 2015-05-28T16:39:41+00:00 urn:sha1:8d946bf1e216531637f53904ea51381baafbae9f