If you look at this directory:
https://github.com/jeapostrophe/exp/tree/master/fffhase-attack
There's a short "attack" on the promise that different instantiations
of the same module across phases don't share a store.
Running without compiled version
rm -fr compiled
racket -t phase0.rkt --
stati
I'm not sure I follow. When you use unsafe features, you can defeat
most any intended invariant; that's what makes them "unsafe", right?
Whether this particular example is ok depends on what you want
`unsafe-global` to mean. If you want it to correspond to external state
--- such as a filesystem o
On 04/24/2014 12:58 PM, Ryan Culpepper wrote:
* Neil Toronto
Everything passes.
Neil ⊥
_
Racket Developers list:
http://lists.racket-lang.org/dev
Thanks for the explanation. It all does make sense.
I guess I'm still unsatisfied because it still feels like there's a
gap between the namespace "model" as presented by the docs and what
actually happens. For example, the docs give me the impression that
you can't require a module unless it's alr
I think improvements would be welcome. Start with a redex model.
On Apr 29, 2014, at 3:15 PM, Stephen Chang wrote:
> Thanks for the explanation. It all does make sense.
>
> I guess I'm still unsatisfied because it still feels like there's a
> gap between the namespace "model" as presented b
At Tue, 29 Apr 2014 15:15:44 -0400, Stephen Chang wrote:
> I guess I'm still unsatisfied because it still feels like there's a
> gap between the namespace "model" as presented by the docs and what
> actually happens. For example, the docs give me the impression that
> you can't require a module unl
On 04/28/14 21:13, Matthew Flatt wrote:
Sorry --- I now see that `--enable-pthread` is forced for OpenBSD. I
think it should be on by default, but not actually forced, so I've made
that repair.
More to the point, I've pushed a repair so that CAS is attempted only
when futures or places are enabl
It's been a very long time since I touched a machine where the stack
grows up. Does changing `c->cont->buf.stack_size` to `c->stack_size`
work?
At Wed, 30 Apr 2014 00:21:10 +0200, Juan Francisco Cantero Hurtado wrote:
> On 04/28/14 21:13, Matthew Flatt wrote:
> > Sorry --- I now see that `--enable
8 matches
Mail list logo
