Code

String builtins#1784

Code

Merged

jonaprieto merged 7 commits intomainanoma/juvix:mainfrom string-builtinsanoma/juvix:string-builtinsCopy head branch name to clipboardJan 31, 2023

+504-107

Commits

Commits on Jan 31, 2023

• String builtins

  lukaszcz

  committed
  20e79c6

  Copy full SHA for 20e79c6

• adapt examples & fix tests

  lukaszcz

  committed
  e80cc71

  Copy full SHA for e80cc71

• string equality

  lukaszcz

  committed
  1387a2c

  Copy full SHA for 1387a2c

• revert C formatting changes

  lukaszcz

  committed
  c60279a

  Copy full SHA for c60279a

• address review comments

  lukaszcz

  committed
  a745205

  Copy full SHA for a745205

• fix strtoint

  lukaszcz

  committed
  f115ac5

  Copy full SHA for f115ac5

• more readable constant

  lukaszcz

  committed
  90799f9

  Copy full SHA for 90799f9