v18

• UTBotJava
  commit fbd51ed7f3a888b063abd2098bbeb7d2d1c5a452
  Author: Vyacheslav Tamarin [email protected]
  Date: Thu Dec 7 13:13:27 2023 +0300

    Fix collision variable name with module name
  

• usvm
  commit 2a521d7cd34c239e20ea96cfda57a1d9e023a124
  Author: tochilinak [email protected]
  Date: Thu Dec 7 13:24:54 2023 +0300

    Added str_eq and str_neq
  

SBFT 2024

sbft-2024

Update versions

v17

• UTBotJava
  commit 4e6936ebc9c0167d6425c0f5f9945fa5b4df7385
  Author: Ekaterina Tochilina [email protected]
  Date: Wed Dec 6 22:14:41 2023 +0300

    Fixed NPE on info collection
  

• usvm
  commit 3c3efcbe011e3eae01d453e267c62e998cbf5a98
  Author: tochilinak [email protected]
  Date: Wed Dec 6 19:43:04 2023 +0300

    Supported build_set
  

v16

• UTBotJava
  commit d107f1163721032c2b46e66cf7162e7d648133a0
  Author: Ekaterina Tochilina [email protected]
  Date: Wed Dec 6 14:38:50 2023 +0300

  Separated symbolic receiver and symbolic evaluator
  

• usvm
  commit 4b8ba41d0488d97ec7a7e06d86c33dd19f756256
  Author: tochilinak [email protected]
  Date: Tue Dec 5 20:16:46 2023 +0300

  Added repetition check in NewStateObserverForRunner
  

v15

• UTBotJava
  commit 846b0b55c70b6af6b094631fd66f8593b551626a
  Author: Vyacheslav Tamarin [email protected]
  Date: Tue Dec 5 10:53:43 2023 +0300

  Fix activation any for class fields
  

• usvm
  commit 4b8ba41d0488d97ec7a7e06d86c33dd19f756256
  Author: tochilinak [email protected]
  Date: Tue Dec 5 20:16:46 2023 +0300

  Added repetition check in NewStateObserverForRunner
  

v14

• UTBotJava
  commit 3b975d2e1e81171999980131b5fc92ed3315411c
  Author: Vyacheslav Tamarin [email protected]
  Date: Mon Dec 4 09:11:22 2023 +0300

  Change ReduceValueProvider
  

• usvm
  commit 10203750765dc4e4a9335aa2c8193a15dfe8e2c2
  Author: tochilinak [email protected]
  Date: Tue Dec 5 17:12:11 2023 +0300

  Fixed compilation error on linux
  

v13

• UTBotJava
  commit 846b0b55c70b6af6b094631fd66f8593b551626a
  Author: Vyacheslav Tamarin [email protected]
  Date: Tue Dec 5 10:53:43 2023 +0300

  Fix activation any for class fields

• usvm
  commit c06095919afdfba972afe3b47904b915a18eafb8
  Author: Ekaterina Tochilina [email protected]
  Date: Fri Dec 1 19:59:41 2023 +0300

  One more check

v12

• UTBotJava
  commit 3b975d2e1e81171999980131b5fc92ed3315411c
  Author: Vyacheslav Tamarin [email protected]
  Date: Mon Dec 4 09:11:22 2023 +0300

  Change ReduceValueProvider
  

• usvm
  commit c06095919afdfba972afe3b47904b915a18eafb8
  Author: Ekaterina Tochilina [email protected]
  Date: Fri Dec 1 19:59:41 2023 +0300

  One more check
  

v11

• UTBotJava
  commit d624f95b0fa64400a4121c850d68d60f0293f20b
  Author: Vyacheslav Tamarin [email protected]
  Date: Fri Dec 1 18:04:37 2023 +0300

  Skip coverage sending during tracing
  

• usvm
  commit c06095919afdfba972afe3b47904b915a18eafb8
  Author: Ekaterina Tochilina [email protected]
  Date: Fri Dec 1 19:59:41 2023 +0300

  One more check
  

v10

• UTBotJava
  commit 00bb95456be2946c2474f5e52ae81ca21efc47f
  Author: Vyacheslav Tamarin [email protected]
  Date: Thu Nov 30 14:07:38 2023 +0300

  Fix serialization problem with incomparable keys in dict
  

• usvm
  commit 78650a6e0e942bf9202f4200ce02a2ea911d0cec
  Author: tochilinak [email protected]
  Date: Thu Nov 30 17:55:41 2023 +0300

  Changed logic of virtual objects as keys in dicts