Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 4, 2023

• Revert to special casing the parsing of "%...%{ in multiline strings (tweag#1566)

  Show description for d2316b6
  

  yannham

  and

  jneem

  authored
  d2316b6

  Copy full SHA for d2316b6

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 27, 2023

• Fix "wich" typo in documentation (tweag#1547)

  deotimedev

  authored
  77aac66

  Copy full SHA for 77aac66

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

Commits on Jul 11, 2023

• Fix current version in manual and README (tweag#1440)

  yannham

  authored
  cd7eac2

  Copy full SHA for cd7eac2

Commits on Jun 29, 2023

• manual docs: fix mismatch between input command and its echo in the output (tweag#1421)

  Show description for f93b823
  

  foo-jin

  and

  vkleen

  authored
  f93b823

  Copy full SHA for f93b823

Commits on Jun 1, 2023

• Documentation fixes (tweag#1335)

  Show description for 018afbd
  

  mkatychev

  and

  yannham

  authored
  018afbd

  Copy full SHA for 018afbd

Commits on May 21, 2023

• Update roadmap in manual introduction (tweag#1307)

  vkleen

  authored
  79abacf

  Copy full SHA for 79abacf

Commits on May 15, 2023

• Update the manual introduction (tweag#1299)

  vkleen

  authored
  5c3a498

  Copy full SHA for 5c3a498

Commits on May 4, 2023

• Err on the side of too much syntax highlighting (tweag#1295)

  vkleen

  authored
  1be55fd

  Copy full SHA for 1be55fd

• Convert import to statement instead of pseudo-fun (tweag#1293)

  Show description for f553b80
  YorikSar

  authored
  f553b80

  Copy full SHA for f553b80

Commits on Apr 28, 2023

• A quick pass over the merging section in the user manual (tweag#1290)

  Show description for 9ba6a37
  

  vkleen

  and

  yannham

  authored
  9ba6a37

  Copy full SHA for 9ba6a37

Commits on Apr 26, 2023

• Change the enum tag start delimiter from backtick to single-quote (tweag#1279)

  Show description for c77cdcf
  vkleen

  authored
  c77cdcf

  Copy full SHA for c77cdcf

Commits on Apr 19, 2023

• A pass over user-manual/contracts.md (tweag#1265)

  vkleen

  authored
  bc0f8a2

  Copy full SHA for bc0f8a2

Commits on Apr 18, 2023

• Pass on the tutorial (tweag#1260)

  Show description for 92e9be6
  

  yannham

  and

  vkleen

  authored
  92e9be6

  Copy full SHA for 92e9be6

• Pass on type-vs-contracts manual section (tweag#1259)

  Show description for 87275ba
  

  yannham

  and

  vkleen

  authored
  87275ba

  Copy full SHA for 87275ba

• Update the roadmap (tweag#1258)

  yannham

  authored
  3c311fd

  Copy full SHA for 3c311fd

• Pass on the merging section of the manual (tweag#1256)

  Show description for 674faf5
  

  yannham

  and

  vkleen

  authored
  674faf5

  Copy full SHA for 674faf5

• Pass over doc/manual/syntax.md (tweag#1254)

  Show description for ff3db40
  

  vkleen

  and

  yannham

  authored
  ff3db40

  Copy full SHA for ff3db40

• Fix CI (markdownlint on typing section) (tweag#1255)

  yannham

  authored
  96d48a6

  Copy full SHA for 96d48a6

Commits on Apr 17, 2023

• Pass on the typing section of the manual (tweag#1253)

  Show description for 38aaf3a
  

  3 peopleauthored
  38aaf3a

  Copy full SHA for 38aaf3a

• Pass on the correctness manual section

  Show description for ba90b6e
  yannham

  committed
  ba90b6e

  Copy full SHA for ba90b6e

• Pass on the contracts manual section (tweag#1250)

  Show description for f345c57
  

  yannham

  and

  vkleen

  authored
  f345c57

  Copy full SHA for f345c57

Commits on Apr 13, 2023

• Update documentation to reflect RFC002 and RFC005 (tweag#1237)

  Show description for 370b1f4
  

  yannham

  and

  vkleen

  authored
  370b1f4

  Copy full SHA for 370b1f4

• Update manual for new stdlib hierarchy (tweag#1243)

  yannham

  authored
  0b3b4ce

  Copy full SHA for 0b3b4ce

Commits on Mar 17, 2023

• Update doc/manual/typing.md

  Show description for 3482db2
  

  yannham

  and

  ebresafegaga

  authored
  3482db2

  Copy full SHA for 3482db2

Commits on Mar 15, 2023

• Update doc on number repr (moved away from floats)

  yannham

  committed
  5c96ec7

  Copy full SHA for 5c96ec7

Commits on Mar 9, 2023

• Merge pull request tweag#1172 from tweag/doc/symbolic-string

  Show description for a9d0ac9
  yannham

  authored
  a9d0ac9

  Copy full SHA for a9d0ac9

• Update doc/manual/syntax.md

  Show description for d231b89
  

  yannham

  and

  vkleen

  authored
  d231b89

  Copy full SHA for d231b89

• Update doc/manual/syntax.md

  Show description for 2b997ac
  

  yannham

  and

  vkleen

  authored
  2b997ac

  Copy full SHA for 2b997ac

• Update doc/manual/syntax.md

  Show description for 75ffa67
  

  yannham

  and

  vkleen

  authored
  75ffa67

  Copy full SHA for 75ffa67

• Update doc/manual/syntax.md

  Show description for acbb118
  

  yannham

  and

  vkleen

  authored
  acbb118

  Copy full SHA for acbb118

• Update doc/manual/syntax.md

  Show description for f6433af
  

  yannham

  and

  vkleen

  authored
  f6433af

  Copy full SHA for f6433af

• Symbolic strings: review suggestions + add delimiters info

  yannham

  committed
  aaa19d7

  Copy full SHA for aaa19d7

• Fix typo in the manual (commad->command)

  yannham

  committed
  db6fcbc

  Copy full SHA for db6fcbc

Pagination

Previous

Next