- Projects

XRM r103: Fix the build process: don't use symlinks.
by SIGOURE Benoit 08 Jan '07

08 Jan '07

URL: https://svn.lrde.epita.fr/svn/xrm/trunk ChangeLog: 2007-01-08 SIGOURE Benoit <tsuna(a)lrde.epita.fr> Fix the build process: don't use symlinks. * src/sig/Makefile.am: Don't use symlinks (they lead to strange re-build problems), use cp instead. * src/syn/xrm/Makefile.am: Generate a patched version of XRM.str without using a stamp-file. sig/Makefile.am | 19 ++++++++++++++----- syn/xrm/Makefile.am | 6 ++---- 2 files changed, 16 insertions(+), 9 deletions(-) Index: src/sig/Makefile.am =================================================================== --- src/sig/Makefile.am (revision 101) +++ src/sig/Makefile.am (working copy) @@ -31,19 +31,28 @@ PRISM.def: $(top_builddir)/src/syn/prism/PRISM.def rm -f $@ - $(LN_S) $^ $@ + cp -f $^ $@ +PRISM.str: $(top_builddir)/src/syn/prism/PRISM.str + rm -f $@ + cp -f $^ $@ PCTL.def: $(top_builddir)/src/syn/pctl/PCTL.def rm -f $@ - $(LN_S) $^ $@ + cp -f $^ $@ +PCTL.str: $(top_builddir)/src/syn/pctl/PCTL.str + rm -f $@ + cp -f $^ $@ XPCTL.def: $(top_builddir)/src/syn/xpctl/XPCTL.def rm -f $@ - $(LN_S) $^ $@ + cp -f $^ $@ +XPCTL.str: $(top_builddir)/src/syn/xpctl/XPCTL.str + rm -f $@ + cp -f $^ $@ XRM.def: $(top_builddir)/src/syn/xrm/XRM.def rm -f $@ - $(LN_S) $^ $@ + cp -f $^ $@ XRM.str: $(top_builddir)/src/syn/xrm/XRM.str rm -f $@ - $(LN_S) $^ $@ + cp -f $^ $@ Index: src/syn/xrm/Makefile.am =================================================================== --- src/syn/xrm/Makefile.am (revision 101) +++ src/syn/xrm/Makefile.am (working copy) @@ -85,9 +85,7 @@ $(SDF_TOOLS)/bin/gen-renamed-sdf-module -i $< -o $@ \ --main XRM --name XRM-Prefixed --prefix XRM -all-am: XRM.str.stamp - -XRM.str.stamp: XRM.str - mv -f XRM.str XRM.str.bak +XRM.str: XRM.rtg + $(STRATEGO_REGULAR)/bin/rtg2sig --module `basename "$*"` -i XRM.rtg -o XRM.str.bak cat XRM.str.bak $(srcdir)/XRM-Constant.str >XRM.str date >XRM.str.stamp -- SIGOURE Benoit aka Tsuna (SUSv3 compliant) _____ "On a long enough timeline, the survival rate /EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.

1 0

Re: XRM r101: Fix for the latest version of StrategoXT 0.17M2.
by Akim Demaille 08 Jan '07

08 Jan '07

>>> "SB" == SIGOURE Benoit <tsuna(a)lrde.epita.fr> writes: > Index: src/syn/xrm/XRM-Constant.str > =================================================================== > --- src/syn/xrm/XRM-Constant.str (revision 0) > +++ src/syn/xrm/XRM-Constant.str (revision 0) > @@ -0,0 +1,7 @@ > +// Workaround: see the comment in XRM-Constant.sdf > + > + // FIXME: Remove this when sdf2rtg supports "ast" attributes. > + signature constructors > + ConstIntDecList : List(DeclPart) -> ConstantDef > + ConstDoubleDecList : List(DeclPart) -> ConstantDef > + ConstBoolDecList : List(DeclPart) -> ConstantDef Can you clarify what ast will be?

2 1

XRM r102: Catch another ICE condition.
by SIGOURE Benoit 07 Jan '07

07 Jan '07

URL: https://svn.lrde.epita.fr/svn/xrm/trunk ChangeLog: 2007-01-07 SIGOURE Benoit <tsuna(a)lrde.epita.fr> Catch another ICE condition. * src/str/xrm-to-prism.str: Trigger an ICE (Internal Compiler Error) when a parameterized formula call is found in the AST whereas it was meant to be removed (inlined) by an earlier compiler stage. * src/str/collect-static-const-decl.str: Remove an unecessary binding. * src/str/eval-meta-code.str: Remove unecessary calls to the `id' strategy. collect-static-const-decl.str | 2 +- eval-meta-code.str | 15 ++++++++------- xrm-to-prism.str | 10 ++++++---- 3 files changed, 15 insertions(+), 12 deletions(-) Index: src/str/xrm-to-prism.str =================================================================== --- src/str/xrm-to-prism.str (revision 100) +++ src/str/xrm-to-prism.str (working copy) @@ -106,7 +106,11 @@ * to expand an arrays which rely on static const variables. * NOTE: We also re-use this traversal to perform an EvalStaticRand. */ - ; log-timed(topdown(try(array-decl-desugar + EvalStaticRand)) + ; log-timed( + topdown(try(?PFormulaCall(_, _); debug + ; ice(|"xrm-to-prism", + "call to parametrized formula wasn't inlined.")) + ; try(array-decl-desugar + EvalStaticRand)) | "Desugaring array declarations", 2) /* flatten nested lists */ @@ -131,9 +135,7 @@ | "Adding modules for random numbers", 2) end - /* Remove array accesses: x[i] -> x_i - * Remove calls to parameterized formulas. - */ + // Remove array accesses: x[i] -> x_i // FIXME: can we make this more efficient than a complete innermost? ; if <is-module-file> start-symbol then log-timed( Index: src/str/eval-meta-code.str =================================================================== --- src/str/eval-meta-code.str (revision 100) +++ src/str/eval-meta-code.str (working copy) @@ -46,14 +46,15 @@ strategies - eval-meta-code = - (eval-meta-if; id/*say(!" @@@ eval-meta-code: eval-meta-if done")*/) - <+ (lazy-eval-and; id/*say(!" @@@ eval-meta-code: lazy-eval-and done")*/) - <+ (lazy-eval-or; id/*say(!" @@@ eval-meta-code: lazy-eval-or done")*/) - <+ (unroll-meta-for; id/*say(!" @@@ eval-meta-code: unroll-meta-for done")*/) - <+ (unroll-meta-forin; id/*say(!" @@@ eval-meta-code: unroll-meta-forin done")*/) - <+ (expand-pformulas; id/*say(!" @@@ eval-meta-code: expand-pformulas done")*/) // try again on expansed code. + eval-meta-code = try(?PFormulaCall(_, _); say(!"PFormulaCall"); debug);( + (eval-meta-if /*;say(!" @@@ eval-meta-code: eval-meta-if done")*/) + <+ (lazy-eval-and /*;say(!" @@@ eval-meta-code: lazy-eval-and done")*/) + <+ (lazy-eval-or /*;say(!" @@@ eval-meta-code: lazy-eval-or done")*/) + <+ (unroll-meta-for /*;say(!" @@@ eval-meta-code: unroll-meta-for done")*/) + <+ (unroll-meta-forin /*;say(!" @@@ eval-meta-code: unroll-meta-forin done")*/) + <+ (expand-pformulas ;say(!" @@@ eval-meta-code: expand-pformulas done")) <+ all(eval-meta-code) + ) strategies Index: src/str/collect-static-const-decl.str =================================================================== --- src/str/collect-static-const-decl.str (revision 100) +++ src/str/collect-static-const-decl.str (working copy) @@ -88,7 +88,7 @@ /* Only try to expand non recursive parameterized formulas (eg: for * partial evaluation) */ expand-non-recursive-pformulas = - ?PFormulaCall(Identifier(fname), _) + ?PFormulaCall(_, _) ; ExpandPFormulas ; eval-meta-code -- SIGOURE Benoit aka Tsuna (SUSv3 compliant) _____ "On a long enough timeline, the survival rate /EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.

1 0

XRM r101: Fix for the latest version of StrategoXT 0.17M2.
by SIGOURE Benoit 07 Jan '07

07 Jan '07

URL: https://svn.lrde.epita.fr/svn/xrm/trunk ChangeLog: 2007-01-07 SIGOURE Benoit <tsuna(a)lrde.epita.fr> Fix for the latest version of StrategoXT 0.17M2. Due do a recent release of SDF2-Bundle, some experimental features have been dropped which entails that a part of the grammar had to be hacked to work around the problem. * ChangeLog: Fix the previous entry which was very unclear. * doc/user-guide.txt: StrategoXT 0.17M2 is now required. * src/syn/xrm/Makefile.am: Work around to complete the signature of the XRM language. * src/sig/Makefile.am: Use the XRM signature generated under src/syn/xrm instead of regenerating a new (incomplete) one. * src/syn/xrm/XRM-Constant.sdf: Work around the fact that Meta-Environment dropped the {A B}n+ syntax. * src/syn/xrm/XRM-Constant.str: New. ChangeLog | 4 +++- doc/user-guide.txt | 3 +-- src/sig/Makefile.am | 3 +++ src/syn/xrm/Makefile.am | 7 +++++++ src/syn/xrm/XRM-Constant.sdf | 40 ++++++++++++++++++++++++++++++---------- src/syn/xrm/XRM-Constant.str | 7 +++++++ 6 files changed, 51 insertions(+), 13 deletions(-) Index: src/syn/xrm/XRM-Constant.str =================================================================== --- src/syn/xrm/XRM-Constant.str (revision 0) +++ src/syn/xrm/XRM-Constant.str (revision 0) @@ -0,0 +1,7 @@ +// Workaround: see the comment in XRM-Constant.sdf + + // FIXME: Remove this when sdf2rtg supports "ast" attributes. + signature constructors + ConstIntDecList : List(DeclPart) -> ConstantDef + ConstDoubleDecList : List(DeclPart) -> ConstantDef + ConstBoolDecList : List(DeclPart) -> ConstantDef Index: src/syn/xrm/XRM-Constant.sdf =================================================================== --- src/syn/xrm/XRM-Constant.sdf (revision 100) +++ src/syn/xrm/XRM-Constant.sdf (working copy) @@ -57,19 +57,39 @@ %% Declaration lists. A declaration list must declare at least two %% identifiers otherwise it can be seen as a simple declaration already %% handled in the base grammar. + %% This section is a bit hacky for two reasons: + %% First, meta-environment dropped the syntax: + %% "const" "int" {DeclPart ","}2+ ";" -> ConstantDef {cons("ConstIntDecList")} + %% ^^^ + %% That's why we have to write DeclPart "," {DeclPart ","}+ instead. + %% But now the problem is that ConstIntDecList contains a DeclPart and a + %% list of DeclPart whereas we wanted it to contain only a list of DeclPart. + %% That's why we work around this using the experimental "ast()" attribute. + %% Alas, this raises another problem: sdf2rtg does not support the "ast()" + %% attributes and because of that the signatures generated will not declare + %% ConstIntDecList. That's why must declare them manually in a separate .str + %% file. context-free syntax - "const" "int" {DeclPart ","}2+ ";" -> ConstantDef {cons("ConstIntDecList")} - "const" {DeclPart ","}2+ ";" -> ConstantDef {cons("ConstIntDecList")} + "const" "int" DeclPart "," {DeclPart ","}+ ";" + -> ConstantDef {ast("ConstIntDecList(<conc([<1>], <2>)>)") + , cons("ConstIntDecList__")} + "const" DeclPart "," {DeclPart ","}+ ";" + -> ConstantDef {ast("ConstIntDecList(<conc([<1>], <2>)>)") + , cons("ConstIntDecList__")} - "const" "double" {DeclPart ","}2+ ";" - -> ConstantDef {cons("ConstDoubleDecList")} - "rate" {DeclPart ","}2+ ";" - -> ConstantDef {cons("ConstDoubleDecList")} - "prob" {DeclPart ","}2+ ";" - -> ConstantDef {cons("ConstDoubleDecList")} + "const" "double" DeclPart "," {DeclPart ","}+ ";" + -> ConstantDef {ast("ConstDoubleDecList(<conc([<1>], <2>)>)") + , cons("ConstDoubleDecList__")} + "rate" DeclPart "," {DeclPart ","}+ ";" + -> ConstantDef {ast("ConstDoubleDecList(<conc([<1>], <2>)>)") + , cons("ConstDoubleDecList__")} + "prob" DeclPart "," {DeclPart ","}+ ";" + -> ConstantDef {ast("ConstDoubleDecList(<conc([<1>], <2>)>)") + , cons("ConstDoubleDecList__")} - "const" "bool" {DeclPart ","}2+ ";" - -> ConstantDef {cons("ConstBoolDecList")} + "const" "bool" DeclPart "," {DeclPart ","}+ ";" + -> ConstantDef {ast("ConstBoolDecList(<conc([<1>], <2>)>)") + , cons("ConstBoolDecList__")} sorts DeclPart context-free syntax Index: src/syn/xrm/Makefile.am =================================================================== --- src/syn/xrm/Makefile.am (revision 100) +++ src/syn/xrm/Makefile.am (working copy) @@ -84,3 +84,10 @@ XRM-Prefixed.sdf: XRM.def $(SDF_TOOLS)/bin/gen-renamed-sdf-module -i $< -o $@ \ --main XRM --name XRM-Prefixed --prefix XRM + +all-am: XRM.str.stamp + +XRM.str.stamp: XRM.str + mv -f XRM.str XRM.str.bak + cat XRM.str.bak $(srcdir)/XRM-Constant.str >XRM.str + date >XRM.str.stamp Index: src/sig/Makefile.am =================================================================== --- src/sig/Makefile.am (revision 100) +++ src/sig/Makefile.am (working copy) @@ -44,3 +44,6 @@ XRM.def: $(top_builddir)/src/syn/xrm/XRM.def rm -f $@ $(LN_S) $^ $@ +XRM.str: $(top_builddir)/src/syn/xrm/XRM.str + rm -f $@ + $(LN_S) $^ $@ Index: doc/user-guide.txt =================================================================== --- doc/user-guide.txt (revision 100) +++ doc/user-guide.txt (working copy) @@ -42,8 +42,7 @@ **************** - Requirements: - o Stratego/XT 0.17M1 (at least revision 15278 committed Mon, 29 May 2006) - because of libstratego-gpp (added in Stratego/XT 0.17M1 rev 15278). + o Stratego/XT 0.17M2 revision 16205 or later. o A C99 compiler. o OS with executable stack. o ATerm 2.4.2 or newer. Index: ChangeLog =================================================================== --- ChangeLog (revision 100) +++ ChangeLog (working copy) @@ -1,7 +1,9 @@ 2007-01-07 SIGOURE Benoit <tsuna(a)lrde.epita.fr> Update the requirements of XRM. - * doc/user-guide.txt: Here. + * doc/user-guide.txt: GCC is no longer required: any C99-compliant + compiler will do. Using only the strategoxt-packages-stable-latest Nix + channel is recommended in order to install XRM. 2006-12-15 SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> -- SIGOURE Benoit aka Tsuna (SUSv3 compliant) _____ "On a long enough timeline, the survival rate /EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.

1 0

XRM r100: Update the requirements of XRM.
by SIGOURE Benoit 07 Jan '07

07 Jan '07

URL: https://svn.lrde.epita.fr/svn/xrm/trunk ChangeLog: 2007-01-07 SIGOURE Benoit <tsuna(a)lrde.epita.fr> Update the requirements of XRM. * doc/user-guide.txt: Here. user-guide.txt | 5 ++--- 1 files changed, 2 insertions(+), 3 deletions(-) Index: doc/user-guide.txt =================================================================== --- doc/user-guide.txt (revision 99) +++ doc/user-guide.txt (working copy) @@ -44,7 +44,7 @@ - Requirements: o Stratego/XT 0.17M1 (at least revision 15278 committed Mon, 29 May 2006) because of libstratego-gpp (added in Stratego/XT 0.17M1 rev 15278). - o Any version of gcc (3.x or 4.x will do). + o A C99 compiler. o OS with executable stack. o ATerm 2.4.2 or newer. o SDF2-Bundle 2.3.4 or newer. @@ -58,8 +58,7 @@ /!\ Download nix-X.YYpreZZZZ not nixpkgs-X.YYpreZZZZ. Once Nix is installed, use the following commands (you might need to be root depending on how you installed nix): - $ nix-channel --add http://nix.cs.uu.nl/dist/nix/channels-v3/nixpkgs-unstable - $ nix-channel --add http://nix.cs.uu.nl/dist/stratego/channels-v3/strategoxt-unstable + $ nix-channel --add http://nix.cs.uu.nl/dist/stratego/strategoxt-packages-stable-latest/ $ nix-channel --update $ nix-env --install aterm sdf2-bundle strategoxt There you are! -- SIGOURE Benoit aka Tsuna (SUSv3 compliant) _____ "On a long enough timeline, the survival rate /EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.

1 0

Teaching and Learning Online: Notes From Dr.
by Andy Donaldson 06 Jan '07

06 Jan '07

1 0

Strong strategyand analytical skills with the ability to be hands on as well asstrategic.
by Arroyo Bab 05 Jan '07

05 Jan '07

Strong knowledge inobject-oriented design, systems and applications programming, andmultithreading and socket programming. The ability to debate issues, stand firm on principlesyet remain sensitive to others' motivations. As anintegral part of the team, this candidate will be involved in allthe activities related to the business and system flows. Strong analytical andcommunication skills and the ability to multi task is alsorequired. Strong communication and influencingskills. High motivation withattention to detail and the ability to learn quickly. Access Entitlement, DataPrivacy, and Enterprise Security programs. Prior experience in the financialindustry is a big plus. Knowledge of Equity Trading workflow. Experience with both Solaris and Windows ispreferred. Theability to work in collaborative, cross-functional environmentswith a strong results driven, team player attitude. Strong communication skills, both verbal andwritten. Theability to matrix-manage and motivate resources not directlyassigned to you, and act as a leader of a cross-discipline team,are critical. Familiarity with design patterns, strong quantitativeand analytical skills, exceptional communication skills, and theability to work well in a team-oriented environment. In this roleyou will ensure traceability of business objectives throughbusiness, development and QA sign-off. In this role you will be involved in all infrastructure relatedinitiatives and issues, ranging from requirements gathering toproject management to system delivery and problem resolution.

1 0

He likens the memory landscape to a row of houses, each with only enough square footage for a certain number of bytes.
by Key J. Sadie 04 Jan '07

04 Jan '07

1 0

vigor eleventh
by Farrell Y. Peter 03 Jan '07

03 Jan '07

1 0

The hospital's head of urology, Celal Tutuncu, portrayed the case as very "black and white, " and said that action would be taken.
by Hale 03 Jan '07

03 Jan '07

1 0