Code

ML path selection#60

Code

Open

sergeyrid wants to merge 95 commits intomainUnitTestBot/usvm:mainfrom ml-path-selectionUnitTestBot/usvm:ml-path-selectionCopy head branch name to clipboard

+2,196

Commits

Commits on Jul 7, 2023

• Add BfsWithLoggingPathSelector

  sergeyrid

  committed
  c28ceb6

Commits on Jul 10, 2023

• Add features to BfsWithLoggingPathSelector

  sergeyrid

  committed
  26be358

Commits on Jul 11, 2023

• Add jsonAggregator

  sergeyrid

  committed
  7df7145

• Add InferencePathSelector

  sergeyrid

  committed
  c8f0dfa

Commits on Jul 12, 2023

• Fix jsonAggregator and InferencePathSelector

  sergeyrid

  committed
  a93a138

Commits on Jul 13, 2023

• Change jsonAggregator and fix path selectors

  sergeyrid

  committed
  11ee239

Commits on Jul 14, 2023

• Add graph visualization and alternative reward

  sergeyrid

  committed
  8987aa7

Commits on Jul 18, 2023

• Fix bugs and paths, add hashes to final json

  sergeyrid

  committed
  5a33d7a

Commits on Jul 20, 2023

• Add BlockGraph to BfsWithLoggingPathSelector

  sergeyrid

  committed
  5310c7c

• Add BlockGraph logging

  sergeyrid

  committed
  da8e9dd

• Add concurrency and fix bugs

  sergeyrid

  committed
  fb8f93b

Commits on Jul 24, 2023

• Add features, fix bugs and refactor

  sergeyrid

  committed
  3523c44

Commits on Jul 25, 2023

• Add features, fix bugs and refactor

  sergeyrid

  committed
  575a266

Commits on Jul 26, 2023

• Merge branch 'main' of https://github.com/UnitTestBot/usvm into ml-path-selection

  Show description for f85016c
  sergeyrid

  committed
  f85016c

• Add PPO support

  sergeyrid

  committed
  4a4bcd0

Commits on Jul 31, 2023

• Fix path selectors

  sergeyrid

  committed
  1932d37

Commits on Aug 2, 2023

• Merge branch 'main' of https://github.com/UnitTestBot/usvm into ml-path-selection

  sergeyrid

  committed
  c731f02

Commits on Aug 3, 2023

• Change jsonAggregator and add options

  sergeyrid

  committed
  f21c385

Commits on Aug 8, 2023

• Add options and fix block graph

  sergeyrid

  committed
  2093db0

• Add graph features and refactor

  sergeyrid

  committed
  03b93a5

• Merge remote-tracking branch 'origin/main' into ml-path-selection

  sergeyrid

  committed
  cfacb55

Commits on Aug 9, 2023

• Support string and class constants

  Saloed

  committed
  211ae65

• Update tests ignore reasons

  Saloed

  committed
  d3fc3a7

Commits on Aug 10, 2023

• Add gnn inference and refactor main

  sergeyrid

  committed
  2f5219c

• Close machine (solver) after test

  Saloed

  committed
  52bdecf

• Mock native methods + few approximations

  Saloed

  committed
  337c494

• Update test ignore reasons

  Saloed

  committed
  df92f73

Commits on Aug 11, 2023

• Add graph features and probabilities logging

  sergeyrid

  committed
  db0ce16

• Merge remote-tracking branch 'origin/main' into ml-path-selection

  Show description for 7860242
  sergeyrid

  committed
  7860242

• Merge remote-tracking branch 'origin/saloed/native-mocks' into ml-path-selection

  sergeyrid

  committed
  d6dd569

Commits on Aug 16, 2023

• Add features, jar processing and other

  sergeyrid

  committed
  93270eb

• Merge remote-tracking branch 'origin/main' into ml-path-selection

  Show description for 71ea504
  sergeyrid

  committed
  71ea504

Commits on Aug 18, 2023

• Update tests ignore reasons

  Saloed

  committed
  f8491f5

• Mock native methods + few approximations

  Saloed

  committed
  b69df4f

• Update test ignore reasons

  Saloed

  committed
  9f22c2e

• Fix mocks type constraints

  Saloed

  committed
  ed2579b

• Update test ignore reasons

  Saloed

  committed
  f965c98

• Safe test resolver

  Saloed

  committed
  cb2ce74

• Change test disabling method

  Saloed

  committed
  f7e5106

• More approximations

  Saloed

  committed
  e71e824

• Scoring in type selector

  Saloed

  committed
  925a7c9

• Timeouts

  Saloed

  committed
  b0da1a4

• Fix ignore reasons

  Saloed

  committed
  943c7e3

• Fix sc test

  Saloed

  committed
  d526ed1

• Disable more tests

  Saloed

  committed
  e64a46f

• Use yices by default

  Saloed

  committed
  38905e4

• Ensure thread stopped after timeout

  Saloed

  committed
  3565713

• Support IOB in arraycopy approximation

  Saloed

  committed
  13823e6

• Enable few tests

  Saloed

  committed
  b7aa3f9

• Safe logging

  Saloed

  committed
  739223f

• Better timeout handling

  Saloed

  committed
  01b2245

• tmp

  Saloed

  committed
  5da1c9b

Commits on Aug 21, 2023

• Change graphs and refactor

  sergeyrid

  committed
  a7b4153

• Merge remote-tracking branch 'origin/main' into ml-path-selection

  sergeyrid

  committed
  cfd157b

• Merge remote-tracking branch 'origin/saloed/native-mocks' into ml-path-selection

  Show description for d844878
  sergeyrid

  committed
  d844878

• Disable unnecessary logging

  sergeyrid

  committed
  2f93c79

Commits on Aug 22, 2023

• Add RNN

  sergeyrid

  committed
  723d705

Commits on Aug 23, 2023

• Make main take jars as input

  sergeyrid

  committed
  b83d742

• Fix, refactor and add options

  sergeyrid

  committed
  ac012a7

Commits on Aug 25, 2023

• Add statistics calculation

  sergeyrid

  committed
  acc5780

• Change queue to lru and fix statistics

  sergeyrid

  committed
  f6d4257

Commits on Aug 28, 2023

• Fix reward and statistics

  sergeyrid

  committed
  cfe7cd1

Commits on Aug 31, 2023

• Merge branch 'main' of https://github.com/UnitTestBot/usvm into ml-path-selection

  Show description for 2470cfa
  sergeyrid

  committed
  2470cfa

• Revert native-mocks changes

  sergeyrid

  committed
  652f180

• Merge branch 'main' of https://github.com/UnitTestBot/usvm into ml-path-selection

  sergeyrid

  committed
  effd951

Commits on Sep 3, 2023

• Move ml path selector to separate module

  sergeyrid

  committed
  b2615f7

Commits on Sep 5, 2023

• Separate ml from other modules

  sergeyrid

  committed
  e4f3704

• Merge branch 'main' of https://github.com/UnitTestBot/usvm into ml-path-selection

  sergeyrid

  committed
  b50f08f

• Add OtherUMachine

  sergeyrid

  committed
  8a477ee

• Refactor

  sergeyrid

  committed
  acfab1b

• Add ml environment

  sergeyrid

  committed
  d7ff815

Commits on Sep 6, 2023

• Refactor

  sergeyrid

  committed
  fdc3d7a

• Add README.md

  sergeyrid

  committed
  4084382

• Change README.md

  sergeyrid

  committed
  58c1e16

• Change README.md

  sergeyrid

  committed
  736485c

Commits on Sep 7, 2023

• Change README.md

  sergeyrid

  committed
  eb21924

• Uncomment code and fix gradle

  sergeyrid

  committed
  fe2edde

• Refactor

  sergeyrid

  committed
  fb5791f

• Add test dependencies

  sergeyrid

  committed
  5baa20a

• Merge branch 'main' of https://github.com/UnitTestBot/usvm into ml-path-selection

  sergeyrid

  committed
  01a795b

• Fix ModifiedUMachine

  sergeyrid

  committed
  8278b6e

Commits on Sep 8, 2023

• Fix ModifiedUMachine

  sergeyrid

  committed
  52e2385

Commits on Sep 13, 2023

• Refactor

  sergeyrid

  committed
  9625b22

• Merge branch 'main' of https://github.com/UnitTestBot/usvm into ml-path-selection

  sergeyrid

  committed
  389c5a3

Commits on Sep 17, 2023

• Fix merge

  sergeyrid

  committed
  587321f

Commits on Sep 20, 2023

• Merge branch 'main' of https://github.com/UnitTestBot/usvm into ml-path-selection

  sergeyrid

  committed
  e7cd950

Commits on Sep 25, 2023

• Fix merge

  sergeyrid

  committed
  65a2876

Commits on Oct 16, 2023

• Merge remote-tracking branch 'origin/main' into ml-path-selection

  sergeyrid

  committed
  50f6f1c

Commits on Oct 18, 2023

• Fix merge

  sergeyrid

  committed
  fe38cea

• Refactor BlockGraph

  sergeyrid

  committed
  629f26b

• Refactor CoverageCounter

  sergeyrid

  committed
  c689de1

• Refactor CoverageCounterStatistics

  sergeyrid

  committed
  f837ef3

Commits on Oct 30, 2023

• Refactor

  sergeyrid

  committed
  cac5201

• Merge remote-tracking branch 'origin/main' into ml-path-selection

  sergeyrid

  committed
  542c11e

• Fix merge

  sergeyrid

  committed
  72e1a72