Commits

Branch selector

 302db5f

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 26, 2022

• Update native toplevel for include functor changes from ocaml-jst

  ccasin

  committed
  302db5f

  Copy full SHA for 302db5f

• Merge ocaml-jst

  ccasin

  committed
  492c3f5

  Copy full SHA for 492c3f5

• Squashed 'ocaml/' changes from ce76e02..ac520fe

  Show description for 01318c3
  ccasin

  committed
  01318c3

  Copy full SHA for 01318c3

• Merge ocaml-jst

  ccasin

  committed
  23fa2a2

  Copy full SHA for 23fa2a2

• Squashed 'ocaml/' changes from 0b0aefb..ce76e02

  Show description for 80b1cf0
  ccasin

  committed
  80b1cf0

  Copy full SHA for 80b1cf0

Commits on Jul 25, 2022

• Bugfix for type_application (ocaml-flambda#746)

  Show description for 7fbfcdb
  stedolan

  authored
  7fbfcdb

  Copy full SHA for 7fbfcdb

Commits on Jul 21, 2022

• PR580 for main branch (ocaml-flambda#743)

  Show description for 274a174
  mshinwell

  authored
  274a174

  Copy full SHA for 274a174

• Fix renaming for continuation handlers (ocaml-flambda#741)

  lthls

  authored
  a4c5dd0

  Copy full SHA for a4c5dd0

• Backport first part of ocaml/ocaml PR10498 (ocaml-flambda#737)

  mshinwell

  authored
  d8d9d96

  Copy full SHA for d8d9d96

• Backport PR10404 (dataflow analyser), but not the Liveness changes (ocaml-flambda#738)

  mshinwell

  authored
  0b0c21d

  Copy full SHA for 0b0c21d

Commits on Jul 20, 2022

• Fixes around inlining attributes in Classic mode (ocaml-flambda#736)

  lthls

  authored
  abfe99b

  Copy full SHA for abfe99b

Commits on Jul 19, 2022

• Fix return mode for eta-expanded function in type_argument (ocaml-flambda#735)

  lpw25

  authored
  f1b4252

  Copy full SHA for f1b4252

Commits on Jul 15, 2022

• Classic inlining and continuations continued (exceptions) (ocaml-flambda#733)

  lthls

  authored
  2bb1959

  Copy full SHA for 2bb1959

• Build ocamlobjinfo as part of the boot compiler (ocaml-flambda#731)

  lthls

  authored
  73e0a49

  Copy full SHA for 73e0a49

• Allow free names of Code.t to be an overapproximation (ocaml-flambda#732)

  Show description for ac350d1
  mshinwell

  authored
  ac350d1

  Copy full SHA for ac350d1

• Classic mode inlining fix (ocaml-flambda#730)

  Show description for 6df5926
  lthls

  authored
  6df5926

  Copy full SHA for 6df5926

Commits on Jul 14, 2022

• (Possibly temporary) fix for meet_equals_tagged_immediates (ocaml-flambda#729)

  mshinwell

  authored
  748a05e

  Copy full SHA for 748a05e

Commits on Jul 13, 2022

• Fix treatment of functions called [@nontail] (ocaml-flambda#725)

  lpw25

  authored
  897721d

  Copy full SHA for 897721d

• Make Static_const.t private (ocaml-flambda#727)

  mshinwell

  authored
  d69281e

  Copy full SHA for d69281e

• Allow lifting of immutable arrays (ocaml-flambda#721)

  mshinwell

  authored
  98c06c2

  Copy full SHA for 98c06c2

• Overhaul of Reify and Provers (ocaml-flambda#726)

  Show description for 414371d
  

  mshinwell

  and

  lthls

  authored
  414371d

  Copy full SHA for 414371d

Commits on Jul 12, 2022

• Minor cleanups related to CRs (including clarification about some arithmetic ops) (ocaml-flambda#723)

  mshinwell

  authored
  73f18ba

  Copy full SHA for 73f18ba

• Flambda2 typing cleanups (ocaml-flambda#722)

  mshinwell

  authored
  4d2287b

  Copy full SHA for 4d2287b

Commits on Jul 11, 2022

• CSE review: small fixes (ocaml-flambda#719)

  lthls

  authored
  50ee67d

  Copy full SHA for 50ee67d

Commits on Jul 8, 2022

• Add Minicheck library and use it to test Patricia_tree (ocaml-flambda#670)

  lukemaurer

  authored
  f99f096

  Copy full SHA for f99f096

• Minor tidy-ups in Inlining_transforms and Inlining_helpers (ocaml-flambda#716)

  mshinwell

  authored
  26ec956

  Copy full SHA for 26ec956

• Add comment on renaming.mli (ocaml-flambda#718)

  mshinwell

  authored
  417625d

  Copy full SHA for 417625d

• Rename perm -> renaming (ocaml-flambda#717)

  mshinwell

  authored
  561d612

  Copy full SHA for 561d612

Commits on Jul 7, 2022

• Tidy up Targetint_31_63 etc. (ocaml-flambda#714)

  mshinwell

  authored
  da49547

  Copy full SHA for da49547

• Implement suggestions from xclerc in Number_adjuncts (ocaml-flambda#713)

  mshinwell

  authored
  0089163

  Copy full SHA for 0089163

• Comment fixing (ocaml-flambda#715)

  Show description for c50f375
  mshinwell

  authored
  c50f375

  Copy full SHA for c50f375

• Review of nominal (ocaml-flambda#708)

  lukemaurer

  authored
  d1ec75a

  Copy full SHA for d1ec75a

• Fix build_upstream post-PR703 (ocaml-flambda#712)

  mshinwell

  authored
  1647aea

  Copy full SHA for 1647aea

Commits on Jul 6, 2022

• Don't propagate (redundant) recursive equations in meet_env_extension (ocaml-flambda#711)

  lthls

  authored
  e81ca6b

  Copy full SHA for e81ca6b

• To_cmm_expr code review (ocaml-flambda#684)

  mshinwell

  authored
  01b641c

  Copy full SHA for 01b641c

Pagination

Previous

Next