Commits · 8b05290724482a23b84ce105c1e09abd9b5c22ef · paradise / mirror / DIVINE · GitLab

Snippets Groups Projects

NOTICE: Cloning or pulling repositories in GitLab 17.11.0 over HTTPS is broken upstream, fix expected soon. Use Personal Access Tokens or SSH Keys in the meantime — additional info here.

Jul 05, 2018
- tools: DiOS's filesystem is now set up in DiosDriver. · 8b052907
  Zuzana Baranová authored 6 years ago
  
  8b052907
- tools: Rename compil (a DiosDriver) in divcc and drop Module from linkModule. · d31d191c
  Zuzana Baranová authored 6 years ago
  
  d31d191c
- tools: Replace Driver with DiosDriver in divcc. · 7d9e598c
  Zuzana Baranová authored 6 years ago
  
  7d9e598c
Jul 04, 2018
- tools: Add a bunch of now missing LLVM includes to divcc. · b6e1ba82
  Vladimír Štill authored 6 years ago
  
  b6e1ba82
Jul 03, 2018
- tools: Reflect that Compile was renamed to Driver and moved to driver.hpp. · b2ec0546
  Zuzana Baranová authored 6 years ago
  
  b2ec0546
- tools: Use the existing initTargets instead of initializing manually. · 55c57143
  Zuzana Baranová authored 6 years ago
  
  55c57143
- tools: Account for the renaming of {preprocess,compile}Module. · e2bcc421
  Zuzana Baranová authored 6 years ago
  
  e2bcc421
- tools: Reflect that Compiler has been renamed to CC1. · 8f85d96d
  Zuzana Baranová authored 6 years ago
  
  8f85d96d
Jun 30, 2018
- tools: Move addSection() from cc/elf to divcc. · 587750b0
  Zuzana Baranová authored 6 years ago
  
  587750b0
- tools: Resolve a merge conflict in divcc. · b45a3fac
  Petr Rockai authored 6 years ago
  
  b45a3fac
Jun 29, 2018
- tools: Port divcc to LLVM 5.0. · de0faded
  Petr Rockai authored 6 years ago
  
  de0faded
Jun 30, 2018
- tools: Reflect the FileType changes in divcc. · 06c90d73
  Zuzana Baranová authored 6 years ago
  
  06c90d73
Jun 29, 2018
- tools: Fix whitespace in divcc. · 7b27a99f
  Zuzana Baranová authored 6 years ago
  
  7b27a99f
- tools: Remove unnecessary includes from divcc. · c62a56bb
  Zuzana Baranová authored 6 years ago
  
  c62a56bb
Jun 28, 2018
- tools: Use LLVM's addPassesToEmitFile directly (deduplicate). · 332aa445
  Zuzana Baranová authored 6 years ago
  
  332aa445
- tools: Port divcc to LLVM 4.0. · c11e02ff
  Zuzana Baranová authored 6 years ago
  
  c11e02ff
Jun 16, 2018
- tools: Disable divcc while it's being ported to the current clang version. · ed72c691
  Petr Rockai authored 6 years ago
  
  ed72c691
May 29, 2018
- tools: Also detect undefined global variables when linking bitcode in divcc. · f7b027b7
  Zuzana Baranová authored 6 years ago
  
  f7b027b7
May 07, 2018
- tools: Skip adding bitcode into the executable if gcc fails at linking. · 967c6e29
  Zuzana Baranová authored 6 years ago
  
  967c6e29
- tools: Make divcc also work with relative paths. · d43cb466
  Zuzana Baranová authored 6 years ago
  
  d43cb466
Apr 02, 2018
- tools: Better mimic gcc in file naming so that divcc can work with CMake. · adc34616
  Zuzana Baranová authored 7 years ago
  
  adc34616
Mar 15, 2018
- tools: Do not spawn linked.bc (put bitcode directly into the executable). · 6fa4fcf2
  Zuzana Baranová authored 7 years ago
  
  6fa4fcf2
Mar 13, 2018
- tools: Fix include paths in divcc. · 70c5069d
  Petr Rockai authored 7 years ago
  
  70c5069d
- tools: Inject bitcode into the executable created by divcc. · 353d4ff0
  Zuzana Baranová authored 7 years ago
  
  353d4ff0
Mar 11, 2018
- tools: Give WEXITSTATUS an lvalue (some systems take its address). · 266ad1ce
  Zuzana Baranová authored 7 years ago
  
  266ad1ce
Feb 06, 2018
- tools: Link archives into the llvm bitcode in divcc. · aa7392a6
  Zuzana Baranová authored 7 years ago
  
  aa7392a6
Feb 05, 2018
- tools: Fix naming of Object and Archive files in divcc. · b77aebe5
  Zuzana Baranová authored 7 years ago
  
  b77aebe5
- tools: Check linked bitcode for undefined symbols and exit if present. · eb7a3101
  Zuzana Baranová authored 7 years ago
  
  eb7a3101
- tools: Let IRObjectFile fetch the .llvmbc section (deduplicate code). · fb0b8710
  Zuzana Baranová authored 7 years ago
  
  fb0b8710
Jan 11, 2018
- tools: Implement llvmExtract() to link respective bitcode from .o files. · 29573f06
  Zuzana Baranová authored 7 years ago
  
  29573f06
- tools: Fix naming of temp object files in full compilation. · 4f93d78a
  Zuzana Baranová authored 7 years ago
  
  4f93d78a
Jan 07, 2018
- tools: Add a missing #include to divcc.cpp. · 1272485d
  Petr Rockai authored 7 years ago
  
  1272485d
Dec 19, 2017
- tools: Fix style and formatting in divcc. · 7edd2ebb
  Zuzana Baranová authored 7 years ago
  
  7edd2ebb
- tools: Return gcc's return value. · 64107ed7
  Zuzana Baranová authored 7 years ago
  
  64107ed7
- tools: Skip archive files in compilation in divcc. · 98a231ab
  Zuzana Baranová authored 7 years ago
  
  98a231ab
Dec 16, 2017
- tools: Allow specifying an output file with divcc using -o in full compilation. · 4e25bb0d
  Zuzana Baranová authored 7 years ago
  
  4e25bb0d
- tools: Fix divcc to accord with changes in rt and Compiler. · 481a650e
  Zuzana Baranová authored 7 years ago
  
  481a650e
Dec 15, 2017
- tools: Skip input object files (*.o) with divcc for now. · 8555828f
  Zuzana Baranová authored 7 years ago
  
  8555828f
- tools: Make divcc invoke gcc for linking and use DIVINE's headers. · 0484227a
  Zuzana Baranová authored 7 years ago
  
  0484227a
- tools: Implement the -E option for divcc (preprocess only). · 2331ea3c
  Zuzana Baranová authored 7 years ago
  
  2331ea3c