Commits

Branch selector

 utbot-main

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 15, 2022

• Add TimeoutPerTest for generation tests for project

  

  Saveliy Grigoryev

  authored and

  sava-cska

  committed
  b836c78

  Copy full SHA for b836c78

Commits on Apr 8, 2022

• Merge pull request UnitTestBot#10 from UnitTestBot/fix/177/unclosed-files

  Show description for 29c1be0
  Lana243

  authored
  29c1be0

  Copy full SHA for 29c1be0

Commits on Apr 6, 2022

• fix unclosed files

  Lana243

  committed
  c85ee3b

  Copy full SHA for c85ee3b

Commits on Mar 29, 2022

• Merge pull request UnitTestBot#9 from UnitTestBot/sqrt

  Show description for b1218dc
  sava-cska

  authored
  b1218dc

  Copy full SHA for b1218dc

Commits on Mar 25, 2022

• Merge pull request UnitTestBot#8 from UnitTestBot/interactive_mode

  Show description for 71335b0
  sava-cska

  authored
  71335b0

  Copy full SHA for 71335b0

Commits on Mar 19, 2022

• Fix typo

  operasfantom

  committed
  f63b9e9

  Copy full SHA for f63b9e9

• Add intrinsic replacement for 'sqrt'

  operasfantom

  committed
  398d677

  Copy full SHA for 398d677

Commits on Mar 16, 2022

• Add interactive mode

  

  Saveliy Grigoryev

  committed
  6a09515

  Copy full SHA for 6a09515

Commits on Mar 9, 2022

• Refactor run_klee.cpp

  

  Saveliy Grigoryev

  committed
  13b215c

  Copy full SHA for 13b215c

• Fixed ASan and MSan

  sava-cska

  authored
  da58fac

  Copy full SHA for da58fac

Commits on Mar 7, 2022

• [test] Enable MSan

  Show description for 92db9ad
  misonijnik

  committed
  92db9ad

  Copy full SHA for 92db9ad

Commits on Mar 3, 2022

• [test] Enabled ASan

  Show description for 750a0b9
  misonijnik

  committed
  750a0b9

  Copy full SHA for 750a0b9

Commits on Feb 15, 2022

• Merge pull request UnitTestBot#6 from UnitTestBot/add_script_test_and_libcxx

  Show description for 19d533d
  sava-cska

  authored
  19d533d

  Copy full SHA for 19d533d

Commits on Feb 10, 2022

• update build.sh add workflow on utbot docker

  

  Vladislav Kalugin

  committed
  d66706f

  Copy full SHA for d66706f

Commits on Feb 4, 2022

• Add CI

  

  Saveliy Grigoryev

  committed
  cf4037f

  Copy full SHA for cf4037f

Commits on Jan 14, 2022

• [fix] Included llvm::format in header

  

  misonijnik

  authored and

  Saveliy Grigoryev

  committed
  65479c4

  Copy full SHA for 65479c4

• [fix] Fixed GEPExpr lazy instantiation handler

  

  misonijnik

  authored and

  Saveliy Grigoryev

  committed
  d7a81fd

  Copy full SHA for d7a81fd

Commits on Oct 21, 2021

• Removed KLEE testing from UTBot build

  

  Alexey Pleshakov

  committed
  199ee04

  Copy full SHA for 199ee04

Commits on Oct 20, 2021

• Removed uclibc from KLEE build

  

  Alexey Pleshakov

  committed
  251745d

  Copy full SHA for 251745d

Commits on Sep 22, 2021

• Resolve conflicts after rebasing on guided-klee/lazy_initialization

  

  Alexey Pleshakov

  committed
  ae2c070

  Copy full SHA for ae2c070

Commits on Sep 20, 2021

• Set pointers on lazy and symbolic variables

  

  Saveliy Grigoryev

  authored and

  Alexey Pleshakov

  committed
  85cc67f

  Copy full SHA for 85cc67f

• Resolve diff with utbot klee after adding lazy_initialization

  

  Grigoryev

  authored and

  Alexey Pleshakov

  committed
  1e2326e

  Copy full SHA for 1e2326e

• Fix build after adding lazy_initialization

  

  Grigoryev

  authored and

  Alexey Pleshakov

  committed
  7e4b560

  Copy full SHA for 7e4b560

• Prepare KLEE for open-source

  Show description for bdddfce
  

  Alexey Pleshakov

  committed
  bdddfce

  Copy full SHA for bdddfce

• Resolve diff with utbot klee

  

  Kalugin Vladislav

  authored and

  Alexey Pleshakov

  committed
  609f434

  Copy full SHA for 609f434

• Test failure for WSL 1

  Show description for 00d9e9c
  

  Pavel Yatcheniy

  authored and

  Alexey Pleshakov

  committed
  00d9e9c

  Copy full SHA for 00d9e9c

• Added possibility of installing as a library and launching as a function

  

  Kalugin Vladislav

  authored and

  Alexey Pleshakov

  committed
  7eed5d7

  Copy full SHA for 7eed5d7

• Add timeouts

  

  Kalugin Vladislav

  authored and

  Alexey Pleshakov

  committed
  2347940

  Copy full SHA for 2347940

• Prepared KLEE for launching it with POSIX runtime. Added symbolic variable for stdin buffer size to ktests. Disabled tests for now broken klee-replay and klee-zesti (unused).

  

  Kalugin Vladislav

  authored and

  Alexey Pleshakov

  committed
  ddebd9a

  Copy full SHA for ddebd9a

• Integrate sanitizer

  

  Kalugin Vladislav

  authored and

  Alexey Pleshakov

  committed
  8065979

  Copy full SHA for 8065979

• Add build.sh

  

  Kalugin Vladislav

  authored and

  Alexey Pleshakov

  committed
  3abb7af

  Copy full SHA for 3abb7af

• KLEE floating-point support.

  Show description for 63a1d2d
  

  Kalugin Vladislav

  authored and

  Alexey Pleshakov

  committed
  63a1d2d

  Copy full SHA for 63a1d2d

Commits on Sep 8, 2021

• Fix getRange

  

  ocelaiwo

  authored and

  misonijnik

  committed
  b829926

  Copy full SHA for b829926

Commits on Aug 27, 2021

• Upgrade handle of GEPExpr

  misonijnik

  committed
  3288b49

  Copy full SHA for 3288b49

Commits on Aug 26, 2021

• Add object addresses to TestCase format

  

  ocelaiwo

  authored and

  misonijnik

  committed
  7846e40

  Copy full SHA for 7846e40

Pagination

Previous

Next