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

Jun 20, 2018
- llvm: Update to 6.0 from upstream (lib). · 6df446e5
  Petr Rockai authored Jun 20, 2018
  
  6df446e5
Jan 11, 2019
- lld: Import Common/CMakeLists.txt (from upstream 6.0). · 5ede06c7
  Petr Rockai authored Jan 11, 2019
  
  5ede06c7
- lld: Import the common code which appeared in version 6.0. · ef3d96d5
  Petr Rockai authored Jan 11, 2019
  
  ef3d96d5
- lld: Update toplevel cmake from upstream 6.0. · d68a947c
  Petr Rockai authored Jan 11, 2019
  
  d68a947c
Jan 10, 2019
- lld: Update to version 6.0 from upstream. · 1e51c15e
  Petr Rockai authored Jan 10, 2019
  
  1e51c15e
- lld: Update to version 6.0 from upstream (cmake). · ddf02b2c
  Petr Rockai authored Jan 10, 2019
  
  ddf02b2c
Jan 13, 2019
- VM: Fix build (xg::intrinsic_id is now brick::llvm::intrinsic_id). · 30d293e7
  Petr Rockai authored Jan 13, 2019
  
  30d293e7
- bricks: Add a missing #include to brick-llvm. · 9b8590c7
  Petr Rockai authored Jan 13, 2019
  
  9b8590c7
Jan 04, 2019
- VM: Use intrinsic_id function from bricks. · 465b9e86
  Vladimír Štill authored Jan 04, 2019
  
  465b9e86
- bricks: Add intrinsic_id originally from divine::vm::xg to brick::llvm. · aa4d0640
  Vladimír Štill authored Jan 04, 2019
  
  aa4d0640
Jan 03, 2019
- bricks: Add some tuple utilities. · db6d562d
  Vladimír Štill authored Jan 03, 2019
  
  db6d562d
Jan 02, 2019
- bricks: Reformat operator test helpers in brick-type. · 0dbf11a2
  Vladimír Štill authored Jan 02, 2019
  
  0dbf11a2
- bricks: Allow deriving operator== from as_tuple for EQ-only types. · de248590
  Vladimír Štill authored Jan 02, 2019
  
  de248590
Jan 13, 2019
- test: Test that it is possible to override libc functions (here write()). · 9505061a
  Zuzana Baranová authored Jan 13, 2019
  
  9505061a
- dios: Allow overriding of syscall wrappers by making them weak aliases. · d66fa7a0
  Zuzana Baranová authored Jan 13, 2019
  
  d66fa7a0
- CC: Make the executable name in ClangDriver divcc instead of /usr/bin/false. · cdda05b7
  Zuzana Baranová authored Jan 13, 2019
  
  cdda05b7
Jan 12, 2019
- CC: Fix the leak of Compilation in Driver::getJobs(). · 6d1adab2
  Zuzana Baranová authored Jan 12, 2019
  
  6d1adab2
- tools: Fix the leak of TargetMachine in divcc. · 59288dfa
  Zuzana Baranová authored Jan 12, 2019
  
  59288dfa
Jan 13, 2019
- VM: Fix undefined behaviour in *_with_overflow testcases. · 2ed19efa
  Petr Rockai authored Jan 13, 2019
  
  2ed19efa
Jan 12, 2019
- tools: Fix a leak in divcc stemming from BuildCompilation's return value. · 54322f53
  Zuzana Baranová authored Jan 12, 2019
  
  54322f53
Jan 11, 2019
- RT: Rename libcxx{,abi}.a to libc++{,abi}.a to be consistent with upstream. · b5210d23
  Petr Rockai authored Jan 11, 2019
  
  b5210d23
- test: Test divine cc -c -I filename in all permutations. · 0b778e23
  Zuzana Baranová authored Jan 11, 2019
  
  0b778e23
- UI: Fix include paths with divine cc when -c is present. · e08e4f30
  Zuzana Baranová authored Jan 11, 2019
  
  e08e4f30
Jan 10, 2019
- tools: Use ClangDriver in divcc. · 163716ba
  Zuzana Baranová authored Jan 10, 2019
  
  163716ba
- CC: Use ClangDriver in Driver::getJobs(). · 76ab0a6b
  Zuzana Baranová authored Jan 10, 2019
  
  76ab0a6b
- CC: Add ClangDriver that makes use of Diagnostics via DiagnosticsWrapper. · a72c9a92
  Zuzana Baranová authored Jan 10, 2019
  
  a72c9a92
- test: Fix and un-todo a few pending filesystem capture test cases. · 6292a2d4
  Petr Rockai authored Jan 10, 2019
  
  6292a2d4
- test: Add missing '. lib/testcase' to divcc/cmake-pthread.sh. · cdf669c1
  Petr Rockai authored Jan 10, 2019
  
  cdf669c1
Jan 09, 2019
- UI: Capture intermediate directories when chasing absolute symlinks. · 38ac53ae
  Petr Rockai authored Jan 09, 2019
  
  38ac53ae
- UI: Die more gracefully when stat fails (i.e. do not SEGV). · facf8c63
  Petr Rockai authored Jan 09, 2019
  
  facf8c63
- UI: Die with an error when an impossible symlink capture is requested. · 208cbe29
  Petr Rockai authored Jan 09, 2019
  
  208cbe29
- UI: Generate correct paths for files captured via relative symlinks. · a7fc530c
  Petr Rockai authored Jan 09, 2019
  
  a7fc530c
- CC: Use the Diagnostics structure in CC1::cc1(). · 132be361
  Zuzana Baranová authored Jan 09, 2019
  
  132be361
- CC: Drop the superfluous diag- prefix from Diagnostics attributes. · 27c21cd6
  Zuzana Baranová authored Jan 09, 2019
  
  27c21cd6
- UI: Fix capture of individual files (+ minor style fixes). · d6c5f552
  Petr Rockai authored Jan 09, 2019
  
  d6c5f552
- test: Make sure that divcc passes cmake's pthread test. · 42264b8b
  Petr Rockai authored Jan 09, 2019
  
  42264b8b
- tools: Fix divcc's output for --version and --help. · c2277af6
  Zuzana Baranová authored Jan 08, 2019
  
  c2277af6
Jan 08, 2019
- cmake: Link divcc with divine-ui. · 814d4c48
  Zuzana Baranová authored Jan 08, 2019
  
  814d4c48
- CC: Parse --version and --help and stop parsing at that if present. · 75561797
  Zuzana Baranová authored Jan 08, 2019
  
  75561797
- CC: Use the Diagnostics structure in place of Printer and Engine in getJobs(). · 3f9289e1
  Zuzana Baranová authored Jan 08, 2019
  
  3f9289e1