Commits

Commit history

1. Commits on Feb 13, 2023

   • [fix] Fix missed render

     mxprshn

     committed
     4120d08View commit details

     Copy full SHA for 4120d08

     View code at this pointBrowse repository at this point

   • [fix] Fix missed ||| operands brackets in ClearArray

     mxprshn

     committed
     c0c532fView commit details

     Copy full SHA for c0c532f

     View code at this pointBrowse repository at this point
2. Commits on Feb 12, 2023

   • [feat] New unified assembly resolver

     

     mxprshn

     authored and

     m-sedl

     committed
     1229497View commit details

     Copy full SHA for 1229497

     View code at this pointBrowse repository at this point
3. Commits on Feb 9, 2023

   • [fix] Print warnings when fair searcher cannot get CFG

     mxprshn

     committed
     b20e3ceView commit details

     Copy full SHA for b20e3ce

     View code at this pointBrowse repository at this point

   • [fix] Add timeout to solver and fix CompareObjects to work with recursive objects

     mxprshn

     committed
     9bf7640View commit details

     Copy full SHA for 9bf7640

     View code at this pointBrowse repository at this point

   • [feat] Add critical level to logger and print internal fails with file location

     mxprshn

     committed
     227369fView commit details

     Copy full SHA for 227369f

     View code at this pointBrowse repository at this point

   • [feat] Tags for logs + step count statistics

     mxprshn

     committed
     93a891dView commit details

     Copy full SHA for 93a891d

     View code at this pointBrowse repository at this point
4. Commits on Dec 14, 2022

   • [feat] support for rendering single file project

     

     MchKosticyn

     authored and

     dvvrd

     committed
     afa2344View commit details

     Copy full SHA for afa2344

     View code at this pointBrowse repository at this point
5. Commits on Dec 13, 2022

   • [feat] Add ability to check different types of approximate coverage

     mxprshn

     committed
     d6b0f11View commit details

     Copy full SHA for d6b0f11

     View code at this pointBrowse repository at this point
6. Commits on Dec 8, 2022

   • [fix] Stop SILI when 100 percent coverage is achieved

     mxprshn

     committed
     53730b1View commit details

     Copy full SHA for 53730b1

     View code at this pointBrowse repository at this point
7. Commits on Nov 28, 2022

   • [fix] style fixes for UTBot integration

     

     MchKosticyn

     authored and

     dvvrd

     committed
     8e0369fView commit details

     Copy full SHA for 8e0369f

     View code at this pointBrowse repository at this point
8. Commits on Nov 24, 2022

   • [feat] Add GItHub actions pipeline

     

     mxprshn

     authored and

     dvvrd

     committed
     9813942View commit details

     Copy full SHA for 9813942

     View code at this pointBrowse repository at this point
9. Commits on Nov 23, 2022

   • [feat] Add fair searcher

     Show description for f46fd8c
     

     mxprshn

     authored and

     dvvrd

     committed
     f46fd8cView commit details

     Copy full SHA for f46fd8c

     View code at this pointBrowse repository at this point
10. Commits on Nov 15, 2022

    • [feat] test renderer added to API and console runner

      Show description for 8ab1e98
      

      MchKosticyn

      authored and

      dvvrd

      committed
      8ab1e98View commit details

      Copy full SHA for 8ab1e98

      View code at this pointBrowse repository at this point
11. Commits on Nov 10, 2022

    • Fixed type solver for nested public types

      dvvrd

      committed
      6fe7e75View commit details

      Copy full SHA for 6fe7e75

      View code at this pointBrowse repository at this point
12. Commits on Nov 9, 2022

    • [fix] Don't explore methods with byref-likes

      

      mxprshn

      authored and

      dvvrd

      committed
      101f2c3View commit details

      Copy full SHA for 101f2c3

      View code at this pointBrowse repository at this point
13. Commits on Oct 4, 2022

    • Fixes for V# API assembly loading.

      dvvrd

      committed
      cf080e3View commit details

      Copy full SHA for cf080e3

      View code at this pointBrowse repository at this point

    • [feat] Add attributes assumptions check

      misonijnik

      committed
      68decfeView commit details

      Copy full SHA for 68decfe

      View code at this pointBrowse repository at this point
14. Commits on Oct 3, 2022

    • Test generation for large input buffers.

      dvvrd

      committed
      c503ca1View commit details

      Copy full SHA for c503ca1

      View code at this pointBrowse repository at this point
15. Commits on Sep 19, 2022

    • [fix] Add global internal fail handler

      

      mxprshn

      authored and

      dvvrd

      committed
      6aaefc1View commit details

      Copy full SHA for 6aaefc1

      View code at this pointBrowse repository at this point
16. Commits on Aug 26, 2022

    • [fix] Add forgotten releaseBranchesArgument

      mxprshn

      committed
      d8119ebView commit details

      Copy full SHA for d8119eb

      View code at this pointBrowse repository at this point
17. Commits on Jul 22, 2022

    • Implemented Graphviz coverage visualizer.

      dvvrd

      committed
      cae3d8cView commit details

      Copy full SHA for cae3d8c

      View code at this pointBrowse repository at this point
18. Commits on Jul 13, 2022

    • Fixed decimals support. Implemented shortest-distance-based searcher.

      Show description for 27c7f7a
      dvvrd

      committed
      27c7f7aView commit details

      Copy full SHA for 27c7f7a

      View code at this pointBrowse repository at this point
19. Commits on Jun 30, 2022

    • Enable test generation for constructors.

      dvvrd

      committed
      8778096View commit details

      Copy full SHA for 8778096

      View code at this pointBrowse repository at this point
20. Commits on Feb 23, 2022

    • [feat] Removed maxBound

      Show description for 4149b45
      misonijnik

      committed
      4149b45View commit details

      Copy full SHA for 4149b45

      View code at this pointBrowse repository at this point

    • [feat] Added new algorithm for finding distance

      misonijnik

      committed
      61e8086View commit details

      Copy full SHA for 61e8086

      View code at this pointBrowse repository at this point

    • [feat] Added GuidedSearcher and GuidedMode

      misonijnik

      committed
      c321755View commit details

      Copy full SHA for c321755

      View code at this pointBrowse repository at this point
21. Commits on Feb 21, 2022

    • [feat] Unified Build System

      Show description for ebe895b
      MchKosticyn

      committed
      ebe895bView commit details

      Copy full SHA for ebe895b

      View code at this pointBrowse repository at this point
22. Commits on Dec 15, 2021

    • [fix] arithmetics fix, unsafe fix

      MchKosticyn

      committed
      0895e0dView commit details

      Copy full SHA for 0895e0d

      View code at this pointBrowse repository at this point
23. Commits on Oct 22, 2021

    • [fix] fixed Arithmetics simplification, command line arguments

      MchKosticyn

      committed
      6b40489View commit details

      Copy full SHA for 6b40489

      View code at this pointBrowse repository at this point
24. Commits on Oct 21, 2021

    • [feat] added command line arguments support for entry point case

      MchKosticyn

      committed
      0465906View commit details

      Copy full SHA for 0465906

      View code at this pointBrowse repository at this point
25. Commits on Oct 18, 2021

    • Added V# API reference.

      

      dvvrd

      authored and

      MchKosticyn

      committed
      e13c226View commit details

      Copy full SHA for e13c226

      View code at this pointBrowse repository at this point
26. Loading