Commits · 31c560426f4daede8c4c511087d4c598123b97ca · paradise / mirror / DIVINE · GitLab

Snippets Groups Projects

Jun 22, 2019
- CC: Parse and set options in the constructor of Native instead of divcc. · 31c56042
  Zuzana Baranová authored 5 years ago
  
  31c56042
- VM: Fix undefined references to methods defined in context.tpp. · 2b759eb4
  Petr Rockai authored 5 years ago
  
  2b759eb4
- MC: Fix compilation of exec.cpp. · 8d4c0066
  Petr Rockai authored 5 years ago
  
  8d4c0066
- sim: Fix the implementation of 'info functions'. · 796e563e
  Petr Rockai authored 5 years ago
  
  796e563e
Dec 16, 2018
- sim: Implement an 'info functions' subcommand. · 31512a04
  Petr Rockai authored 6 years ago
  
  31512a04
Jun 22, 2019
- VM: Print each evaluated instruction using the brick-trace mechanism. · 64b9f619
  Petr Rockai authored 5 years ago
  
  64b9f619
- VM: Refactor the computation context into a stack of components. · 45fa72a8
  Petr Rockai authored 5 years ago
  
  45fa72a8
- VM: Move and rename dbg::print::opcode() to vm::opname(). · 513beace
  Petr Rockai authored 5 years ago
  
  513beace
- bricks: Accept lambdas that print into a stream as arguments to TRACE(). · f2659451
  Petr Rockai authored 5 years ago
  
  f2659451
Jun 16, 2019
- VM: Move loop tracking code into a separate header file. · 11baef6d
  Petr Rockai authored 5 years ago
  
  11baef6d
- VM: Move frame creation code out of context.hpp, into frame.hpp. · 585d731b
  Petr Rockai authored 5 years ago
  
  585d731b
- MC: Make weave() available outside of unit tests. · 8e2ee9b2
  Petr Rockai authored 5 years ago
  
  8e2ee9b2
- MC: Optionally randomize the order of choice traversal in machine::Tree. · 46c9e79f
  Petr Rockai authored 5 years ago
  
  46c9e79f
- VM: Reindent context.hpp. · 44ab09ec
  Petr Rockai authored 5 years ago
  
  44ab09ec
Jun 12, 2019
- VM: Move an #include required only for unit tests to the unit test file. · 6202cd64
  Petr Rockai authored 5 years ago
  
  6202cd64
Jun 22, 2019
- RT: Factor out the code to add DiOS header paths. · 2791405e
  Zuzana Baranová authored 5 years ago
  
  2791405e
- RT: Override link_bitcode in NativeDiosCC. · 322662e1
  Zuzana Baranová authored 5 years ago
  
  322662e1
- CC: Add link_bitcode virtual method to Native, call it in link(). · 9c6c975b
  Zuzana Baranová authored 5 years ago
  
  9c6c975b
Jun 21, 2019
- RT: Add struct NativeDiosCC (derived from cc::Native) that links in DiOS. · 13bad86a
  Zuzana Baranová authored 5 years ago
  
  13bad86a
- CC: Make init_ld_args() idempotent. · b879bd47
  Zuzana Baranová authored 5 years ago
  
  b879bd47
- CC: Fix style (indent, copyright, snake case). · 1dfb5b5f
  Zuzana Baranová authored 5 years ago
  
  1dfb5b5f
- cmake: Link lld into divine/cc instead of divcc. · 867ea025
  Zuzana Baranová authored 5 years ago
  
  867ea025
Jun 20, 2019
- CC: Move link() from divcc to Native, factor out DiOS-related parts. · 59f27517
  Zuzana Baranová authored 5 years ago
  
  59f27517
- CC: Collect common compilation variables from divcc into struct Native. · e5a6be53
  Zuzana Baranová authored 5 years ago
  
  e5a6be53
- tools: Use cc::Driver to getJobs() in divcc, instead of rt::DiosCC. · 64ef6853
  Zuzana Baranová authored 5 years ago
  
  64ef6853
- tools: Rename compile_and_link to link, move dios linking out. · fc846b06
  Zuzana Baranová authored 5 years ago
  
  fc846b06
- 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