Commits

Branch selector

 e9770b0

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 19, 2024

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

  Show description for e9770b0
  

  Eckaos

  and

  yannham

  authored
  e9770b0

  Copy full SHA for e9770b0

• Add short-circuiting fold_left (tweag#2000)

  Show description for b934978
  

  jneem

  and

  yannham

  authored
  b934978

  Copy full SHA for 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

  Copy full SHA for 4cb1679

Commits on Jul 17, 2024

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

  Show description for 6be1f2c
  

  yannham

  and

  jneem

  authored
  6be1f2c

  Copy full SHA for 6be1f2c

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

  Show description for ffa5565
  Eckaos

  authored
  ffa5565

  Copy full SHA for ffa5565

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

  Show description for 1ac48b8
  

  yannham

  and

  jneem

  authored
  1ac48b8

  Copy full SHA for 1ac48b8

Commits on Jul 16, 2024

• Refactor type error for primops (tweag#1994)

  Show description for fc88b6d
  yannham

  authored
  fc88b6d

  Copy full SHA for fc88b6d

Commits on Jul 10, 2024

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

  Show description for 090984d
  jeremyschlatter

  authored
  090984d

  Copy full SHA for 090984d

Commits on Jul 8, 2024

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

  Show description for 58ef79d
  jeremyschlatter

  authored
  58ef79d

  Copy full SHA for 58ef79d

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

  Show description for 3750621
  yannham

  authored
  3750621

  Copy full SHA for 3750621

Commits on Jul 4, 2024

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

  Show description for 6b1fe61
  

  jeremyschlatter

  and

  yannham

  authored
  6b1fe61

  Copy full SHA for 6b1fe61

Commits on Jul 3, 2024

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

  Show description for 935519f
  jneem

  authored
  935519f

  Copy full SHA for 935519f

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

  Show description for 18ee89b
  

  yannham

  and

  jneem

  authored
  18ee89b

  Copy full SHA for 18ee89b

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

  Show description for 3bafeff
  yannham

  authored
  3bafeff

  Copy full SHA for 3bafeff

Commits on Jul 2, 2024

• Make the LSP configurable (tweag#1974)

  Show description for 32a4b67
  

  thufschmitt

  and

  yannham

  authored
  32a4b67

  Copy full SHA for 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

  Copy full SHA for af5d1b5

• Allow some function equality comparison (tweag#1978)

  Show description for 89639ca
  yannham

  authored
  89639ca

  Copy full SHA for 89639ca

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

  Show description for a3bdf62
  dependabot[bot]

  authored
  a3bdf62

  Copy full SHA for a3bdf62

Commits on Jun 24, 2024

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

  Show description for 9969d9a
  

  yannham

  and

  jneem

  authored
  9969d9a

  Copy full SHA for 9969d9a

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

  Show description for dd0ccb1
  yannham

  authored
  dd0ccb1

  Copy full SHA for dd0ccb1

Commits on Jun 21, 2024

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

  Show description for e2e6742
  thufschmitt

  authored
  e2e6742

  Copy full SHA for 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

  Copy full SHA for f5b5876

• Bump comrak (tweag#1961)

  jneem

  authored
  0af4fca

  Copy full SHA for 0af4fca

Commits on Jun 13, 2024

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

  Show description for d8cdd77
  

  yannham

  and

  jneem

  authored
  d8cdd77

  Copy full SHA for d8cdd77

Commits on Jun 12, 2024

• Do not evaluate types away (tweag#1954)

  Show description for c7fc4a1
  yannham

  authored
  c7fc4a1

  Copy full SHA for c7fc4a1

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

  Show description for 808b268
  yannham

  authored
  808b268

  Copy full SHA for 808b268

Commits on Jun 11, 2024

• chore(deps): bump braces from 3.0.2 to 3.0.3 in /lsp/vscode-extension (tweag#1953)

  Show description for 2a5ca51
  dependabot[bot]

  authored
  2a5ca51

  Copy full SHA for 2a5ca51

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

  yannham

  authored
  03cf743

  Copy full SHA for 03cf743

• Update the release.sh script (tweag#1952)

  Show description for 7f9eb5a
  yannham

  authored
  7f9eb5a

  Copy full SHA for 7f9eb5a

Commits on Jun 10, 2024

• Add from/to_tag_and_arg (tweag#1939)

  Show description for 95967eb
  

  yannham

  and

  jneem

  authored
  95967eb

  Copy full SHA for 95967eb

• Update dependencies in the background evaluator (tweag#1948)

  Show description for 9fe8b98
  jneem

  authored
  9fe8b98

  Copy full SHA for 9fe8b98

• flake.lock: Update (tweag#1947)

  Show description for c767d09
  

  yannham

  and

  github-actions[bot]

  authored
  c767d09

  Copy full SHA for c767d09

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

  Show description for 446128b
  jneem

  authored
  446128b

  Copy full SHA for 446128b

Commits on Jun 7, 2024

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

  Show description for c3c7389
  yannham

  authored
  c3c7389

  Copy full SHA for c3c7389

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

  Show description for 4c29726
  yannham

  authored
  4c29726

  Copy full SHA for 4c29726

Pagination

Previous

Next