Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 8, 2022

• Reorganize term module and submodules

  yannham

  committed
  9350c37

  Copy full SHA for 9350c37

• Remove trailing m from multiline strings (tweag#979)

  Show description for 760a611
  matthew-healy

  authored
  760a611

  Copy full SHA for 760a611

Commits on Oct 4, 2022

• fix mantis benchmark by changing "priority" var (became a reserved keyword in 7a758f8)

  Acaccia

  committed
  f949643

  Copy full SHA for f949643

Commits on Sep 23, 2022

• Merge pull request tweag#839 from tweag/task/typecheck-initial-context

  Show description for 2e70801
  yannham

  authored
  2e70801

  Copy full SHA for 2e70801

Commits on Sep 22, 2022

• Initial context for typechecking

  Show description for 4d7d062
  yannham

  committed
  4d7d062

  Copy full SHA for 4d7d062

Commits on Sep 21, 2022

• Introduce array slices

  Show description for 8cb5caf
  

  fuzzypixelz

  authored and

  yannham

  committed
  8cb5caf

  Copy full SHA for 8cb5caf

Commits on Sep 19, 2022

• Fix bench typecheck-nixpkgs-lib

  Show description for 485f468
  yannham

  committed
  485f468

  Copy full SHA for 485f468

Commits on Sep 6, 2022

• ErrorTolerance enum.

  torhovland

  committed
  748a244

  Copy full SHA for 748a244

Commits on Sep 2, 2022

• Remove the lax methods from Cache. Lax is now controlled by Cache::error_tolerant.

  torhovland

  committed
  1f21359

  Copy full SHA for 1f21359

Commits on Aug 30, 2022

• Merge pull request tweag#801 from tweag/refactor/remove-global-type-env

  Show description for 037d3db
  yannham

  authored
  037d3db

  Copy full SHA for 037d3db

Commits on Aug 29, 2022

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

  Show description for 9499dc1
  fuzzypixelz

  authored
  9499dc1

  Copy full SHA for 9499dc1

• Use proper pretty printing when generating in ncl_random_array

  fuzzypixelz

  committed
  96cdad9

  Copy full SHA for 96cdad9

Commits on Aug 9, 2022

• Refactoring of global typing environment

  Show description for ce0f8e7
  yannham

  committed
  ce0f8e7

  Copy full SHA for ce0f8e7

• Follow up fix for the mantis benchmark

  fuzzypixelz

  committed
  de7628b

  Copy full SHA for de7628b

Commits on Aug 8, 2022

• Add random number generation benchmark

  fuzzypixelz

  committed
  6d6abf7

  Copy full SHA for 6d6abf7

• Improve the sort benchmark

  fuzzypixelz

  committed
  5a9a606

  Copy full SHA for 5a9a606

• Merge pull request tweag#797 from tweag/fix/mantis-benchmark

  Show description for 54d7550
  yannham

  authored
  54d7550

  Copy full SHA for 54d7550

Commits on Aug 5, 2022

• Fix enum syntax in mantis benchmark

  fuzzypixelz

  committed
  2b28965

  Copy full SHA for 2b28965

• Merge pull request tweag#789 from tweag/fix/fold-benches

  Show description for d4e14aa
  yannham

  authored
  d4e14aa

  Copy full SHA for d4e14aa

• Markdown linting of LSP and benches READMEs

  yannham

  committed
  1622fe6

  Copy full SHA for 1622fe6

Commits on Aug 3, 2022

• Fix fold benchmarks

  fuzzypixelz

  committed
  0819e53

  Copy full SHA for 0819e53

Commits on Jul 28, 2022

• Fix sum benchmark and enable primes benchmark

  fuzzypixelz

  committed
  c378826

  Copy full SHA for c378826

Commits on Jul 26, 2022

• Use contract.from_predicate in Prime

  fuzzypixelz

  committed
  93eea5a

  Copy full SHA for 93eea5a

Commits on Jul 22, 2022

• Add primes benchmark

  fuzzypixelz

  committed
  2bdbf1f

  Copy full SHA for 2bdbf1f

• Simplify sum benchmark

  fuzzypixelz

  committed
  51b1a37

  Copy full SHA for 51b1a37

Commits on Jul 8, 2022

• Add array/sum benchmark

  fuzzypixelz

  committed
  767245b

  Copy full SHA for 767245b

Commits on Jun 24, 2022

• Merge pull request tweag#734 from tweag/refactor/typechecking/walk-phase

  Show description for aa990bd
  yannham

  authored
  aa990bd

  Copy full SHA for aa990bd

Commits on Jun 21, 2022

• Merge pull request tweag#732 from tweag/unary-strismatch

  Show description for b1f29d6
  fuzzypixelz

  authored
  b1f29d6

  Copy full SHA for b1f29d6

• add missing forall to count function in benches/nixpkgs/lists.ncl

  francois-caddet

  committed
  815e2a4

  Copy full SHA for 815e2a4

• Avoid recompiling regex in %str_is_match%

  fuzzypixelz

  committed
  73c0923

  Copy full SHA for 73c0923

• Merge pull request tweag#722 from tweag/bench/nixlists-typecheck

  Show description for 9a7b45c
  yannham

  authored
  9a7b45c

  Copy full SHA for 9a7b45c

Commits on Jun 20, 2022

• fix typechecking issues. Possible errors or improvments.

  francois-caddet

  committed
  4aa189e

  Copy full SHA for 4aa189e

• Apply suggestions from code review

  Show description for 56191fe
  

  francois-caddet

  and

  yannham

  authored
  56191fe

  Copy full SHA for 56191fe

Commits on Jun 14, 2022

• Fix unbound variables in mantis bench

  yannham

  committed
  161f369

  Copy full SHA for 161f369

Commits on Jun 8, 2022

• finish translation

  Show description for eac9179
  francois-caddet

  committed
  eac9179

  Copy full SHA for eac9179

Pagination

Previous

Next