Re: [racket-users] [Redex] "Got nothing"

Dear Robby, Thank you. Yes, the cycles were a problem. BR, Anton Podkopaev podkopaev.net On Wed, Mar 9, 2016 at 1:50 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > It is possible you're using the #:cycles-ok argument, as in the > program below? If so, that means that t

[racket-users] [Redex] "Got nothing"

productions in "traces" or "stepper". My assumption, that in Redex there is some bound (parameter?) on how many productions in a trace chain can be. Am I right? Unfortunately, I failed to find corresponding information in the Redex reference. BR, Anton Podkopaev podkopaev

Re: [racket-users] [Redex] Macros for custom -->

Dear Robby, Thank you for the response. It is what I expected. I think for current goal typesetting isn't that important, so I'll define a macro for reduction-relation. Thank you a lot, Anton BR, Anton Podkopaev podkopaev.net On Thu, Feb 25, 2016 at 3:41 PM, Robby Findler <

[racket-users] [Redex] Macros for custom -->

t; relation is not defined". Could anyone help me with it? BR, Anton Podkopaev podkopaev.net -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+un

Re: [racket-users] [Redex] test-->>E and trace

Robby, Thank you very much! BR, Anton Podkopaev BR, Anton Podkopaev On Wed, Feb 10, 2016 at 4:34 PM, Anton Podkopaev <an...@podkopaev.net> wrote: > Robby, > > Thank you very much! > > BR, > Anton Podkopaev > > On Wed, Feb 10, 2016 at 3:50 PM, Robby Findler &

Re: [racket-users] [Redex] test-->>E and trace

> (cond > [(equal? term from) (list from)] > [else (cons term (loop (hash-ref parents term)))]))) > > (find-path red 0 10) > > > On Sun, Dec 20, 2015 at 6:26 AM, Anton Podkopaev <podkoav...@gmail.com> > wrote: > > Unfortunately, I need something else, beca

Re: [racket-users] [Redex] test-->>E and trace

Unfortunately, I need something else, because my semantics is highly non-deterministic, and I want to be able to see only paths, which lead to a certain term. BR, Anton Podkopaev 2015-12-18 20:49 GMT+03:00 Robby Findler <ro...@eecs.northwestern.edu>: > I think you may want to c

[racket-users] [Redex] test-->>E and trace

Hello, colleagues! Is there any way to get a term trace from successful test-->>E in Redex? BR, Anton Podkopaev, PhD student, SPbSU -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop recei

Re: [racket-users] Redex Engine Internals

> I think you want to do this: > (current-cache-all? #t) Thank you, Robby! It mostly solves my problems. BR, Anton Podkopaev 2015-12-04 20:33 GMT+03:00 Robby Findler <ro...@eecs.northwestern.edu>: > It looks like your semantics has a lot of different ways to reach the

Re: [racket-users] Redex Engine Internals

>Anyways, here's the model: > https://github.com/ericmercer/4M/blob/master/4M/super_model/super-model.rkt > And here's Fedex: > https://github.com/ericmercer/4M/blob/master/4M/super_model/fedex.rkt Jay, it's really interesting. Thank you! BR, Anton Podkopaev 2015-12-04 20:05 G

Re: [racket-users] Redex Engine Internals

reduction engine, but reusing some Redex functionality (e.g. `traces` and `stepper` functions, which are extremely useful). Is it a good idea? BR, Anton Podkopaev 2015-12-03 19:44 GMT+03:00 Robby Findler <ro...@eecs.northwestern.edu>: > Redex isn't really designed with performance in m

Re: [racket-users] Redex Engine Internals

gt;>` calls are commented out. The project: https://github.com/anlun/OperationalSemanticsC11 The file with terms: https://github.com/anlun/OperationalSemanticsC11/blob/master/test%2FrelAcqNaRlxPost_t1.rkt BR, Anton Podkopaev 2015-12-04 15:52 GMT+03:00 Robby Findler <ro...@eecs.northwestern.edu

[racket-users] Redex Engine Internals

280 states according to `traces` and w/o any heap-related problems takes 30 seconds, which is still too much in my opinion. --- Best regards, Anton Podkopaev, PhD student, SPbSU -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To uns

Re: [racket-users] Redex, traces and Graphviz

Robby, thank you very much! BR, Anton Podkopaev 2015-09-23 23:48 GMT+03:00 Robby Findler <ro...@eecs.northwestern.edu>: > Yes, but only in a fairly complex way. Your rendering function would > have to call out to graphviz, get the results back as a png, use > read-bitmap to g

[racket-users] Redex, traces and Graphviz

a result of rendering into a pretty-printed text? BR, Anton Podkopaev, PhD student, SPbSU -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-user