Commits

Breadcrumbs

History for

on5f87ca6

User selector

All users

Datepicker

All time

Commit History

Commits on May 7, 2021

• Maintain more structural information in type-checking errors

  Show description for e87be39
  antalsz

  committed
  e87be39

  Copy full SHA for e87be39

Commits on Apr 29, 2021

• Merge pull request ocaml-flambda#1400 from lthls/cmm_invariants

  Show description for 159db72
  gasche

  authored
  159db72

  Copy full SHA for 159db72

Commits on Apr 23, 2021

• Remove the availability analysis (#10355)

  Show description for 4f4e46a
  xavierleroy

  authored
  4f4e46a

  Copy full SHA for 4f4e46a

Commits on Apr 22, 2021

• Introduce per-function environment for Emit (#8936)

  gretay-js

  authored
  24d7f3b

  Copy full SHA for 24d7f3b

Commits on Apr 19, 2021

• Fix .depend

  lthls

  committed
  71fb042

  Copy full SHA for 71fb042

• Add an optional check for invariants on the Cmm representation

  lthls

  committed
  9b2c634

  Copy full SHA for 9b2c634

Commits on Apr 7, 2021

• Semantic diffings for functor types and applications (#9331)

  Show description for d4dd566
  

  Drup

  and

  Octachron

  authored
  d4dd566

  Copy full SHA for d4dd566

Commits on Mar 15, 2021

• compiler interface: deprecate single letter warning

  Show description for 7cb5925
  Octachron

  committed
  7cb5925

  Copy full SHA for 7cb5925

Commits on Feb 24, 2021

• Simplify Typedecl_separability unboxed types handling (#10248)

  stedolan

  authored
  4973ab9

  Copy full SHA for 4973ab9

Commits on Feb 11, 2021

• Factorise toplevel phrase evaluation between byte and native (#10187)

  Show description for 95a4963
  AltGr

  authored
  95a4963

  Copy full SHA for 95a4963

Commits on Feb 4, 2021

• Allow to name existentials in pattern-matching (#9584)

  garrigue

  authored
  89aae98

  Copy full SHA for 89aae98

Commits on Feb 2, 2021

• update .depend

  Octachron

  committed
  9f51fac

  Copy full SHA for 9f51fac

Commits on Feb 1, 2021

• Make Tsubst directly retain two arguments, instead of nesting a Ttuple (#10174)

  t6s

  authored
  13fb957

  Copy full SHA for 13fb957

Commits on Jan 26, 2021

• Factorise bytecode and native toplevels (#10124)

  Show description for c2bbc6f
  AltGr

  authored
  c2bbc6f

  Copy full SHA for c2bbc6f

Commits on Jan 20, 2021

• Rename and extract EnvLazy to its own file (#10052)

  trefis

  authored
  d4df6a9

  Copy full SHA for d4df6a9

Commits on Dec 14, 2020

• Check that stack frames are not too large (#10085)

  Show description for baf71d1
  xavierleroy

  authored
  baf71d1

  Copy full SHA for baf71d1

Commits on Dec 8, 2020

• Unify topXXX.mli / opttopXXX.mli (#10061)

  Show description for bfd2efb
  AltGr

  authored
  bfd2efb

  Copy full SHA for bfd2efb

Commits on Nov 6, 2020

• Fix .depend file

  Show description for a0b7aff
  leostera

  committed
  a0b7aff

  Copy full SHA for a0b7aff

Commits on Nov 5, 2020

• Move typed_impl to Typedtree.t

  leostera

  committed
  ee2f3b4

  Copy full SHA for ee2f3b4

• Fix dependency between Printtyped and Typemod

  leostera

  committed
  3be9e19

  Copy full SHA for 3be9e19

Commits on Oct 15, 2020

• Centralized tracking of frontend's global state (#9963)

  Show description for 9fdc759
  trefis

  authored
  9fdc759

  Copy full SHA for 9fdc759

Commits on Oct 13, 2020

• ability to restart compilation from .cmir-linear IR files

  gretay-js

  authored
  855c13c

  Copy full SHA for 855c13c

• Remove dead code (#9974)

  nojb

  authored
  246564e

  Copy full SHA for 246564e

Commits on Oct 10, 2020

• Allow [@tailcall true] and [@tailcall false] (#9754)

  Show description for 82b2982
  gasche

  authored
  82b2982

  Copy full SHA for 82b2982

Commits on Oct 9, 2020

• Merge pull request #9948 from nojb/remove_spacetime

  Show description for 86c8a98
  xavierleroy

  authored
  86c8a98

  Copy full SHA for 86c8a98

Commits on Oct 8, 2020

• Remove labels after calls, checkbound, and GC points

  nojb

  committed
  43883ae

  Copy full SHA for 43883ae

• Remove Spacetime

  nojb

  committed
  540996d

  Copy full SHA for 540996d

Commits on Oct 7, 2020

• Save Linear IR before emit (#8939)

  Show description for 04bceec
  gretay-js

  authored
  04bceec

  Copy full SHA for 04bceec

Commits on Oct 5, 2020

• Fix handling of Exit_compiler exception in toplevel (#9798)

  nojb

  authored
  5381e13

  Copy full SHA for 5381e13

Commits on Aug 25, 2020

• Avoid Cconst_natint where Cconst_int will do (#9838)

  Show description for b735f18
  stedolan

  authored
  b735f18

  Copy full SHA for b735f18

Commits on Jul 25, 2020

• Merge pull request #9752 from xavierleroy/c-calling-conventions

  Show description for e41dc9c
  xavierleroy

  authored
  e41dc9c

  Copy full SHA for e41dc9c

Commits on Jul 24, 2020

• Revised passing of arguments to external C functions

  Show description for 9fcb295
  xavierleroy

  committed
  9fcb295

  Copy full SHA for 9fcb295

Commits on Jul 14, 2020

• Merge pull request #9551 from nojb/microbfd

  Show description for 0802bac
  xavierleroy

  authored
  0802bac

  Copy full SHA for 0802bac

Commits on Jul 7, 2020

• Fix #9721: Injectivity and recursive modules (#9727)

  garrigue

  authored
  46cec11

  Copy full SHA for 46cec11

Commits on Jul 2, 2020

• make alldepend

  nojb

  committed
  6ab3220

  Copy full SHA for 6ab3220

Pagination

Previous

Next