Commits

Branch selector

 main

User selector

trefis

Datepicker

All time

Commit History

Commits on Dec 12, 2023

• dune: check-typo

  trefis

  committed
  58024e0

  Copy full SHA for 58024e0

• dune: fix some build errors

  trefis

  committed
  d09c3a7

  Copy full SHA for d09c3a7

Commits on Aug 30, 2022

• fix unix' dune build (#11521)

  trefis

  authored
  2c59219

  Copy full SHA for 2c59219

Commits on Mar 4, 2022

• Merge pull request #10987 from trefis/instance_constructor

  Show description for cfb362b
  trefis

  authored
  cfb362b

  Copy full SHA for cfb362b

• instance_constructor: gasche's review

  trefis

  committed
  1d84c56

  Copy full SHA for 1d84c56

Commits on Feb 15, 2022

• Env: clear uid_to_loc (#11012)

  trefis

  committed
  85039e7

  Copy full SHA for 85039e7

• Env: clear uid_to_loc (#11012)

  trefis

  authored
  0374f64

  Copy full SHA for 0374f64

Commits on Feb 3, 2022

• solve_Ppat_construct: comment on the treatment of existentials

  trefis

  committed
  3eba0b6

  Copy full SHA for 3eba0b6

• instance_constructor: in_pattern doesn't really make sense anymore

  trefis

  committed
  c8404b1

  Copy full SHA for c8404b1

• instance_constructor: only iterate over existentials once

  trefis

  committed
  7d8a99b

  Copy full SHA for 7d8a99b

• dune: fix @libs alias (#10985)

  trefis

  authored
  53f7844

  Copy full SHA for 53f7844

Commits on Jan 14, 2022

• shapes: more sharing in includemod

  

  trefis

  authored and

  gasche

  committed
  8b7d2a0

  Copy full SHA for 8b7d2a0

• shape: only refresh vars when necessary

  

  trefis

  authored and

  gasche

  committed
  fff88af

  Copy full SHA for fff88af

Commits on Nov 9, 2021

• Merge pull request #10718 from voodoos/shapes

  Show description for 17561dc
  trefis

  committed
  17561dc

  Copy full SHA for 17561dc

Commits on Oct 19, 2021

• dune: disable some warnings

  trefis

  committed
  89e4e1e

  Copy full SHA for 89e4e1e

Commits on Jul 15, 2021

• Merge pull request #8516 from lpw25/simplify-type-class-structure

  Show description for b3d2cdc
  trefis

  authored
  b3d2cdc

  Copy full SHA for b3d2cdc

Commits on Jul 14, 2021

• Treat class_signature more like type_expr

  Show description for 845ac93
  

  trefis

  authored and

  lpw25

  committed
  845ac93

  Copy full SHA for 845ac93

Commits on May 10, 2021

• make depend

  trefis

  committed
  d0a4660

  Copy full SHA for d0a4660

• Changes

  trefis

  committed
  8fb2de1

  Copy full SHA for 8fb2de1

• update test

  trefis

  committed
  3b1b916

  Copy full SHA for 3b1b916

• update locations for destructive substitutions

  trefis

  committed
  fae4bbc

  Copy full SHA for fae4bbc

Commits on Apr 19, 2021

• Merge pull request #10225 from EduardoRFS/fix-dune-build

  trefis

  committed
  091bff3

  Copy full SHA for 091bff3

Commits on Feb 16, 2021

• Ctype.copy: do not use physical equality on int

  trefis

  committed
  ba37e05

  Copy full SHA for ba37e05

• Ctype.copy: remove dead code

  trefis

  committed
  a02597f

  Copy full SHA for a02597f

Commits on Feb 11, 2021

• add and use try_logged_mark_node

  trefis

  committed
  4c93c5d

  Copy full SHA for 4c93c5d

Commits on Feb 10, 2021

• dune: fix build of toplevel

  trefis

  committed
  a65a9c7

  Copy full SHA for a65a9c7

• check_scope_escape: use the usual marking mechanism

  Show description for 319fc32
  trefis

  committed
  319fc32

  Copy full SHA for 319fc32

• move marking code to the end of Btype

  trefis

  committed
  d52dcdd

  Copy full SHA for d52dcdd

• generalize: remove incorrect comment

  Show description for fc45fc1
  trefis

  committed
  fc45fc1

  Copy full SHA for fc45fc1

Commits on Feb 9, 2021

• generalize_structure: slight clean up

  trefis

  committed
  c1fc8ea

  Copy full SHA for c1fc8ea

Commits on Feb 5, 2021

• dune: add lazy_backtrack

  trefis

  committed
  e3f2287

  Copy full SHA for e3f2287

Commits on Jan 20, 2021

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

  trefis

  authored
  d4df6a9

  Copy full SHA for d4df6a9

Commits on Jan 19, 2021

• dune files cleanup

  trefis

  committed
  1017c9e

  Copy full SHA for 1017c9e

Commits on Oct 20, 2020

• build_as_type: document why generic_instance can't be used (#9983)

  trefis

  authored
  10364b6

  Copy full SHA for 10364b6

• fix dune build

  trefis

  committed
  1e07bc7

  Copy full SHA for 1e07bc7

Pagination

Previous

Next