Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 31, 2024

• [RFC007] Fix the representation of Ast: remove inner indirection (tweag#2082)

  Show description for 49b26f6
  yannham

  authored
  49b26f6

Commits on Oct 29, 2024

• Use let-blocks when apprioriate in stdlib & examples (tweag#2051)

  Show description for dbd52ac
  yannham

  authored
  dbd52ac

• [RFC007] Conversion from new AST to mainline AST (tweag#2080)

  Show description for ef3034e
  yannham

  authored
  ef3034e

• Add basic runtime metrics for different phases (tweag#2081)

  yannham

  authored
  06caaad

Commits on Oct 28, 2024

• Add types to the bytecode AST (tweag#2079)

  Show description for 1857d33
  yannham

  authored
  1857d33

Commits on Oct 25, 2024

• Switch to toml-edit for spanned deserialization (tweag#2074)

  Show description for 0101a76
  jneem

  authored
  0101a76

• [RFC007] First step: AST representation (tweag#2072)

  Show description for aaa04ab
  

  yannham

  and

  jneem

  authored
  aaa04ab

Commits on Oct 24, 2024

• Add a type parameter to TypeF for contracts (tweag#2078)

  Show description for 6fc81e8
  yannham

  authored
  6fc81e8

• Package management rfc (tweag#1983)

  Show description for 0798460
  

  3 peopleauthored
  0798460

• Strict typechecking mode (tweag#2077)

  Show description for 0b31a5f
  jneem

  authored
  0b31a5f

Commits on Oct 22, 2024

• Bound the length of nls completions (tweag#2073)

  Show description for 6a0d041
  jneem

  authored
  6a0d041

• Disable the spanned-deser feature by default (tweag#2075)

  jneem

  authored
  73d71eb

Commits on Oct 16, 2024

• Final import syntax for import with explicit format (tweag#2070)

  Show description for 00dfa7b
  

  yannham

  and

  jneem

  authored
  00dfa7b

• Fix the proptests by avoiding mod-by-zero (tweag#2071)

  jneem

  authored
  02d66b2

• Use a persistent vector instead of an Rc<[..]> (tweag#2057)

  Show description for 3506821
  jneem

  authored
  3506821

• Fix completions in incomplete field name position. (tweag#2069)

  Show description for 9c06ef5
  jneem

  authored
  9c06ef5

Commits on Oct 10, 2024

• Adds some array benchmarks to the ones tracked in CI (tweag#2067)

  Show description for 983529f
  jneem

  authored
  983529f

• Add a manual chapter for the cli. (tweag#2065)

  Show description for a6825db
  jneem

  authored
  a6825db

Commits on Oct 9, 2024

• ci: Add shorter names to CI jobs (tweag#2066)

  Show description for c6a8ecd
  YorikSar

  authored
  c6a8ecd

• Remove the option for an external formatter in nls (tweag#2064)

  jneem

  authored
  98d7abe

• Experiment: use Tweag's self-hosted runners (tweag#2037)

  Show description for 35c98d1
  

  yannham

  and

  YorikSar

  authored
  35c98d1

• Remove deprecated toRustTarget (tweag#2063)

  jneem

  authored
  85d9f27

Commits on Oct 8, 2024

• Add a flake check for testing the stdlib (tweag#2061)

  Show description for 5fd6a14
  jneem

  authored
  5fd6a14

Commits on Oct 6, 2024

• chore(deps): bump cachix/install-nix-action from 29 to 30 (tweag#2060)

  Show description for cf23a5e
  dependabot[bot]

  authored
  cf23a5e

Commits on Oct 2, 2024

• Detect infinite recursions in nickel doc (tweag#2055)

  Show description for 0b251e8
  yannham

  authored
  0b251e8

• Update flake inputs (tweag#2058)

  Show description for 927ee23
  yannham

  authored
  927ee23

Commits on Sep 30, 2024

• chore(deps): bump actions/github-script from 6 to 7 (tweag#2016)

  Show description for 378ece3
  dependabot[bot]

  authored
  378ece3

Commits on Sep 27, 2024

• chore(deps): bump cachix/install-nix-action from V28 to 29 (tweag#2054)

  Show description for 1ddfe25
  dependabot[bot]

  authored
  1ddfe25

Commits on Sep 26, 2024

• Adds a nickel test subcommand for testing examples in docs. (tweag#2020)

  Show description for eee41e3
  jneem

  authored
  eee41e3

• Thunks for resolved imports (tweag#2052)

  Show description for a285d9e
  

  jneem

  and

  yannham

  authored
  a285d9e

Commits on Sep 18, 2024

• Explicit imports: import 'Raw "sample.html" (tweag#2036)

  Show description for c50647d
  

  vi

  and

  yannham

  authored
  c50647d

Commits on Sep 17, 2024

• Fix release script to handle more deps style (tweag#2044)

  Show description for dceb960
  yannham

  authored
  dceb960

Commits on Sep 16, 2024

• Fix unsound record contract deduplication (tweag#2042)

  Show description for 4a4825e
  

  yannham

  and

  jneem

  authored
  4a4825e

Commits on Sep 13, 2024

• chore(deps): bump cachix/install-nix-action from V27 to 28 (tweag#2038)

  Show description for 5145172
  dependabot[bot]

  authored
  5145172

Commits on Sep 12, 2024

• Add --format argument to nickel query command (tweag#2015)

  Show description for 9bcd369
  

  suimong

  and

  Ben Yang

  authored
  9bcd369

Pagination

PreviousNext