Commits

Breadcrumbs

History for

on526f95a

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 11, 2023

• Put the stdlib under the std namespace (tweag#1231)

  Show description for 80edc42
  

  yannham

  and

  vkleen

  authored
  80edc42

  Copy full SHA for 80edc42

• Don't touch not_exported fields during export (tweag#1232)

  Show description for b01c26c
  vkleen

  authored
  b01c26c

  Copy full SHA for b01c26c

Commits on Apr 7, 2023

• Use indexmap for deterministic behavior (tweag#1235)

  Show description for d723a37
  yannham

  authored
  d723a37

  Copy full SHA for d723a37

Commits on Apr 6, 2023

• Implement array merging, take II (tweag#1229)

  Show description for 8436ffe
  

  yannham

  and

  vkleen

  authored
  8436ffe

  Copy full SHA for 8436ffe

Commits on Apr 4, 2023

• Export a parser for Types and refactor a bit parser (tweag#1227)

  Show description for 629a2bf
  yannham

  authored
  629a2bf

  Copy full SHA for 629a2bf

• Always include fields with a value in record.fields (tweag#1225)

  Show description for a0a6449
  vkleen

  authored
  a0a6449

  Copy full SHA for a0a6449

Commits on Apr 3, 2023

• Append a trailing newline to JSON exports (tweag#1218)

  Show description for 032562a
  vkleen

  authored
  032562a

  Copy full SHA for 032562a

• Fix vestigial Num and Str in src/error.rs (tweag#1219)

  vkleen

  authored
  bfab9a2

  Copy full SHA for bfab9a2

Commits on Apr 2, 2023

• Add a merge label (tweag#1217)

  Show description for 441e69f
  yannham

  authored
  441e69f

  Copy full SHA for 441e69f

Commits on Mar 30, 2023

• chore(deps): bump comrak from 0.16.0 to 0.17.0 (tweag#1208)

  Show description for 52511ec
  

  dependabot[bot]

  and

  yannham

  authored
  52511ec

  Copy full SHA for 52511ec

• Format type and contract information in documentation output (tweag#1210)

  Show description for c15f9f5
  vkleen

  authored
  c15f9f5

  Copy full SHA for c15f9f5

• Add a JSON documentation export option (tweag#1209)

  Show description for ad7a683
  

  vkleen

  and

  yannham

  authored
  ad7a683

  Copy full SHA for ad7a683

• Implement the record_lazy_assume primop (tweag#1211)

  Show description for 1e1d16f
  yannham

  authored
  1e1d16f

  Copy full SHA for 1e1d16f

Commits on Mar 29, 2023

• Update stdlib string functions to work on Unicode extended grapheme clusters (tweag#1200)

  Show description for 828d972
  matthew-healy

  authored
  828d972

  Copy full SHA for 828d972

Commits on Mar 28, 2023

• Add Equal contract to the stdlib (tweag#1203)

  Show description for da3de2d
  

  yannham

  and

  vkleen

  authored
  da3de2d

  Copy full SHA for da3de2d

Commits on Mar 27, 2023

• Remove the parameter from Force/DeepSeq (tweag#1204)

  Show description for ec2b85b
  yannham

  authored
  ec2b85b

  Copy full SHA for ec2b85b

• Preliminary fix for recursive records with polymorphic contracts (tweag#1194)

  Show description for c57d6c3
  

  vkleen

  and

  yannham

  authored
  c57d6c3

  Copy full SHA for c57d6c3

Commits on Mar 24, 2023

• Remove head and tail primops (tweag#1197)

  Show description for e70f4ba
  yannham

  authored
  e70f4ba

  Copy full SHA for e70f4ba

Commits on Mar 23, 2023

• Stdlib array extension (tweag#1195)

  Show description for e83f5c7
  

  yannham

  and

  vkleen

  authored
  e83f5c7

  Copy full SHA for e83f5c7

• More generic contract generation (tweag#1192)

  Show description for 7284ce5
  

  vkleen

  and

  yannham

  authored
  7284ce5

  Copy full SHA for 7284ce5

Commits on Mar 21, 2023

• Change unwrap() to expect() with error message

  yannham

  committed
  f2feca4

  Copy full SHA for f2feca4

• Remove dead commented-out code

  yannham

  committed
  a0e5817

  Copy full SHA for a0e5817

• Tentative improvement of subsumption explanations

  yannham

  committed
  3b674c8

  Copy full SHA for 3b674c8

• Apply suggestions from code review

  Show description for 721416e
  

  3 peopleauthored
  721416e

  Copy full SHA for 721416e

• Fix typos in documentation of typecheck module

  yannham

  committed
  851a1ee

  Copy full SHA for 851a1ee

• Add documentation and a trivial subsumption rule

  yannham

  committed
  549ec99

  Copy full SHA for 549ec99

• Follow bidir typechecking more closely

  Show description for 446f165
  yannham

  committed
  446f165

  Copy full SHA for 446f165

Commits on Mar 17, 2023

• Merge diagnostics that show where a violated contract is bound and the violated contract (tweag#1185)

  ebresafegaga

  authored
  df93325

  Copy full SHA for df93325

• Merge pull request tweag#1182 from tweag/task/arbitrary-precision-numbers

  Show description for a0f7ffa
  yannham

  authored
  a0f7ffa

  Copy full SHA for a0f7ffa

• Merge pull request tweag#1179 from tweag/update_flake_lock_action

  Show description for 7dd31b0
  yannham

  authored
  7dd31b0

  Copy full SHA for 7dd31b0

Commits on Mar 16, 2023

• Fix pretty printer with new multiline string syntax (tweag#1189)

  Show description for 7cedc8a
  vkleen

  authored
  7cedc8a

  Copy full SHA for 7cedc8a

• Fix clippy warning for 1.68

  yannham

  committed
  d2b24d9

  Copy full SHA for d2b24d9

• [Refactor] Use type variable kinds when generating contracts (tweag#1186)

  Show description for ae032cb
  vkleen

  authored
  ae032cb

  Copy full SHA for ae032cb

Commits on Mar 15, 2023

• Use to_sci to correctly format numbers

  yannham

  committed
  d2f973e

  Copy full SHA for d2f973e

Commits on Mar 14, 2023

• Use from_sci_str for exact parsing of number literals

  yannham

  committed
  7e23b30

  Copy full SHA for 7e23b30

Pagination

Previous

Next