Commits

Branch selector

 master

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 31, 2024

• Missing event.json upload (tweag#2018)

  Show description for 734bcc9
  jneem

  authored
  734bcc9

Commits on Jul 29, 2024

• Track benchmarks in CI (tweag#2012)

  Show description for 0e060a0
  jneem

  authored
  0e060a0

• 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 18, 2024

• [Doc] Pass on the contract chapter of the manual (tweag#1999)

  Show description for 4cb1679
  

  yannham

  and

  jneem

  authored
  4cb1679

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

• More aggressive type/contract deduplication on hover (tweag#1984)

  Show description for 935519f
  jneem

  authored
  935519f

• 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 2, 2024

• Make the LSP configurable (tweag#1974)

  Show description for 32a4b67
  

  thufschmitt

  and

  yannham

  authored
  32a4b67

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

• chore(deps): bump DeterminateSystems/update-flake-lock from 22 to 23 (tweag#1981)

  Show description for a3bdf62
  dependabot[bot]

  authored
  a3bdf62

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 21, 2024

• Don't blacklist files forever in the lsp (tweag#1973)

  Show description for e2e6742
  thufschmitt

  authored
  e2e6742

Commits on Jun 18, 2024

• Combine metadata for completion items instead of choosing arbitrarily. (tweag#1940)

  Show description for f5b5876
  

  jneem

  and

  yannham

  authored
  f5b5876

• 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

Pagination

PreviousNext