Commits

Branch selector

 master

User selector

fuzzypixelz

Datepicker

All time

Commit History

Commits on Mar 26, 2024

• Add std.string.find_all (tweag#1870)

  Show description for 5d3b244
  

  fuzzypixelz

  and

  yannham

  authored
  5d3b244

Commits on Sep 21, 2022

• Introduce array slices

  Show description for 8cb5caf
  

  fuzzypixelz

  authored and

  yannham

  committed
  8cb5caf

Commits on Sep 12, 2022

• Update src/term.rs

  Show description for a139e0e
  

  fuzzypixelz

  and

  yannham

  committed
  a139e0e

• Rename with_contracts -> with_extra_contracts

  

  fuzzypixelz

  authored and

  yannham

  committed
  afb0e8d

• Use iter::parition to save one pass in ArrayConcat

  

  fuzzypixelz

  authored and

  yannham

  committed
  689fc9d

• Update src/eval/operation.rs

  Show description for b63232a
  

  fuzzypixelz

  and

  yannham

  committed
  b63232a

• Update src/eval/operation.rs

  Show description for 0033010
  

  fuzzypixelz

  and

  yannham

  committed
  0033010

• Update src/term.rs

  Show description for 929976b
  

  fuzzypixelz

  and

  yannham

  committed
  929976b

• Update src/term.rs

  Show description for ae1527e
  

  fuzzypixelz

  and

  yannham

  committed
  ae1527e

• Update src/term.rs

  Show description for 28f91e0
  

  fuzzypixelz

  and

  yannham

  committed
  28f91e0

• Update src/term.rs

  Show description for 7979e8e
  

  fuzzypixelz

  and

  yannham

  committed
  7979e8e

• Update stdlib/contract.ncl

  Show description for dcc4225
  

  fuzzypixelz

  and

  yannham

  committed
  dcc4225

• Update Force documentation.

  

  fuzzypixelz

  authored and

  yannham

  committed
  446ddeb

• Add ArrayAttrs::contracts_cleared for more precise construction.

  

  fuzzypixelz

  authored and

  yannham

  committed
  33681a0

• Don't clone the Environment in Force, instead create a new one.

  

  fuzzypixelz

  authored and

  yannham

  committed
  0247acb

• Document the difference between DeepSeq and Force

  

  fuzzypixelz

  authored and

  yannham

  committed
  806998f

• Track Record call stack elements while forcing

  

  fuzzypixelz

  authored and

  yannham

  committed
  8cd8822

• Add a Force operator

  

  fuzzypixelz

  authored and

  yannham

  committed
  58b5394

• Explain handling of contracts inside ArrayConcat

  

  fuzzypixelz

  authored and

  yannham

  committed
  818ad9e

• Refactor ArrayAttrs implementation

  

  fuzzypixelz

  authored and

  yannham

  committed
  97d1f3b

• Check term type in $array and use %go_array% for precise labels

  

  fuzzypixelz

  authored and

  yannham

  committed
  a4b1202

• Closurize array contracts

  

  fuzzypixelz

  authored and

  yannham

  committed
  0eea9f3

• Reclosurize array elements in DeepSeq

  

  fuzzypixelz

  authored and

  yannham

  committed
  cf7dcec

• Proper handling of contracts in Array concatenation

  

  fuzzypixelz

  authored and

  yannham

  committed
  3147bd7

• Make ArrayLazyAssume lazy in its 3rd contract argument

  

  fuzzypixelz

  authored and

  yannham

  committed
  49b2b2e

• Add %array_lazy_assume% operation

  

  fuzzypixelz

  authored and

  yannham

  committed
  d3ecba7

• Refactor apply_contracts module

  

  fuzzypixelz

  authored and

  yannham

  committed
  ee4b7b3

Commits on Aug 29, 2022

• Merge pull request tweag#796 from tweag/fix/sort-benchmark

  Show description for 9499dc1
  fuzzypixelz

  authored
  9499dc1

• Use proper pretty printing when generating in ncl_random_array

  fuzzypixelz

  committed
  96cdad9

Commits on Aug 9, 2022

• Follow up fix for the mantis benchmark

  fuzzypixelz

  committed
  de7628b

Commits on Aug 8, 2022

• Add random number generation benchmark

  fuzzypixelz

  committed
  6d6abf7

• Improve the sort benchmark

  fuzzypixelz

  committed
  5a9a606

• Fix enum syntax in mantis benchmark

  

  fuzzypixelz

  authored and

  yannham

  committed
  9e56a14

Commits on Aug 5, 2022

• Fix enum syntax in mantis benchmark

  fuzzypixelz

  committed
  2b28965

• Add array sorting test

  fuzzypixelz

  committed
  afe5c8e

Pagination

PreviousNext