Commits

Branch selector

 master

User selector

jirislaby

Datepicker

All time

Commit History

Commits on Feb 22, 2021

• runtime/POSIX: fix failures with glibc-2.33

  Show description for 148a68d
  

  jirislaby

  authored and

  ccadar

  committed
  148a68d

  Copy full SHA for 148a68d

Commits on Nov 5, 2019

• Core: Executor, remove unused variable

  Show description for 0633bda
  

  jirislaby

  authored and

  ccadar

  committed
  0633bda

  Copy full SHA for 0633bda

Commits on Oct 26, 2018

• travis: enable LLVM 7 testing

  Show description for 581dca9
  

  jirislaby

  authored and

  MartinNowack

  committed
  581dca9

  Copy full SHA for 581dca9

• llvm7: handle new header files

  Show description for 034d7d4
  

  jirislaby

  authored and

  MartinNowack

  committed
  034d7d4

  Copy full SHA for 034d7d4

• llvm7: adapt to new openFileForWrite

  Show description for f326c6a
  

  jirislaby

  authored and

  MartinNowack

  committed
  f326c6a

  Copy full SHA for f326c6a

• llvm7: WriteBitcodeToFile takes Module &

  Show description for 3e5e8f7
  

  jirislaby

  authored and

  MartinNowack

  committed
  3e5e8f7

  Copy full SHA for 3e5e8f7

• travis: enable LLVM 6 testing

  Show description for 0525bd7
  

  jirislaby

  authored and

  MartinNowack

  committed
  0525bd7

  Copy full SHA for 0525bd7

• llvm6: handle headers renaming

  Show description for b833443
  

  jirislaby

  authored and

  MartinNowack

  committed
  b833443

  Copy full SHA for b833443

• llvm6: SetVersionPrinter now passes down a stream

  Show description for c6cfd6d
  

  jirislaby

  authored and

  MartinNowack

  committed
  c6cfd6d

  Copy full SHA for c6cfd6d

• travis: enable LLVM 5 testing

  Show description for a919c86
  

  jirislaby

  authored and

  MartinNowack

  committed
  a919c86

  Copy full SHA for a919c86

• llvm5: APInt->getSignBit -> getSignMask

  Show description for f83c643
  

  jirislaby

  authored and

  MartinNowack

  committed
  f83c643

  Copy full SHA for f83c643

• llvm5: CallSite.paramHasAttr is indexed from 0

  Show description for 0c0e104
  

  jirislaby

  authored and

  MartinNowack

  committed
  0c0e104

  Copy full SHA for 0c0e104

• llvm5: test, add -disable-O0-optnone to -O0

  Show description for 0a7963e
  

  jirislaby

  authored and

  MartinNowack

  committed
  0a7963e

  Copy full SHA for 0a7963e

• llvm5: test, change objectsize

  Show description for 1f15695
  

  jirislaby

  authored and

  MartinNowack

  committed
  1f15695

  Copy full SHA for 1f15695

• llvm5: Intrinsic::objectsize has three arguments

  Show description for 3f70fbf
  

  jirislaby

  authored and

  MartinNowack

  committed
  3f70fbf

  Copy full SHA for 3f70fbf

• llvm5: use MutableArrayRef for APFloat::convertToInteger

  Show description for b0a6688
  

  jirislaby

  authored and

  MartinNowack

  committed
  b0a6688

  Copy full SHA for b0a6688

• llvm5: handle new file_magic's location

  Show description for 85b2324
  

  jirislaby

  authored and

  MartinNowack

  committed
  85b2324

  Copy full SHA for 85b2324

• llvm5: SwitchInst case functions now return pointers

  Show description for 25f2ad1
  

  jirislaby

  authored and

  MartinNowack

  committed
  25f2ad1

  Copy full SHA for 25f2ad1

• llvm5: handle getOrInsertFunction terminator

  Show description for 5fe62b5
  

  jirislaby

  authored and

  MartinNowack

  committed
  5fe62b5

  Copy full SHA for 5fe62b5

• llvm5: integerPartWidth is from llvm::APFloatBase

  Show description for ad02373
  

  jirislaby

  authored and

  MartinNowack

  committed
  ad02373

  Copy full SHA for ad02373

• llvm5: avoid ++ on function->arg_begin()

  Show description for 6f5537f
  

  jirislaby

  authored and

  MartinNowack

  committed
  6f5537f

  Copy full SHA for 6f5537f

Commits on Sep 18, 2018

• travis: enable LLVM 4 testing

  Show description for a6a7b8c
  

  jirislaby

  authored and

  MartinNowack

  committed
  a6a7b8c

  Copy full SHA for a6a7b8c

• llvm4: gep_type_iterator has no operator*

  Show description for abe23c4
  

  jirislaby

  authored and

  MartinNowack

  committed
  abe23c4

  Copy full SHA for abe23c4

• llvm4: PointerType is not SequentialType

  Show description for 06cf93d
  

  jirislaby

  authored and

  MartinNowack

  committed
  06cf93d

  Copy full SHA for 06cf93d

• llvm4: use chrono helpers from LLVM

  Show description for b2659ec
  

  jirislaby

  authored and

  MartinNowack

  committed
  b2659ec

  Copy full SHA for b2659ec

• llvm4: errorOr and similar

  Show description for bad4c50
  

  jirislaby

  authored and

  MartinNowack

  committed
  bad4c50

  Copy full SHA for bad4c50

• llvm4: APFloat members are functions

  Show description for 39630fd
  

  jirislaby

  authored and

  MartinNowack

  committed
  39630fd

  Copy full SHA for 39630fd

• llvm4: handle different header names

  Show description for 411754f
  

  jirislaby

  authored and

  MartinNowack

  committed
  411754f

  Copy full SHA for 411754f

Commits on Sep 14, 2018

• travis CI: add LLVM 3.9 build tests

  Show description for 4d30c74
  

  jirislaby

  authored and

  MartinNowack

  committed
  4d30c74

  Copy full SHA for 4d30c74

• llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+Asserts

  Show description for f2dc350
  

  jirislaby

  authored and

  MartinNowack

  committed
  f2dc350

  Copy full SHA for f2dc350

• cmake: find_llvm, fix libraries with llvm-config 3.9

  Show description for 44349e3
  

  jirislaby

  authored and

  MartinNowack

  committed
  44349e3

  Copy full SHA for 44349e3

• llvm: make KLEE compile against LLVM 3.9

  Show description for c27f225
  

  jirislaby

  authored and

  MartinNowack

  committed
  c27f225

  Copy full SHA for c27f225

Commits on Jul 12, 2018

• travis CI: add LLVM 3.8 build tests

  Show description for 79ac709
  

  jirislaby

  authored and

  MartinNowack

  committed
  79ac709

  Copy full SHA for 79ac709

• llvm38: test, change some tests

  Show description for 6b5e016
  

  jirislaby

  authored and

  MartinNowack

  committed
  6b5e016

  Copy full SHA for 6b5e016

• llvm38: archive child iterator changes

  Show description for 9968c00
  

  jirislaby

  authored and

  MartinNowack

  committed
  9968c00

  Copy full SHA for 9968c00

Pagination

Previous

Next