This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.
Source for ticket #120
cc
changetime
2012-10-09 21:56:13
component
WG1 - Core
description
This is an R6RS change.
id
120
keywords
milestone
owner
cowan
priority
major
reporter
cowan
resolution
fixed
severity
status
closed
summary
Define the semantics of the transcendental functions more fully
time
2010-12-27 15:26:13
type
defect
Changes
Change at time 2012-10-09 21:56:13
author
cowan
field
comment
newvalue
A little has been done, but not much. So it goes.
oldvalue
3
raw-time
1349794573159104
ticket
120
time
2012-10-09 21:56:13
Change at time 2012-10-09 21:56:13
author
cowan
field
resolution
newvalue
fixed
oldvalue
raw-time
1349794573159104
ticket
120
time
2012-10-09 21:56:13
Change at time 2012-10-09 21:56:13
author
cowan
field
status
newvalue
closed
oldvalue
writing
raw-time
1349794573159104
ticket
120
time
2012-10-09 21:56:13
Change at time 2011-07-20 04:30:57
author
cowan
field
comment
newvalue
Provided minimal reference to IEEE 754:2008 for now. Later drafts may be more detailed, since 754 is not freely available.
oldvalue
2
raw-time
1311111057000000
ticket
120
time
2011-07-20 04:30:57
Change at time 2011-07-20 04:30:57
author
cowan
field
owner
newvalue
cowan
oldvalue
alexshinn
raw-time
1311111057000000
ticket
120
time
2011-07-20 04:30:57
Change at time 2011-07-20 04:30:57
author
cowan
field
status
newvalue
writing
oldvalue
decided
raw-time
1311111057000000
ticket
120
time
2011-07-20 04:30:57
Change at time 2011-07-10 17:59:36
author
alexshinn
field
comment
newvalue
We voted to use the R6RS semantics.
oldvalue
1
raw-time
1310295576000000
ticket
120
time
2011-07-10 17:59:36
Change at time 2011-07-10 17:59:36
author
alexshinn
field
resolution
newvalue
oldvalue
raw-time
1310295576000000
ticket
120
time
2011-07-10 17:59:36
Change at time 2011-07-10 17:59:36
author
alexshinn
field
status
newvalue
decided
oldvalue
new
raw-time
1310295576000000
ticket
120
time
2011-07-10 17:59:36