Code

Begin implementing fuzzing#4454

Code

Merged

rv-jenkins merged 18 commits intodevelopruntimeverification/k:developfrom pyk/fuzzingruntimeverification/k:pyk/fuzzingCopy head branch name to clipboardJun 24, 2024

+305-9

Commits

Commits on Jun 18, 2024

• Pull out llvm_interpret_raw

  gtrepta

  committed
  6b055c8

  Copy full SHA for 6b055c8

• Add hypothesis to poetry project

  gtrepta

  committed
  db2931a

  Copy full SHA for db2931a

Commits on Jun 19, 2024

• First pass of fuzzing function, with kintegers

  gtrepta

  committed
  d16088b

  Copy full SHA for d16088b

• Test fuzzing

  gtrepta

  committed
  b011d55

  Copy full SHA for b011d55

• Move fuzzing into ktool.kfuzz

  gtrepta

  committed
  4fdabce

  Copy full SHA for 4fdabce

Commits on Jun 20, 2024

• Merge branch 'develop' into pyk/fuzzing

  gtrepta

  committed
  4390a6d

  Copy full SHA for 4390a6d

• Turn fixtures into static methods

  gtrepta

  committed
  af0a798

  Copy full SHA for af0a798

Commits on Jun 21, 2024

• Generate input kore for the tests

  gtrepta

  committed
  0cafd57

  Copy full SHA for 0cafd57

• Use matching on output imp configuration

  gtrepta

  committed
  70ba7ee

  Copy full SHA for 70ba7ee

• Logic refactorings

  gtrepta

  committed
  ba418fc

  Copy full SHA for ba418fc

• Document the kfuzz methods

  gtrepta

  committed
  c09d6bf

  Copy full SHA for c09d6bf

• Make kintegers parameters keyword arguments

  gtrepta

  committed
  716e700

  Copy full SHA for 716e700

Commits on Jun 24, 2024

• Refactor check function for fuzz integration tests. Also loosen the

  Show description for 3688b86
  gtrepta

  committed
  3688b86

  Copy full SHA for 3688b86

• Make substs a constant

  gtrepta

  committed
  f19d933

  Copy full SHA for f19d933

• Sort the dependencies

  gtrepta

  committed
  d87cae5

  Copy full SHA for d87cae5

• Update docs

  gtrepta

  committed
  2d55fcb

  Copy full SHA for 2d55fcb

• Merge branch 'develop' into pyk/fuzzing

  gtrepta

  committed
  272a770

  Copy full SHA for 272a770

• Doc formatting

  gtrepta

  committed
  9df146b

  Copy full SHA for 9df146b