Code

Bound the length of nls completions#2073

Code

Merged

jneem merged 5 commits intomastertweag/nickel:masterfrom shorter-completionstweag/nickel:shorter-completionsCopy head branch name to clipboardOct 22, 2024

+315-232

Commits

Commits on Oct 22, 2024

• Limit the sizes of contracts in completion details

  jneem

  committed
  9d9af8e

  Copy full SHA for 9d9af8e

• Improve the nls benches a little

  jneem

  committed
  0210f9e

  Copy full SHA for 0210f9e

• Use guards

  jneem

  committed
  737be14

  Copy full SHA for 737be14

• Fix bench build

  jneem

  committed
  1245a54

  Copy full SHA for 1245a54

• Generics cleanups, scope cleanups

  jneem

  committed
  2cbdc83

  Copy full SHA for 2cbdc83