Commits · baa2e11aa530d391476d253e0eb7dd52a572a7da · paradise / mirror / DIVINE · GitLab

Jan 17, 2019
- test: Check that syscalls are weak and __libc_ versions are used internally. · baa2e11a
  Zuzana Baranová authored Jan 17, 2019
  
  baa2e11a
Jan 16, 2019
- libc: Update all internal system calls in fs.cpp to their __libc_ counterparts. · 1859c8df
  Zuzana Baranová authored Jan 15, 2019
  
  1859c8df
- libc: Switch to __libc_{read,write,lseek,close} in _PDCLIB_fileops.c. · 0028a6b3
  Zuzana Baranová authored Jan 15, 2019
  
  0028a6b3
- libc: Use __libc_ variants of kill() and sigaction() in glue.c. · 12d660f3
  Zuzana Baranová authored Jan 15, 2019
  
  12d660f3
- libc: Update to the __libc_{link,unlink} version in _PDCLIB_rename.c. · a31b6677
  Zuzana Baranová authored Jan 15, 2019
  
  a31b6677
- libc: Update to the __libc_{stat,rmdir,unlink} version in remove.c. · 1b59f863
  Zuzana Baranová authored Jan 15, 2019
  
  1b59f863
- libc: Switch to __libc_{fstat,read,close} in internal libc calls. · cba79293
  Zuzana Baranová authored Jan 15, 2019
  
  cba79293
- libc: Use the __libc_ version of getpid() in fork.cpp. · 676f61fb
  Zuzana Baranová authored Jan 15, 2019
  
  676f61fb
- libc: Use the __libc_ version of wait4() in sys/wait.c. · 1a75e650
  Zuzana Baranová authored Jan 15, 2019
  
  1a75e650
- dios: Add a prototype of weak sigaction() for linux & update its definition. · eacf0f8d
  Zuzana Baranová authored Jan 15, 2019
  
  eacf0f8d
Jan 15, 2019
- dios: #define the toplevel namespace as TOP, to use syscall.def in C files. · 58da924d
  Zuzana Baranová authored Jan 15, 2019
  
  58da924d
- dios: Generate prototypes of __libc_ prefixed system calls from SYSCALL(). · a440250a
  Zuzana Baranová authored Jan 15, 2019
  
  a440250a
Jan 16, 2019
- releng: Update for 4.2.0 · 09f32c50
  Release Bot authored Jan 16, 2019
  
  4.2.0
  
  09f32c50
Jan 15, 2019
- UI: Add support for --autotrace allocs(,calls) to the commandline parser. · 62c23af4
  Petr Rockai authored Jan 15, 2019
  
  62c23af4
- MC: Split off builder::Context into its own header (as mc::Context). · 98c7da92
  Petr Rockai authored Jan 15, 2019
  
  98c7da92
- MC: Add support for the 'allocs' mode of autotrace. · c962a80f
  Petr Rockai authored Jan 15, 2019
  
  c962a80f
- MC: Inform the user when exec stops due to an error or an infeasible path. · 1efda0de
  Petr Rockai authored Jan 15, 2019
  
  1efda0de
- MC: Split off Hasher into its own header file. · c94fdd59
  Petr Rockai authored Jan 14, 2019
  
  c94fdd59
Jan 14, 2019
- lart: Extend the autotrace pass with an 'allocs' mode/option. · 5481876f
  Petr Rockai authored Jan 14, 2019
  
  5481876f
- make: Bump the toolchain stamp version to force migration to clang 6. · 17a34a1a
  Petr Rockai authored Jan 14, 2019
  
  17a34a1a
Jan 13, 2019
- cmake: Put back code to export essential LLVM variables. · ce372d11
  Petr Rockai authored Jan 13, 2019
  
  ce372d11
- llvm: Resolve a conflict in CMakeLists.txt. · d005387d
  Petr Rockai authored Jan 13, 2019
  
  d005387d
- VM: Fix xg::AddressMap::has_addr() to correspond to the behaviour of addr(). · 27027924
  Petr Rockai authored Jan 13, 2019
  
  27027924
- rst: Add 'ptrtoint' to the list of ops & implement __sym_ptrtoint. · aa28f821
  Petr Rockai authored Jan 13, 2019
  
  aa28f821
- lld: Disable components that we do not ship (mingw, wasm). · d81e74e0
  Petr Rockai authored Jan 13, 2019
  
  d81e74e0
- bricks: Update LLVM modules to build with LLVM 6.0. · 14f269ef
  Petr Rockai authored Jan 13, 2019
  
  14f269ef
- tools: Update the #include path for LLD's Driver.h. · c2124689
  Petr Rockai authored Jan 13, 2019
  
  c2124689
- cmake: Fix linking of divcc. · f2a469eb
  Petr Rockai authored Jan 13, 2019
  
  f2a469eb
- cmake: Bump LLVM version to 6.0. · 0c1fc7e2
  Petr Rockai authored Jan 13, 2019
  
  0c1fc7e2
- cmake: Fix linking of libdivine-cc (LLVM 6.0 has added per-target libs). · f6fe9882
  Petr Rockai authored Jan 13, 2019
  
  f6fe9882
- lart: Simplify debuginfo handling in paropt & make it work with LLVM 6.0. · 44d74411
  Petr Rockai authored Jan 13, 2019
  
  44d74411
Jan 12, 2019
- tools: A minor change to make divcc build with LLVM 6.0. · 5fa06bea
  Petr Rockai authored Jan 12, 2019
  
  5fa06bea
- MC: Update error printing code to work with LLVM 6.0. · ee3507af
  Petr Rockai authored Jan 12, 2019
  
  ee3507af
- cmake: Link libdivine-cc to LLVMTransformUtils. · 642686c8
  Petr Rockai authored Jan 12, 2019
  
  642686c8
- MC: Add a missing virtual destructor to Job. · fa0297a8
  Petr Rockai authored Jan 12, 2019
  
  fa0297a8
Jun 20, 2018
- llvm: Update to 6.0 from upstream (cmake, credits). · fb894f9f
  Petr Rockai authored Jun 20, 2018
  
  fb894f9f
- llvm: Update to 6.0 from upstream (tools, utils). · b61473b3
  Petr Rockai authored Jun 20, 2018
  
  b61473b3
- clang: Update to 6.0 from upstream (cmake, credits). · 4a174d28
  Petr Rockai authored Jun 20, 2018
  
  4a174d28
- clang: Update to 6.0 from upstream (tools, utils). · e8c31e00
  Petr Rockai authored Jun 20, 2018
  
  e8c31e00
- clang: Update to 6.0 from upstream (include). · 34df8e8f
  Petr Rockai authored Jun 20, 2018
  
  34df8e8f