Commits · c9ec1e31bcc7d15b86cc10a1febfc8eb12a90e77 · paradise / mirror / DIVINE · GitLab

Snippets Groups Projects

Jun 20, 2019
- CC: Move compile() into cc/native.{hpp,cpp}, rename to compileFiles(). · c9ec1e31
  Zuzana Baranová authored 5 years ago
  
  c9ec1e31
- CC: Move addSection() & ld_args() into cc/link, add include guard to .hpp. · e916ab98
  Zuzana Baranová authored 5 years ago
  
  e916ab98
- CC: Move whitelisted() functions into an anonymous namespace in link.hpp. · f007a3ae
  Zuzana Baranová authored 5 years ago
  
  f007a3ae
Jun 12, 2019
- CC: Move link_bitcode from divcc into cc/link.hpp. · 6a7e6fdc
  Zuzana Baranová authored 5 years ago
  
  6a7e6fdc
- CC: Move is_{,object_}type() from divcc into cc/filetype. · c561b59e
  Zuzana Baranová authored 5 years ago
  
  c561b59e
Jun 11, 2019
- tools: Template link_bitcode by Driver, only link in DIVINE libs with DiosCC. · cc8fc2ba
  Zuzana Baranová authored 5 years ago
  
  cc8fc2ba
Jun 18, 2019
- VM: Fix memory copy in __vm_syscall. · d1c201bb
  Adam Matoušek authored 5 years ago
  
  d1c201bb
- dios: Fix fcntl in passthrough and replay modes. · 0afb5506
  Adam Matoušek authored 5 years ago
  
  0afb5506
- dios: Correct "Cout" to "Count". · a2ecbf15
  Adam Matoušek authored 5 years ago
  
  a2ecbf15
Jun 11, 2019
- doc: Add VFS seminar outline. · 61aa8cff
  Vladimír Štill authored 5 years ago
  
  61aa8cff
- dios: Fix debugfn in VmTraceFile. · 587a765d
  Vladimír Štill authored 5 years ago
  
  587a765d
- dios: Extend VFS documentation. · 78317b56
  Vladimír Štill authored 5 years ago
  
  78317b56
Jun 16, 2019
- releng: Update for 4.3.1 · 81cb9837
  Release Bot authored 5 years ago
  
  View commits for tag 4.3.1 4.3.1
  
  81cb9837
Jun 15, 2019
- MC: Add a unit test for loop detection in machine::Graph. · 9ebf5bb3
  Petr Rockai authored 5 years ago
  
  9ebf5bb3
- MC: Make the loop detection hash table local to a single transition. · 376c6f46
  Petr Rockai authored 5 years ago
  
  376c6f46
- VM: Improve support for integers with a not-power-of-2 number of bits (DynInt). · 92d18b7b
  Petr Rockai authored 5 years ago
  
  92d18b7b
- bricks: Hack in support for __uint128_t into string::fmt(). · 2316b9c9
  Petr Rockai authored 5 years ago
  
  2316b9c9
- dbg: Fix printing of integer values (broke due to i128 changes). · 93e86f97
  Petr Rockai authored 5 years ago
  
  93e86f97
- VM: Add support for the LLVM type i128. · 133ce88c
  Petr Rockai authored 5 years ago
  
  133ce88c
- bricks: Extend bitlevel::bvpair with a few additional operators. · a357c3e0
  Petr Rockai authored 5 years ago
  
  a357c3e0
- VM: Improve support for 128-bit integers. · 58b7d95b
  Petr Rockai authored 5 years ago
  
  58b7d95b
Jun 13, 2019
- RT: Add -D__ELF__ and -D__unix__ to default DiosCC flags. · 7c7ec4d9
  Petr Rockai authored 5 years ago
  
  7c7ec4d9
- make: Clean up old lld libs from build directories since they break the build. · 8a09714b
  Petr Rockai authored 5 years ago
  
  8a09714b
- cmake: Update LLVM package version to 7.0.0. · 5090068b
  Petr Rockai authored 5 years ago
  
  5090068b
- RT: Fix a buggy assignment in DiosCC::setup(). · b5b2d1a8
  Petr Rockai authored 5 years ago
  
  b5b2d1a8
Jun 12, 2019
- cmake: Fix stringify -- string_view has been out of experimental for a while. · ee8fb8fc
  Petr Rockai authored 5 years ago
  
  ee8fb8fc
- stp: Replace uses of deprecated std::auto_ptr with std::unique_ptr. · 6587f514
  Petr Rockai authored 5 years ago
  
  6587f514
Mar 03, 2019
- VM: Fix eval debug prints. · 1305318e
  Petr Rockai authored 6 years ago
  
  1305318e
Nov 25, 2018
- test: Make it easier to debug failures in various filesystem test cases. · 249b54e4
  Petr Rockai authored 6 years ago
  
  249b54e4
Jun 12, 2019
- cmake: Tell libc++ that it should use an in-tree build of libc++abi. · 15a61b9e
  Petr Rockai authored 5 years ago
  
  15a61b9e
- make: Always run the toolchain build with a clean cmake cache. · 2bce0b4c
  Petr Rockai authored 5 years ago
  
  2bce0b4c
- cmake: Fix compile flags for libc++{,abi}. · bfd0d300
  Petr Rockai authored 5 years ago
  
  bfd0d300
- cmake: Build DiOS with -D__ELF__ and -D__unix__. · 6132f2b2
  Petr Rockai authored 5 years ago
  
  6132f2b2
- cmake: Import cmake modules shipped with libc++abi. · 5bf207d1
  Petr Rockai authored 5 years ago
  
  5bf207d1
- clang: Resolve conflicts in toolchain-specific code. · 95ece3ff
  Petr Rockai authored 5 years ago
  
  95ece3ff
- make: Bump the toolchain stamp version. · c151b79f
  Petr Rockai authored 5 years ago
  
  c151b79f
- cmake: Work around what looks like a cmake bug with SONAME and linking. · e34dcf7b
  Petr Rockai authored 5 years ago
  
  e34dcf7b
- llvm: Resolve conflicts in cmake files. · cd600cc1
  Petr Rockai authored 5 years ago
  
  cd600cc1
- libc: Fix a few warnings. · 4786ee59
  Petr Rockai authored 5 years ago
  
  4786ee59
- bricks: Update LLVM bricks to build with LLVM version 7. · c8da635d
  Petr Rockai authored 5 years ago
  
  c8da635d