12 Jun
2006
12 Jun
'06
5:41 p.m.
>> "SIGOURE" == SIGOURE Benoit
<sigoure.benoit(a)lrde.epita.fr> writes:
Index: src/lib/pctl/pp/pctl-label.meta
--- src/lib/pctl/pp/pctl-label.meta (revision 0)
+++ src/lib/pctl/pp/pctl-label.meta (revision 0)
@@ -0,0 +1 @@
+Meta([Syntax("Stratego-Box")])
ISTR that you ought to specify the start symbol to avoid bad
surprises. Sure, there may be only one in your case, but let's play
it safe. See Thomas who knows what to do.
21 Jun
21 Jun
10:25 a.m.
New subject: XRM 59: Add (buggy) support for PCTL/CSL formulas.
On 2006-06-12, Akim Demaille <akim(a)lrde.epita.fr> wrote:
I've never seen that in Stratego/XT's sources... I'll ask Thomas.
--
SIGOURE Benoit aka Tsuna
_____
/EPITA\ Promo 2008.CSI Rock & tRoll
>>
"SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes:
Index: src/lib/pctl/pp/pctl-label.meta
--- src/lib/pctl/pp/pctl-label.meta (revision 0)
+++ src/lib/pctl/pp/pctl-label.meta (revision 0)
@@ -0,0 +1 @@
+Meta([Syntax("Stratego-Box")])
ISTR that you ought to specify the start symbol to avoid bad
surprises. Sure, there may be only one in your case, but let's play
it safe. See Thomas who knows what to do.
23 Jun
23 Jun
12:58 p.m.
New subject: XRM 59: Add (buggy) support for PCTL/CSL formulas.
>> "Tsuna" == Tsuna
<tsuna(a)warszawa.lrde.epita.fr> writes:
On 2006-06-12, Akim Demaille
<akim(a)lrde.epita.fr> wrote:
>>>> "SIGOURE" == SIGOURE Benoit
<sigoure.benoit(a)lrde.epita.fr> writes:
>
> > Index: src/lib/pctl/pp/pctl-label.meta
> > --- src/lib/pctl/pp/pctl-label.meta (revision 0)
> > +++ src/lib/pctl/pp/pctl-label.meta (revision 0)
> > @@ -0,0 +1 @@
> > +Meta([Syntax("Stratego-Box")])
>
> ISTR that you ought to specify the start symbol to avoid bad
> surprises. Sure, there may be only one in your case, but let's play
> it safe. See Thomas who knows what to do.
I've never seen that in Stratego/XT's
sources... I'll ask Thomas.
Did you?
6936
days inactive
6947
days old
2 comments
2 participants
participants (2)
-
Akim Demaille -
Tsuna