Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 29, 2023

• vscode-nickel: add logo and categories (tweag#1420)

  yannham

  authored
  78dc3b5

• Merge RecordOperand into Atom in the grammar (tweag#1418)

  Show description for 5a1d176
  vkleen

  authored
  5a1d176

• Make the pretty printer parenthesise negative numbers (tweag#1417)

  Show description for f98bc15
  vkleen

  authored
  f98bc15

• Fix LSP panic on requesting doc symbols from VSCode (tweag#1416)

  yannham

  authored
  f94e5af

• Various fixes to VSCode extension (tweag#1413)

  Show description for f5f0ed5
  yannham

  authored
  f5f0ed5

• Make the pretty printer correctly escape field names (tweag#1410)

  Show description for 44f5eb6
  vkleen

  authored
  44f5eb6

Commits on Jun 28, 2023

• Stop recompiling the quoting regex for printing identifiers (tweag#1412)

  Show description for 36425a4
  vkleen

  authored
  36425a4

• Make the pretty printer understand let rec (tweag#1411)

  Show description for ccf88b4
  vkleen

  authored
  ccf88b4

• Full vscode extension (tweag#1405)

  Show description for a4fad2b
  

  szlend

  and

  yannham

  authored
  a4fad2b

Commits on Jun 27, 2023

• Upload docker image to GHCR in release workflow (tweag#1347)

  Show description for 37ab942
  YorikSar

  authored
  37ab942

• [Fix] panic on function contract failure (position of arrow functions not set) (tweag#1407)

  Show description for 19faa5a
  yannham

  authored
  19faa5a

Commits on Jun 26, 2023

• Rename and move workspace crates (tweag#1399)

  Show description for 78e7a88
  

  3 peopleauthored
  78e7a88

• Fix LSP infinite loop on hovering on external imports (tweag#1397)

  Show description for f895fb3
  yannham

  authored
  f895fb3

• In memory imports (tweag#1374)

  Show description for ab693c8
  jneem

  authored
  ab693c8

• flake.lock: Update (tweag#1403)

  Show description for 64e7743
  

  yannham

  and

  github-actions[bot]

  authored
  64e7743

Commits on Jun 23, 2023

• Add missing check for unifying equal type vars (tweag#1400)

  Show description for 4b04b9c
  yannham

  authored
  4b04b9c

Commits on Jun 22, 2023

• ArraySliceFun incorrectly excludes the length of the array as the end index (tweag#1396)

  Show description for f69958b
  vkleen

  authored
  f69958b

• Fix function params hovering in the LSP (tweag#1395)

  Show description for 7dabdcc
  yannham

  authored
  7dabdcc

• Add topiary to pre-commit-hooks (tweag#1391)

  Show description for 7938c0b
  yannham

  authored
  7938c0b

• Better error message when contract makes certain rows illegal (tweag#1323)

  Show description for f5efb90
  Radvendii

  authored
  f5efb90

Commits on Jun 21, 2023

• Inconditionally set usage for import in the LSP (tweag#1390)

  Show description for 7fa8d60
  yannham

  authored
  7fa8d60

• Update README.md (tweag#1388)

  Show description for 558c257
  MMesch

  authored
  558c257

Commits on Jun 20, 2023

• Fix LSP panic when importing JSON (tweag#1382)

  Show description for 9720405
  yannham

  authored
  9720405

Commits on Jun 19, 2023

• add install info using homebrew on macos (tweag#1381)

  Show description for 88945c1
  

  mipmip

  and

  yannham

  authored
  88945c1

• Fix type annotations not generating contracts (tweag#1379)

  Show description for eeed51a
  yannham

  authored
  eeed51a

• Add more structure/hierarchy to integration tests (tweag#1380)

  Show description for 814db6b
  yannham

  authored
  814db6b

• Revert GitHub actions back to macos-latest (tweag#1377)

  Show description for 00b6ce9
  vkleen

  authored
  00b6ce9

• flake.lock: Update (tweag#1375)

  Show description for af8b094
  

  yannham

  and

  github-actions[bot]

  authored
  af8b094

• chore(deps): bump cachix/install-nix-action from 21 to 22 (tweag#1376)

  Show description for cb742d8
  dependabot[bot]

  authored
  cb742d8

Commits on Jun 16, 2023

• Move the CLI into its own crate (tweag#1351)

  Show description for 3e03cc7
  

  vkleen

  and

  yannham

  authored
  3e03cc7

Commits on Jun 15, 2023

• Encode more pre-conditions of stdlib functions as additional contracts (tweag#1358)

  Show description for 6f424fd
  

  3 peopleauthored
  6f424fd

• Explain why Nickel is not an embedded DSL (tweag#1365)

  Show description for 5884cd7
  

  yannham

  and

  vkleen

  authored
  5884cd7

• LSP test harness (tweag#1360)

  Show description for 1676d22
  

  jneem

  and

  yannham

  authored
  1676d22

Commits on Jun 12, 2023

• flake.lock: Update (tweag#1355)

  Show description for 25c509e
  

  yannham

  and

  github-actions[bot]

  authored
  25c509e

Commits on Jun 9, 2023

• Add instructions for building ARM64 artifacts to RELEASING.md (tweag#1346)

  Show description for 9fed132
  

  vkleen

  and

  yannham

  authored
  9fed132

Pagination

PreviousNext