Commits

Branch selector

 master

User selector

vkleen

Datepicker

All time

Commit History

Commits on Sep 6, 2023

• Fix the release artifacts workflow (tweag#1573)

  Show description for be9269a
  vkleen

  authored
  be9269a

  Copy full SHA for be9269a

Commits on Sep 5, 2023

• Exit with nonzero exit code on failure (tweag#1576)

  Show description for c557118
  vkleen

  authored
  c557118

  Copy full SHA for c557118

Commits on Sep 4, 2023

• Add a note about an AWS provider bug into infra/README.md (tweag#1570)

  Show description for 4b90626
  vkleen

  authored
  4b90626

  Copy full SHA for 4b90626

• Add infrastructure for on-demand ARM64 runners on AWS (tweag#1569)

  Show description for 0dd1e10
  vkleen

  authored
  0dd1e10

  Copy full SHA for 0dd1e10

• Normalize line endings in string literals during parsing (tweag#1562)

  Show description for 305d1a4
  vkleen

  authored
  305d1a4

  Copy full SHA for 305d1a4

Commits on Aug 28, 2023

• Fix some leftover instances of the old enum syntax in the manual (tweag#1548)

  Show description for 7299264
  

  vkleen

  and

  yannham

  authored
  7299264

  Copy full SHA for 7299264

Commits on Aug 25, 2023

• Fix contract application order in let bindings and annotations (tweag#1544)

  Show description for a153a9b
  vkleen

  authored
  a153a9b

  Copy full SHA for a153a9b

• Overhaul and improve testing of the pretty printer (tweag#1532)

  Show description for 6b44916
  vkleen

  authored
  6b44916

  Copy full SHA for 6b44916

Commits on Aug 23, 2023

• Use std:io::IsTerminal instead of atty (tweag#1540)

  Show description for 28a5e10
  vkleen

  authored
  28a5e10

  Copy full SHA for 28a5e10

Commits on Aug 21, 2023

• Refactor destructuring bindings (tweag#1537)

  Show description for db12730
  vkleen

  authored
  db12730

  Copy full SHA for db12730

Commits on Aug 14, 2023

• Use the original unevaluated type and contract annotation in nickel doc (tweag#1529)

  Show description for 3df0131
  vkleen

  authored
  3df0131

  Copy full SHA for 3df0131

Commits on Aug 11, 2023

• LSP formatting without calling the topiary binary (tweag#1526)

  Show description for bb410b8
  

  vkleen

  and

  yannham

  authored
  bb410b8

  Copy full SHA for bb410b8

Commits on Aug 10, 2023

• Use the pretty printer in the Display implementation for Type (tweag#1518)

  Show description for 07be729
  vkleen

  authored
  07be729

  Copy full SHA for 07be729

Commits on Aug 8, 2023

• Refactor the Nickel CLI (tweag#1502)

  Show description for 84da9e7
  vkleen

  authored
  84da9e7

  Copy full SHA for 84da9e7

Commits on Aug 3, 2023

• Import YAML files containing multiple documents as arrays (tweag#1497)

  Show description for ebfa2a6
  vkleen

  authored
  ebfa2a6

  Copy full SHA for ebfa2a6

• Rename the typ field in JSON documentation to type (tweag#1495)

  Show description for 88ede26
  vkleen

  authored
  88ede26

  Copy full SHA for 88ede26

Commits on Jul 31, 2023

• Change rev().next() to next_back() to please clippy (tweag#1490)

  vkleen

  authored
  a51b8ce

  Copy full SHA for a51b8ce

Commits on Jul 28, 2023

• Actually persist output files for formatting (tweag#1483)

  Show description for edc7394
  vkleen

  authored
  edc7394

  Copy full SHA for edc7394

Commits on Jul 26, 2023

• Ignore missing field definition errors during documentation extraction (tweag#1476)

  Show description for b6646a8
  vkleen

  authored
  b6646a8

  Copy full SHA for b6646a8

Commits on Jul 25, 2023

• Evaluate terms before extracting documentation (tweag#1463)

  Show description for 835f15c
  

  vkleen

  and

  yannham

  authored
  835f15c

  Copy full SHA for 835f15c

Commits on Jul 21, 2023

• Error on serializing very large numbers (tweag#1470)

  Show description for aff367d
  vkleen

  authored
  aff367d

  Copy full SHA for aff367d

Commits on Jul 17, 2023

• Make the lexer accept scientific notation (tweag#1456)

  Show description for da07e3e
  vkleen

  authored
  da07e3e

  Copy full SHA for da07e3e

• Static linking with nickel format (tweag#1455)

  Show description for 3d47bac
  

  vkleen

  and

  yannham

  authored
  3d47bac

  Copy full SHA for 3d47bac

Commits on Jul 13, 2023

• Update KEYWORDS with ne builtin type names (tweag#1451)

  Show description for 76905f0
  vkleen

  authored
  76905f0

  Copy full SHA for 76905f0

• Topiary integration as nickel format (tweag#1371)

  Show description for 997e344
  vkleen

  authored
  997e344

  Copy full SHA for 997e344

Commits on Jul 11, 2023

• Fix release artifacts workflow failure (tweag#1441)

  Show description for c6e98d8
  vkleen

  authored
  c6e98d8

  Copy full SHA for c6e98d8

Commits on Jul 10, 2023

• Add term::make::static_access (tweag#1438)

  Show description for 63bf9bb
  vkleen

  authored
  63bf9bb

  Copy full SHA for 63bf9bb

Commits on Jun 29, 2023

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

  Show description for 5a1d176
  vkleen

  authored
  5a1d176

  Copy full SHA for 5a1d176

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

  Show description for f98bc15
  vkleen

  authored
  f98bc15

  Copy full SHA for f98bc15

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

  Show description for 44f5eb6
  vkleen

  authored
  44f5eb6

  Copy full SHA for 44f5eb6

Commits on Jun 28, 2023

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

  Show description for 36425a4
  vkleen

  authored
  36425a4

  Copy full SHA for 36425a4

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

  Show description for ccf88b4
  vkleen

  authored
  ccf88b4

  Copy full SHA for ccf88b4

Commits on Jun 26, 2023

• Rename and move workspace crates (tweag#1399)

  Show description for 78e7a88
  

  3 peopleauthored
  78e7a88

  Copy full SHA for 78e7a88

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

  Copy full SHA for f69958b

Commits on Jun 19, 2023

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

  Show description for 00b6ce9
  vkleen

  authored
  00b6ce9

  Copy full SHA for 00b6ce9

Pagination

Previous

Next