Skip to content
Commits on Dec 15, 2011
  1. @OpaOnWindowsNow
Commits on Nov 22, 2011
  1. @OpaOnWindowsNow
  2. @OpaOnWindowsNow
  3. @OpaOnWindowsNow
  4. @OpaOnWindowsNow

    [fix] closure serialisation: make it more robust in presence of other…

    OpaOnWindowsNow committed
    … directives
    
    pattern detection around @public_env now ignores presence of a sbubset of directives (type and slicer directives)
Commits on Oct 10, 2011
  1. @OpaOnWindowsNow
  2. @OpaOnWindowsNow
  3. @OpaOnWindowsNow

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

    Valentin Gatien-Baron committed with OpaOnWindowsNow
    …iler part)
  4. @OpaOnWindowsNow

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

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

    [fix] pass_ExplicitInstantiation: avoid inserting empty Newval

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

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

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

    Valentin Gatien-Baron committed
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
Commits on Jul 22, 2011
  1. [fix] slicer: wrong slicing of nested local functions

    Valentin Gatien-Baron committed
    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
    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
    …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
    …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
    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
    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
Commits on Jun 22, 2011
  1. [doc] pass_Purge: fixing the compilation of the doc by escaping direc…

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

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

    Valentin Gatien-Baron committed
  4. [refactor] removing most typing directives sooner

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

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

    Valentin Gatien-Baron committed
    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
Something went wrong with that request. Please try again.