Skip to content
Commits on Oct 10, 2011
  1. @OpaOnWindowsNow
  2. @OpaOnWindowsNow
  3. @OpaOnWindowsNow

    [feature] closure serialisation: adding closure instrumentation (comp…

    Valentin Gatien-Baron committed with OpaOnWindowsNow Jun 23, 2011
    …iler part)
  4. @OpaOnWindowsNow

    [fix] ei: correctly computing the have_typeof set when variables aren…

    Valentin Gatien-Baron committed with OpaOnWindowsNow Jun 27, 2011
    …'t shared in a recursive set of bindings
  5. @OpaOnWindowsNow

    [fix] pass_ExplicitInstantiation: avoid inserting empty Newval

    Valentin Gatien-Baron committed with OpaOnWindowsNow Aug 12, 2011
Commits on Aug 10, 2011
  1. @nrs135

    [feature] Badop_light: Attempt at OPA integration (partially successf…

    nrs135 committed with Louis Gesbert Jun 14, 2011
    …ul).
  2. [doc] ei: general description of what it does and how

    Valentin Gatien-Baron committed Aug 10, 2011
Commits on Aug 8, 2011
  1. @fpessaux
Commits on Jul 29, 2011
  1. @fpessaux

    [cleanup] remove chars: compiler

    fpessaux committed with François-Régis Sinot Jul 29, 2011
Commits on Jul 22, 2011
  1. [fix] slicer: wrong slicing of nested local functions

    Valentin Gatien-Baron committed Jul 22, 2011
    when an inner function is contained in a local annotated function
Commits on Jul 8, 2011
  1. @akoprow
  2. @fpessaux
  3. @fpessaux

    [fix] Missing position: OPA-697.

    fpessaux committed Jul 8, 2011
    Fixes at least the exhibited case. However there are I think many other case
    with the same error. At least, thsi shows the fixing principle.
Commits on Jul 7, 2011
  1. [feature] adding: an @async directive on bindings to perform asynchro…

    Valentin Gatien-Baron committed Jul 6, 2011
    …nous calls
    
    both local and remote (only client->server though)
Commits on Jun 30, 2011
  1. [fix] pass_simplifyMagic: wrong order of specializers caused wierd re…

    Valentin Gatien-Baron committed Jun 30, 2011
    …cursions to appear in the code
    
    when adding @stringifiers
Commits on Jun 28, 2011
  1. [fix] pass_Purge: not removing @opensums, @openrecord too early

    Valentin Gatien-Baron committed Jun 27, 2011
    turns out that their annotations can be needed, because the type inside and outside the directive
    is not the same
    (unlike coerce, or @nonexpansive)
  2. @fpessaux
Commits on Jun 24, 2011
  1. [fix] lambda lifting: was dropping one more annotation for ei

    Valentin Gatien-Baron committed Jun 24, 2011
    the bug would be triggered any time you had a functor containing a field that was a lambda with a polymorphic type
    that needed propagation and that used one of the argument of the functor (ie its env needed not to
    be empty)
  2. [fix] bypassHoisting: bypasses were not rewritten under apply nodes

    Valentin Gatien-Baron committed Jun 24, 2011
Commits on Jun 22, 2011
  1. [doc] pass_Purge: fixing the compilation of the doc by escaping direc…

    Valentin Gatien-Baron committed Jun 22, 2011
    …tives
  2. [fix] pass_Purge: working around weird annotations of the typer

    Valentin Gatien-Baron committed Jun 22, 2011
    on some forall
  3. [clean] passes: removing the unused field 'funaction' of env_gen

    Valentin Gatien-Baron committed Jun 17, 2011
  4. [refactor] removing most typing directives sooner

    Valentin Gatien-Baron committed Jun 17, 2011
  5. [clean] most passes: removing @expanded_bypass

    Valentin Gatien-Baron committed Jun 17, 2011
    not introduced anymore by BypassHoisting
  6. [clean] bypassHoisting: simplifying it a lot

    Valentin Gatien-Baron committed Jun 17, 2011
    it now only expand bypasses, doesn't try to factor them
    it doesn't hoist them, the lambda lifting does that
    it doesn't eta expand all the bypasses, only those that are not applied
Commits on Jun 21, 2011
  1. Initial open-source release

    MLstate committed Jun 21, 2011
Something went wrong with that request. Please try again.