Commit Graph

1023 Commits

Author SHA1 Message Date
Matthew Flatt
9f5976e46b scheme/foreign doc fixes related to _fpointer
svn: r12966
2009-01-01 21:54:06 +00:00
Matthew Flatt
1c38bd2d3f fix unit signature 'open' by adjusting 'rename', 'only', and 'execpt'
svn: r12964
2009-01-01 21:15:56 +00:00
Robby Findler
fb821d9041 added argmin and argmax to scheme/list and to the teaching languages
svn: r12960
2009-01-01 00:03:31 +00:00
Matthew Flatt
5cefde5945 regexp grammar correction so that [^] can't be parsed as a range containing ^
svn: r12956
2008-12-30 23:58:41 +00:00
Matthew Flatt
5b395a3abc new guide section on parameterize and other doc tweaks
svn: r12953
2008-12-30 16:21:11 +00:00
Matthew Flatt
87274b2a97 procedure-rename
svn: r12952
2008-12-30 14:36:25 +00:00
Matthew Flatt
1642a84e69 add equal?/recur; implement equal? for image-snip% via properties
svn: r12950
2008-12-29 22:36:53 +00:00
Matthew Flatt
836e108401 refine compiler/zo-parse docs
svn: r12948
2008-12-28 19:21:15 +00:00
Matthew Flatt
7aec6b8761 document compiler/zo-parse and compiler/decompile
svn: r12947
2008-12-28 18:57:13 +00:00
Matthew Flatt
0cd2537a82 add equal<%> ad interface*
svn: r12946
2008-12-28 15:05:02 +00:00
John Clements
14b0203fb9 changed res-expr to range-expr for consistency
svn: r12943
2008-12-27 07:22:38 +00:00
Matthew Flatt
2ce9667ae4 edits and backpointers related to Scheme dialects in the guide
svn: r12927
2008-12-22 21:26:39 +00:00
Matthew Flatt
8c8728337e new guide chapter on Scheme dialects, and small clean-up for some other docs
svn: r12926
2008-12-22 21:17:07 +00:00
Matthew Flatt
fb7fa06fa0 fix reference doc typos
svn: r12922
2008-12-21 14:32:32 +00:00
Matthew Flatt
4aa7d2da44 minor clarification to section-index docs
svn: r12921
2008-12-21 13:59:47 +00:00
Matthew Flatt
ec600c59bb fine-tune typechecking index entry
svn: r12920
2008-12-21 13:57:46 +00:00
Matthew Flatt
82ead03b92 change _fpointer handling to work with function pointers in structs and other such uses; add 'function-ptr' casting operation
svn: r12913
2008-12-20 05:09:35 +00:00
Matthew Flatt
7dc56df949 add FFI types _string/utf-16/null and _string/ucs-4/null
svn: r12911
2008-12-19 23:59:33 +00:00
Eli Barzilay
5cb1e91764 typo
svn: r12897
2008-12-19 04:26:19 +00:00
Eli Barzilay
7d48a62155 documented recent changes
svn: r12896
2008-12-19 02:38:55 +00:00
Matthew Flatt
e3f008c691 doc ffi/objc
svn: r12895
2008-12-19 02:06:50 +00:00
Matthew Flatt
2c95f77c31 ctype->layout in scheme/foreign; prototype Objective-C binding in ffi collection
svn: r12890
2008-12-18 20:05:21 +00:00
Eli Barzilay
c1123547e4 document basetype change
svn: r12883
2008-12-18 06:49:51 +00:00
Matthew Flatt
f830ee6184 reference and ffi corrections and clarifications
svn: r12880
2008-12-18 02:52:45 +00:00
Eli Barzilay
f74dc2b8c7 Added `call-with-trusted-sandbox-configuration', and used in scribble
and in tests.

svn: r12871
2008-12-16 20:29:17 +00:00
Eli Barzilay
e5027cb7b0 added a clarifying example for how limits interact
svn: r12864
2008-12-15 22:15:52 +00:00
Eli Barzilay
b0758de6f1 clarification on the (new) way memory is charged
svn: r12856
2008-12-15 18:22:58 +00:00
Matthew Flatt
45e4684e4f memory accounting: blame the parent instead of the child
svn: r12853
2008-12-15 17:09:33 +00:00
Eli Barzilay
ab115fb6e4 default global limit is 30mb
svn: r12852
2008-12-15 16:26:25 +00:00
Eli Barzilay
b882de2409 allow any number for memory limits
svn: r12851
2008-12-15 16:22:41 +00:00
Eli Barzilay
c62595772f Finally enabled using a sub code-inspector properly, with a new
'read-bytecode permission mode.  Added tests and (crappily)
documented.

svn: r12846
2008-12-15 01:07:00 +00:00
Eli Barzilay
188489b34f * Added `exn:fail:sandbox-terminated' for all sandbox termination
kinds.
* The default exit handler kills the sandbox, with an appropriate
  termination message.
* Also, sending an eof to the sandbox shows 'eof as the reason
* Added some tests for these.
* Still need to deal with termination messages for evaluator suicide.

svn: r12837
2008-12-13 22:12:16 +00:00
Eli Barzilay
bdf71f1b46 typo
svn: r12836
2008-12-13 21:13:03 +00:00
Eli Barzilay
510d9f081f some clarifications
svn: r12835
2008-12-13 19:09:54 +00:00
Eli Barzilay
46e16fc206 * The sandbox now uses a new code-inspector to avoid using protected
bindings
* Added `sandbox-make-code-inspector' to control this
* Changed the function form of `sandbox-security-guard' to be a thunk,
  to make it uniform with other sandbox settings.

svn: r12831
2008-12-13 17:17:12 +00:00
Eli Barzilay
e2221c800b * sandbox-security-guard can now be a function that translates a given
security guard to a new one
* this is now used for the default to avoid grabbing the global
  security guard

svn: r12828
2008-12-13 14:11:28 +00:00
Eli Barzilay
a1222d66ca * Implementer global sandbox memory limit and added
`sandbox-memory-limit' to set it
* Added `evaluator-alive?'
* Undo accidental commenting of most tests

svn: r12786
2008-12-12 12:45:08 +00:00
Matthew Flatt
ffab3dd835 add Waddell99 citation
svn: r12725
2008-12-08 00:07:42 +00:00
Matthew Flatt
89d0801d7a change quote-syntax to include a certificate for the enclosing module, enable certificate checking of phase-1 bindings, and fix some other problems with certificates
svn: r12714
2008-12-05 22:45:04 +00:00
Matthew Flatt
f11b46828c some doc clarifications and hyperlinks
svn: r12682
2008-12-02 20:26:32 +00:00
Eli Barzilay
bf8b409174 removed some bogus text
svn: r12674
2008-12-02 14:36:42 +00:00
Eli Barzilay
e0917e1a5e * Added `call-in-sandbox-context'.
* Removed `get-namespace' since it's generalized in the above.
* Deal with killing the current thread (or the current custodian) in
  the sandbox code.  (Works only without per-expression limits --
  still need to find a solution for `call-with-limits'.)
* Added tests for this.

svn: r12670
2008-12-02 05:26:45 +00:00
Eli Barzilay
9f96c73547 typos
svn: r12668
2008-12-02 00:01:31 +00:00
Eli Barzilay
ab817097b4 * Create string/bytes output port in the user's custodian (at least
try to do so...).
* Add tests for output collection under resources -- some are
  commented since they're not working right, either a bug in this code
  that I don't see, or some problem with memory accounting.
* Clarify in the docs that output collection is still under resource
  limits.

svn: r12667
2008-12-01 22:19:58 +00:00
Matthew Flatt
df62fbad79 fix typo (PR 9955)
svn: r12658
2008-12-01 11:27:35 +00:00
Eli Barzilay
8905cc86e5 Added `sandbox-exit-handler' to control the exit handler
svn: r12654
2008-11-30 21:44:47 +00:00
Matthew Flatt
224462a3f5 doc put-file behavior for 10.4 vs 10.5
svn: r12653
2008-11-30 18:36:27 +00:00
Matthew Flatt
67f29daee5 reference doc corrections
svn: r12650
2008-11-30 14:32:58 +00:00
Robby Findler
96651516e8 made close-current-tab be public
svn: r12643
2008-11-30 04:57:03 +00:00
Matthew Flatt
7f4ddbe5fa better file-extension support for Mac OS X put-file dialog
svn: r12638
2008-11-29 18:52:25 +00:00