Eli Barzilay
|
dbadf365a3
|
bitwise functions
svn: r12012
|
2008-10-13 15:47:52 +00:00 |
|
Eli Barzilay
|
757c51957e
|
Some more arithmetic functions
svn: r12011
|
2008-10-13 15:47:24 +00:00 |
|
Eli Barzilay
|
d5028463f2
|
bad non-typo fix, go back, and change to Univ
svn: r12010
|
2008-10-13 15:42:53 +00:00 |
|
Eli Barzilay
|
86d70f52d8
|
some more sensible grouping of similar functions
svn: r12009
|
2008-10-13 15:42:19 +00:00 |
|
Eli Barzilay
|
1beabaf5e8
|
capitalization typo
svn: r12008
|
2008-10-13 15:37:16 +00:00 |
|
Eli Barzilay
|
e114ca005e
|
* Grouped the ass* functions
* Made them all use -opt
svn: r12007
|
2008-10-13 15:36:59 +00:00 |
|
Eli Barzilay
|
f4ae28d714
|
use all of scheme/list, so the types for first and friends actually works
svn: r12006
|
2008-10-13 15:33:06 +00:00 |
|
Eli Barzilay
|
fea96706f1
|
(random) returns a floating point number
svn: r12005
|
2008-10-13 15:32:17 +00:00 |
|
Eli Barzilay
|
0209663ec7
|
* Move write' next to display'
* Make it have the same type (can write anything)
* Add `print' with the same type
svn: r12004
|
2008-10-13 15:30:55 +00:00 |
|
Eli Barzilay
|
9ba08bc558
|
minor reformatting (brackets, spaces, indents)
svn: r12003
|
2008-10-13 15:29:13 +00:00 |
|
Casey Klein
|
9e316c3162
|
1. Improved support for generating random numbers.
2. Fixed bug in find-base-cases.
svn: r12002
|
2008-10-13 15:19:13 +00:00 |
|
Robby Findler
|
86671cf6dc
|
PR 9814
svn: r12001
|
2008-10-13 13:45:55 +00:00 |
|
Eli Barzilay
|
b9cbd0a5c8
|
Welcome to a new PLT day.
svn: r12000
|
2008-10-13 07:50:10 +00:00 |
|
Robby Findler
|
4c010b7d4a
|
fixed PR 9770
svn: r11999
|
2008-10-13 00:53:23 +00:00 |
|
Matthew Flatt
|
198b05897b
|
adjust HTML rendering of paragraphs as table cells; avoiding 'p' tags makes cut-and-paste work better
svn: r11998
|
2008-10-12 16:14:39 +00:00 |
|
Matthew Flatt
|
4fe97848b2
|
fix HTML problems that affect Opera; add ++style to scribble executable; fix some Latex back-end issues
svn: r11997
|
2008-10-12 15:53:49 +00:00 |
|
Eli Barzilay
|
e1c4040072
|
Welcome to a new PLT day.
svn: r11995
|
2008-10-12 07:50:11 +00:00 |
|
Eli Barzilay
|
2bd0019110
|
register-finalizer is not unsafe
svn: r11994
|
2008-10-12 06:13:46 +00:00 |
|
Matthew Flatt
|
b46a5091ba
|
fix change that avoids re-running documents just to get xref information when the .sxref files are up-to-date
svn: r11993
|
2008-10-12 01:49:42 +00:00 |
|
Eli Barzilay
|
078ce5f8c6
|
removed unused leftover file
svn: r11992
|
2008-10-11 19:17:17 +00:00 |
|
Eli Barzilay
|
cff6f07259
|
fix whitespace before open-brace issues
svn: r11991
|
2008-10-11 19:09:50 +00:00 |
|
Robby Findler
|
161f9301f4
|
clicking in the whitespace between circles no longer counts as your turn
svn: r11990
|
2008-10-11 18:17:20 +00:00 |
|
Matthew Flatt
|
95fa65b7b3
|
fix great awlful memory leak in scribble's collect phase (which was exposed most clearly by the web-server tutorial); change in.sxref to be use fasl (bytecode) format
svn: r11989
|
2008-10-11 14:50:22 +00:00 |
|
Matthew Flatt
|
489f4b623c
|
remove bogus -lpthread from 3m link (slipped in with places change)
svn: r11988
|
2008-10-11 12:47:28 +00:00 |
|
Eli Barzilay
|
14c4931da3
|
Welcome to a new PLT day.
svn: r11987
|
2008-10-11 07:50:11 +00:00 |
|
Eli Barzilay
|
4f57cbbf37
|
fix flushing issue
svn: r11986
|
2008-10-10 09:58:18 +00:00 |
|
Eli Barzilay
|
31c55616a9
|
Welcome to a new PLT day.
svn: r11985
|
2008-10-10 07:50:11 +00:00 |
|
Casey Klein
|
b2ce9f4cd3
|
1. Fixed bug in reduction-semantics.ss.
2. Fixed bug in generation of 'any pattern.
3. Added `check-metafunction' form.
svn: r11984
|
2008-10-09 19:09:11 +00:00 |
|
Eli Barzilay
|
18f05a6823
|
Welcome to a new PLT day.
svn: r11983
|
2008-10-09 07:50:08 +00:00 |
|
Eli Barzilay
|
a51ea08cb4
|
fix a bug, when there is no user field
svn: r11982
|
2008-10-09 01:33:35 +00:00 |
|
Eli Barzilay
|
98c8abeb3b
|
use >>> for a marker, like the build does
svn: r11978
|
2008-10-08 16:09:45 +00:00 |
|
Sam Tobin-Hochstadt
|
3db02a50e1
|
Fix inference for simple fns with ...
svn: r11977
|
2008-10-08 15:34:05 +00:00 |
|
Matthew Flatt
|
fc974109b2
|
adjust icache flush computation for PPC
svn: r11976
|
2008-10-08 15:33:46 +00:00 |
|
Matthew Flatt
|
6cbac335f7
|
even more CPP corrections for mprotect code
svn: r11975
|
2008-10-08 15:26:32 +00:00 |
|
Matthew Flatt
|
1115def7bb
|
more CPP corrections for mprotect code
svn: r11974
|
2008-10-08 15:20:50 +00:00 |
|
Matthew Flatt
|
aedc028b2c
|
fix PPC instruct-cache flush to not walk past the end of an allocated page
svn: r11973
|
2008-10-08 15:12:44 +00:00 |
|
Matthew Flatt
|
4609f594b6
|
add missing include for open when needed with mprotect
svn: r11972
|
2008-10-08 14:59:47 +00:00 |
|
Matthew Flatt
|
9779ffb677
|
fix mprotect CPP for when mprotect isn't needed
svn: r11971
|
2008-10-08 14:57:06 +00:00 |
|
Eli Barzilay
|
c5b666026a
|
Welcome to a new PLT day.
svn: r11970
|
2008-10-08 07:50:22 +00:00 |
|
Sam Tobin-Hochstadt
|
665da912c8
|
New test for bug found by eli.
svn: r11969
|
2008-10-07 21:55:45 +00:00 |
|
Sam Tobin-Hochstadt
|
dbf4462228
|
Fix bug in inference when tvars in env.
svn: r11968
|
2008-10-07 21:55:25 +00:00 |
|
Matthew Flatt
|
a584304aa2
|
fix code allocation bug
svn: r11967
|
2008-10-07 19:26:42 +00:00 |
|
Matthew Flatt
|
89f2315374
|
fix bug in exe creation where 'lib runtime-paths could be mis-parsed as mzlib paths
svn: r11966
|
2008-10-07 16:00:36 +00:00 |
|
Matthew Flatt
|
bda26f5eaa
|
fix image pasting for x86 Mac
svn: r11965
|
2008-10-07 15:06:46 +00:00 |
|
Matthew Flatt
|
82ad7da253
|
change -S, -X, and -z flags for mz/mr
svn: r11964
|
2008-10-07 14:56:26 +00:00 |
|
Eli Barzilay
|
98975fc524
|
move the reader of make-module-evaluator inside the user context jail
svn: r11963
|
2008-10-07 14:20:18 +00:00 |
|
Eli Barzilay
|
bbceacae84
|
turn on read-accept-reader in the default-sandbox-reader
svn: r11962
|
2008-10-07 14:14:59 +00:00 |
|
Eli Barzilay
|
9f3161cf24
|
doc clarifications
svn: r11961
|
2008-10-07 14:14:23 +00:00 |
|
Eli Barzilay
|
0899471d32
|
use the default language if there was an error reading the preference file
svn: r11960
|
2008-10-07 14:07:56 +00:00 |
|
Matthew Flatt
|
da1e0f6313
|
fix code allocation bug
svn: r11959
|
2008-10-07 13:12:44 +00:00 |
|