Commits · 53d4f53c542ff81d92551051442a3bda7741cd3b · paradise / mirror / DIVINE · GitLab

Jul 12, 2019
- test: Note that the pointer munging in ptr-shift.c is not actually valid C. · 53d4f53c
  Petr Rockai authored Jul 12, 2019
  
  53d4f53c
Jul 06, 2019
- CC: Allow libraries to be searched for by full name (including suffix). · af11b861
  Zuzana Baranová authored Jul 06, 2019
  
  af11b861
- CC: Set relocation model in CC1 to static if none was specified. · cd91e4f8
  Zuzana Baranová authored Jul 06, 2019
  
  cd91e4f8
- CC: Set relocation model to PIC if -fPIC was specified. · 54651080
  Zuzana Baranová authored Jul 06, 2019
  
  54651080
- CC: Refactor link_bitcode() in Native. · ab43ef80
  Zuzana Baranová authored Jul 06, 2019
  
  ab43ef80
Jul 05, 2019
- CC: Do not abort compilation with divcc if we meet a file/lib without bitcode. · 93fe574c
  Zuzana Baranová authored Jul 05, 2019
  
  93fe574c
- dios: Import libm's frexp() and modf() from OpenBSD. · 9d200d71
  Zuzana Baranová authored Jul 05, 2019
  
  9d200d71
Jul 12, 2019
- lart: Fix a compile error in analysis/bbscc.h. · 0d24879a
  Petr Rockai authored Jul 11, 2019
  
  0d24879a
- bricks: Do not spill progress bars all over shell test output in verbose mode. · c84d7102
  Petr Rockai authored Jul 11, 2019
  
  c84d7102
- bricks: Get rid of the unused printstats() from mem::Pool. · 0b8ac95d
  Petr Rockai authored Jul 11, 2019
  
  0b8ac95d
- bricks: Optionally make mem::RefPool counters atomic. · 421edf2a
  Petr Rockai authored Jul 11, 2019
  
  421edf2a
Jul 10, 2019
- VM: Add comments to program.hpp. · 5cfe6eef
  Petr Rockai authored Jul 10, 2019
  
  5cfe6eef
- UI: Clean up style in cli.cpp. · ff90eca8
  Petr Rockai authored Jul 10, 2019
  
  ff90eca8
- VM: Add a comment to ctx-frame.hpp. · 2d8f6b18
  Petr Rockai authored Jul 10, 2019
  
  2d8f6b18
- VM: Get rid of the obsolete NATIVE_VISIBLE macro. · bdfa0368
  Petr Rockai authored Jul 10, 2019
  
  bdfa0368
- dios: Fix a typo in a comment. · 3a25b387
  Petr Rockai authored Jul 10, 2019
  
  3a25b387
- doc: Update ROADMAP a bit. · da32dcb9
  Petr Rockai authored Jul 10, 2019
  
  da32dcb9
- bricks: Make align and bitcast available through the 'brq' namespace. · 6e87c2e8
  Petr Rockai authored Jul 10, 2019
  
  6e87c2e8
- VM: Get rid of type punning in pointer.hpp. · 9292d164
  Petr Rockai authored Jul 10, 2019
  
  9292d164
- VM: Clean up and update comments in pointer.hpp. · 8dbe5a5d
  Petr Rockai authored Jul 10, 2019
  
  8dbe5a5d
Jul 12, 2019
- dios: Make it possible to temporarily suppress traces. · d135b873
  Petr Rockai authored Jul 11, 2019
  
  d135b873
- bricks: Add an interoperable operator<< to the ::llvm namespace in brick-llvm. · 7ca02d81
  Petr Rockai authored Jul 11, 2019
  
  7ca02d81
- bricks: Disable automatic tracing of asserts until they get separate controls. · 75be0b6a
  Petr Rockai authored Jul 11, 2019
  
  75be0b6a
- MC: Stash the final state of a trace if CE generation fails (for backtraces). · 7e830c4c
  Petr Rockai authored Jul 11, 2019
  
  7e830c4c
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