Commits

Branch selector

 8.0.0

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 14, 2021

• tests: remove LargeReturnTypes test

  mchalupa

  committedOct 14, 2021
  f7eebf6

• tests: remove invalid assertion

  mchalupa

  committedOct 14, 2021
  8cb6697

• tests: remove MemoryLimit test

  mchalupa

  committedOct 14, 2021
  dece399

• tests: allow LLVM 10

  mchalupa

  committedOct 14, 2021
  3d409d4

• MemoryManager: fix creating lowmem allocators

  mchalupa

  committedOct 14, 2021
  4519390

• Executor: prevent invalid downcast

  mchalupa

  committedOct 14, 2021
  539d402

• harness: fix build on older LLVMs

  mchalupa

  committedOct 14, 2021
  de0ed77

• Executor: unbind object only after using it

  mchalupa

  committedOct 14, 2021
  9ef0b09

• harness: improve generating harness

  mchalupa

  committedOct 14, 2021
  cffb4ba

• harness: refactor

  mchalupa

  committedOct 14, 2021
  5469806

Commits on Aug 27, 2021

• Fix the signature of pthread funs

  mchalupa

  committedAug 27, 2021
  a49866e

• Handle also pthread_join

  mchalupa

  committedAug 27, 2021
  d621e77

Commits on Aug 25, 2021

• Kill the path on pthread_create

  mchalupa

  committedAug 25, 2021
  f119dcf

Commits on Aug 16, 2021

• Merge pull request #13 from lzaoral/lzaoral-llvm-3.9

  mchalupa

  committedAug 16, 2021
  83e4c41

Commits on Jul 31, 2021

• build: fix compilation with LLVM 3.9

  lzaoral

  committedJul 31, 2021
  019270d

Commits on Jul 29, 2021

• Memory.h: fix formating the segment string

  mchalupa

  committedJul 29, 2021
  6ecf91e

Commits on Apr 13, 2021

• Executor: check memcleaup validation only for aborts (and exits)

  mchalupa

  committedApr 13, 2021
  10e5fae

Commits on Mar 17, 2021

• Executor: fix handling freed pointers

  mchalupa

  committedMar 17, 2021
  aea4021

Commits on Jan 28, 2021

• Add -testcases-suffix

  mchalupa

  committedJan 28, 2021
  1826251

Commits on Dec 2, 2020

• Improve handling inline asm

  mchalupa

  committedDec 2, 2020
  a549d22

• Support setting malloce'd memory to symbolic

  mchalupa

  committedDec 2, 2020
  a05d74e

Commits on Nov 30, 2020

• Add some ok externals

  mchalupa

  committedNov 30, 2020
  3e1ff11

Commits on Nov 27, 2020

• Improve checking for lost memory

  mchalupa

  committedNov 27, 2020
  04c3d2a

Commits on Nov 25, 2020

• Do not flood the log with warnings

  mchalupa

  committedNov 25, 2020
  acd0e7c

• remove debuggin message

  mchalupa

  committedNov 25, 2020
  c39f672

• Allow comparing symbolic pointers for (in)equality

  mchalupa

  committedNov 25, 2020
  b6b47ee

• RaiseAsmPass: fix erasing asm that returns a value

  

  Marek Chalupa

  committedNov 25, 2020
  e9cbff0

Commits on Nov 24, 2020

• Halt the execution on memcleanup error if instructed

  mchalupa

  committedNov 24, 2020
  1605df7

• Executor.cpp: fix indentation

  mchalupa

  committedNov 24, 2020
  57debe0

• Fix comparing freed pointers

  mchalupa

  committedNov 24, 2020
  68c1f44

• Fix comparison of pointers for equality

  mchalupa

  committedNov 24, 2020
  e59d21a

• Fix comparison of pointers to null

  mchalupa

  committedNov 24, 2020
  f6372b6

• Fix comparing pointers

  mchalupa

  committedNov 24, 2020
  62b6ab5

• Fix comparing to freed pointers

  mchalupa

  committedNov 24, 2020
  07fb0d4

• Fix after merge

  

  Marek Chalupa

  committedNov 24, 2020
  ed1856b

Pagination

PreviousNext