Commits · 6fa4fcf28c0353810e5f3332f4d40c55e3f65075 · 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.

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
Sep 01, 2017
- tools: Fix variant-related compilation error in divcc. · e2bc9923
  Vladimír Štill authored 7 years ago
  
  e2bc9923
Jun 28, 2017
- tools: First iteration of divcc: compiling. · 94e182c5
  Jan Horáček authored 7 years ago
  
  94e182c5