Commits · 6ff66e6d094bff8510f7e81b73b838d4fcca68ce · paradise / mirror / DIVINE · GitLab

Jun 11, 2019
- mem: Make the per-object reference counters atomic. · 6ff66e6d
  Petr Rockai authored Jun 11, 2019
  
  6ff66e6d
Jul 12, 2019
- UI: Try to print backtraces even if construction of the CE trace fails. · 09f03f68
  Petr Rockai authored Jul 11, 2019
  
  09f03f68
- lart: Fix a compile error in the Andersen AA implementation. · 7e11c137
  Petr Rockai authored Jul 11, 2019
  
  7e11c137
- bricks: It's not a logic error when a brick-cmd validator fails. · 9264f926
  Petr Rockai authored Jul 11, 2019
  
  9264f926
- tools: Do not abort() divine on user errors. · 64b3e42c
  Petr Rockai authored Jul 11, 2019
  
  64b3e42c
- tools: Trace the debuginfo path manipulation done by runtime-cc. · 3b467592
  Petr Rockai authored Jul 11, 2019
  
  3b467592
- tools: Fix compilation of the LART driver. · 53296f9a
  Petr Rockai authored Jul 11, 2019
  
  53296f9a
Jul 09, 2019
- bricks: Remove the hacky support for printing LLVM values from brick-string. · 2de2246b
  Petr Rockai authored Jul 09, 2019
  
  2de2246b
- LTL: Do not print things to cout/cerr directly, take an ostream instead. · 35fc8fbc
  Petr Rockai authored Jul 09, 2019
  
  35fc8fbc
- bricks: Trace destruction of reference-counted objects. · fcf8756d
  Petr Rockai authored Jul 09, 2019
  
  fcf8756d
- bricks: Parametrize {concurrent_,}hash_set with growth pattern & chain length. · 5e464360
  Petr Rockai authored Jul 09, 2019
  
  5e464360
- bricks: Slightly improve the traces in brick-hashset. · fe15bfba
  Petr Rockai authored Jul 09, 2019
  
  fe15bfba
- bricks: Restore the BRICKS_NOTHROW_ASSERTS option. · 4b9a8285
  Petr Rockai authored Jul 09, 2019
  
  4b9a8285
- bricks: Cut out the middleman (std::cerr) from brick-trace. · 7c916f61
  Petr Rockai authored Jul 09, 2019
  
  7c916f61
Jul 06, 2019
- test: Revert to using C++14 as the default for C++ testcases. · dffb3628
  Petr Rockai authored Jul 06, 2019
  
  dffb3628
Jul 05, 2019
- llvm: Add support for ELF shared libraries to IRObjectFile. · 452bd4e1
  Petr Rockai authored Jul 05, 2019
  
  452bd4e1
- RT: Fix DiosCC::link_dios_config() broken by a change in Driver::load_object(). · 5abfee86
  Petr Rockai authored Jul 05, 2019
  
  5abfee86
- CC: Add support for creating shared libraries. · 9fbe57f2
  Petr Rockai authored Jul 05, 2019
  
  9fbe57f2
- CC: Add support for linking bitcode loaded from shared libraries. · 87d7309e
  Petr Rockai authored Jul 05, 2019
  
  87d7309e
- CC: Add support for loading ELF files (with .llvmbc) to Driver::load_object(). · 2ce542f8
  Petr Rockai authored Jul 05, 2019
  
  2ce542f8
- CC: Split Driver::load_object() into find_object() and load_object() proper. · e78371f5
  Petr Rockai authored Jul 05, 2019
  
  e78371f5
- CC: Refactor bitcode archive lookup and loading. · 73d51b1b
  Petr Rockai authored Jul 05, 2019
  
  73d51b1b
- test: Remove the remaining obsolete (and disabled) 'llvm' testcases. · 5790652f
  Petr Rockai authored Jul 05, 2019
  
  5790652f
- test: Resurrect a few very old (v)asprintf testcases. · e44b407c
  Petr Rockai authored Jul 05, 2019
  
  e44b407c
- test: Fix unpacking instructions in sym/global-*.pkg.*. · e225b23f
  Petr Rockai authored Jul 05, 2019
  
  e225b23f
- test: Fix unpacking instructions in sym/memcpy-a.pkg.cpp. · b8dafd20
  Petr Rockai authored Jul 05, 2019
  
  b8dafd20
- test: Resurrect a few ancient memcpy testcases. · 5e8bf5bd
  Petr Rockai authored Jul 05, 2019
  
  5e8bf5bd
- libc: Stub out {get,free}addrinfo and related, {get,set}sockopt, {read,write}v. · cb3943a6
  Zuzana Baranová authored Jul 05, 2019
  
  cb3943a6
- test: Add a couple testcases for basic memory errors. · 457a2511
  Petr Rockai authored Jul 05, 2019
  
  457a2511
- test: Mark a failing liveness test as todo. · 2434d0ef
  Petr Rockai authored Jul 05, 2019
  
  2434d0ef
- dios: Add {__BEGIN,__END}_DECLS to sys/uio.h. · 5691d783
  Zuzana Baranová authored Jul 05, 2019
  
  5691d783
- dios: Make {get,set}sockopt declarations available. · 680f7657
  Zuzana Baranová authored Jul 05, 2019
  
  680f7657
- test: Run verification tests on 2 threads (for better code coverage). · 4ed553f6
  Petr Rockai authored Jul 05, 2019
  
  4ed553f6
- dios: Make {get,free}addrinfo, getnameinfo & gai_strerror prototypes available. · 2ad1dc5f
  Zuzana Baranová authored Jul 05, 2019
  
  2ad1dc5f
- CC: Include system library search paths in Native when linking bitcode. · b7ec8941
  Zuzana Baranová authored Jul 05, 2019
  
  b7ec8941
- dios: Always link floor() as it is used in intrinsic lowering. · b2adf875
  Zuzana Baranová authored Jul 05, 2019
  
  b2adf875
Apr 28, 2019
- MC: Rewrite NestedDFS. · de122775
  Vladimír Štill authored Apr 28, 2019
  
  de122775
- MC: Make it possible to guide trace generation by a partial label. · 94cda628
  Vladimír Štill authored Apr 28, 2019
  
  94cda628
- MC: Relax assertion about error/accepting states in trace replay. · 9fc943cd
  Vladimír Štill authored Apr 28, 2019
  
  9fc943cd
- UI: Enable statistics for liveness. · f28662f8
  Vladimír Štill authored Apr 28, 2019
  
  f28662f8