Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 2, 2024

• [Optimization] Cache contract generation and pre-compile some match expression (tweag#2013)

  Show description for b3c8e30
  yannham

  authored
  b3c8e30

Commits on Jul 29, 2024

• Adding documentation for subtyping (tweag#1990)

  Show description for 699cf5d
  

  Eckaos

  and

  yannham

  authored
  699cf5d

Commits on Jul 26, 2024

• Implement prepare_custom_contract natively (tweag#2008)

  Show description for a7dc359
  yannham

  authored
  a7dc359

• Remove the contract guarding contract.apply (tweag#2009)

  Show description for 74fea84
  yannham

  authored
  74fea84

Commits on Jul 25, 2024

• apply_as_custom -> check (tweag#2002)

  Show description for e4ff05a
  yannham

  authored
  e4ff05a

• Add new perf measures (tweag#2004)

  Show description for b53837f
  yannham

  authored
  b53837f

Commits on Jul 24, 2024

• Add trigonometric functions, pi, e and log to the numbers module (tweag#2006)

  Show description for ffe80f0
  Hugal31

  authored
  ffe80f0

Commits on Jul 19, 2024

• Adding dictionary constructor to subsumption rule (tweag#1998)

  Show description for e9770b0
  

  Eckaos

  and

  yannham

  authored
  e9770b0

• Add short-circuiting fold_left (tweag#2000)

  Show description for b934978
  

  jneem

  and

  yannham

  authored
  b934978

Commits on Jul 17, 2024

• Add boolean contract combinators to the stdlib (tweag#1995)

  Show description for 6be1f2c
  

  yannham

  and

  jneem

  authored
  6be1f2c

• adding array constructor to subsumption rule (tweag#1991)

  Show description for ffa5565
  Eckaos

  authored
  ffa5565

• Re-introduce unified representation for custom contracts, migrate builtin contracts (tweag#1987)

  Show description for 1ac48b8
  

  yannham

  and

  jneem

  authored
  1ac48b8

Commits on Jul 16, 2024

• Refactor type error for primops (tweag#1994)

  Show description for fc88b6d
  yannham

  authored
  fc88b6d

Commits on Jul 10, 2024

• clean up outdated primitive operator names (tweag#1992)

  Show description for 090984d
  jeremyschlatter

  authored
  090984d

Commits on Jul 8, 2024

• Comparisons for number, string, array, and record (tweag#1985)

  Show description for 58ef79d
  jeremyschlatter

  authored
  58ef79d

• Optimize Equal using %record/split_pair% (tweag#1988)

  Show description for 3750621
  yannham

  authored
  3750621

Commits on Jul 4, 2024

• flake: remove redundant transitive dependencies (tweag#1986)

  Show description for 6b1fe61
  

  jeremyschlatter

  and

  yannham

  authored
  6b1fe61

Commits on Jul 3, 2024

• Split contracts into an immediate part and a delayed part (tweag#1975)

  Show description for 18ee89b
  

  yannham

  and

  jneem

  authored
  18ee89b

• Add record/split_pair and record/disjoint_merge (tweag#1982)

  Show description for 3bafeff
  yannham

  authored
  3bafeff

Commits on Jul 1, 2024

• Add a subsumption rule between record types and dictionary types (tweag#1977)

  Show description for af5d1b5
  Eckaos

  authored
  af5d1b5

• Allow some function equality comparison (tweag#1978)

  Show description for 89639ca
  yannham

  authored
  89639ca

Commits on Jun 24, 2024

• Introduce validators for building custom contracts (tweag#1970)

  Show description for 9969d9a
  

  yannham

  and

  jneem

  authored
  9969d9a

• Add dedicated node and constructor for general custom contracts (tweag#1964)

  Show description for dd0ccb1
  yannham

  authored
  dd0ccb1

Commits on Jun 18, 2024

• Bump comrak (tweag#1961)

  jneem

  authored
  0af4fca

Commits on Jun 13, 2024

• Add a contract node to the AST (tweag#1955)

  Show description for d8cdd77
  

  yannham

  and

  jneem

  authored
  d8cdd77

Commits on Jun 12, 2024

• Do not evaluate types away (tweag#1954)

  Show description for c7fc4a1
  yannham

  authored
  c7fc4a1

• Add span information for TOML imports (tweag#1949)

  Show description for 808b268
  yannham

  authored
  808b268

Commits on Jun 11, 2024

• [release.sh] update to 1.7.0 (tweag#1951)

  yannham

  authored
  03cf743

Commits on Jun 10, 2024

• Add from/to_tag_and_arg (tweag#1939)

  Show description for 95967eb
  

  yannham

  and

  jneem

  authored
  95967eb

• Fix nls crash, and better refresh diagnostics. (tweag#1944)

  Show description for 446128b
  jneem

  authored
  446128b

Commits on Jun 7, 2024

• Fix record.get_or on undefined field (tweag#1946)

  Show description for c3c7389
  yannham

  authored
  c3c7389

• Rename and re-organize primitive operators (tweag#1937)

  Show description for 4c29726
  yannham

  authored
  4c29726

• Add documentation for extended patterns (tweag#1924)

  Show description for 519c022
  

  yannham

  and

  jneem

  authored
  519c022

Commits on Jun 3, 2024

• Add --version support to NLS, fix feature unif (tweag#1936)

  Show description for d4d864d
  yannham

  authored
  d4d864d

Commits on May 30, 2024

• Add stdlib function array.at_or (tweag#1927)

  Show description for c69a48b
  

  olorin37

  and

  yannham

  authored
  c69a48b

Pagination

PreviousNext