Commits · 4d09b968f5df119a24be2b0f04d4084030a896e4 · paradise / mirror / DIVINE · GitLab

May 15, 2019
- lart: Fix potentially called function detection. · 4d09b968
  Henrich Lauko authored May 15, 2019
  
  4d09b968
- lart: Fix propagation of abstract values through select instructions. · b69e1358
  Petr Rockai authored May 15, 2019
  
  b69e1358
May 14, 2019
- lart: Fix propagation of abstract arguments metadata. · ad7309ba
  Henrich Lauko authored May 14, 2019
  
  ad7309ba
May 15, 2019
- dios: Further slim down the 'null' config. · 80d821ee
  Petr Rockai authored May 15, 2019
  
  80d821ee
- dios: Add a trap to syscall stubs in the null config. · 73aebf9f
  Petr Rockai authored May 15, 2019
  
  73aebf9f
- MC: Use the 'null' dios config when a user-provided __boot is present. · c007a0d5
  Petr Rockai authored May 15, 2019
  
  c007a0d5
- dios: Add a 'null' kernel configuration (no kernel, just syscall stubs). · b66afa74
  Petr Rockai authored May 15, 2019
  
  b66afa74
May 14, 2019
- cmake: Include proxy/*.cpp in dios.a. · 1ac7f736
  Petr Rockai authored May 14, 2019
  
  1ac7f736
- dios: Re-enable 'proxy' (previously passthrough) and 'replay' kernel configs. · e4fc45a0
  Petr Rockai authored May 14, 2019
  
  e4fc45a0
- dios: Fix compilation of syscall proxy code. · 9678e6d1
  Petr Rockai authored May 14, 2019
  
  9678e6d1
- test: Fix testcases which use non-default dios configurations. · 182462c9
  Petr Rockai authored May 14, 2019
  
  182462c9
- MC: Add support for linking in statically configured dios kernels to BitCode. · 2dc69dbb
  Petr Rockai authored May 14, 2019
  
  2dc69dbb
- sim: Read which dios configuration to use from the report. · bbad3d21
  Petr Rockai authored May 14, 2019
  
  bbad3d21
- UI: Add a --dios-config option. · 121cce3d
  Petr Rockai authored May 14, 2019
  
  121cce3d
- UI: Fix initialisation of bitcode (linking dios is now a separate phase). · 52ccf841
  Petr Rockai authored May 14, 2019
  
  52ccf841
- RT: Add support for linking in a statically configured dios kernel. · eecbf75f
  Petr Rockai authored May 14, 2019
  
  eecbf75f
- CC: Add a helper method for loading bitcode files from the VFS. · 4e7feee7
  Petr Rockai authored May 14, 2019
  
  4e7feee7
- dios: Build and stringify per-config bitcode files. · b790bc22
  Petr Rockai authored May 14, 2019
  
  b790bc22
- dios: Get rid of vtables / indirect calls in the syscall path. · 18d6e270
  Petr Rockai authored May 14, 2019
  
  18d6e270
- dios: Add a missing #include guard to sys/procmanager.hpp. · abd42d74
  Petr Rockai authored May 14, 2019
  
  abd42d74
- dios: Get rid of dynamic configuration selection. · b92ea8d3
  Petr Rockai authored May 14, 2019
  
  b92ea8d3
- dios: Split kernel configurations into separate bitcode files. · e93f7d84
  Petr Rockai authored May 14, 2019
  
  e93f7d84
May 01, 2019
- releng: Update for 4.2.7 · 0526fbf2
  Release Bot authored May 01, 2019
  
  4.2.7
  
  0526fbf2
Apr 28, 2019
- bricks: Fix the default constructor of refcount_ptr. · 4dc44761
  Petr Rockai authored Apr 28, 2019
  
  4dc44761
- bricks: Check that refcount_ptr calls the destructor when it should. · ca4fa474
  Petr Rockai authored Apr 28, 2019
  
  ca4fa474
- rst: Fix a memory leak in mstring by using brq::refcount_ptr. · 94ad1b3b
  Petr Rockai authored Apr 28, 2019
  
  94ad1b3b
- bricks: Add a simple intrusive reference counting smart pointer (refcount_ptr). · 2538e377
  Petr Rockai authored Apr 28, 2019
  
  2538e377
Apr 09, 2019
- make: Respect LDFLAGS and CXXFLAGS (either from the system or from local.make). · 60275f12
  Petr Rockai authored Apr 09, 2019
  
  60275f12
Apr 22, 2019
- test: Drop 'min' from mstring-strcmp-c.cpp so it doesn't run with smtlib. · ff368713
  Petr Rockai authored Apr 22, 2019
  
  ff368713
- test: Check that linking dios does not pull in undesirable symbols. · 056fae90
  Petr Rockai authored Apr 22, 2019
  
  056fae90
- dios: Fix computation of _PDCLIB_wcinfo_size. · 11e8b246
  Petr Rockai authored Apr 22, 2019
  
  11e8b246
- rst: Get rid of std::shared_ptr. · 4f01e23a
  Petr Rockai authored Apr 21, 2019
  
  4f01e23a
Apr 21, 2019
- bricks: Only run expansion scripts once (brick-shelltest). · 781fa05b
  Petr Rockai authored Apr 21, 2019
  
  781fa05b
- MC: Fix a crash in `divine draw`. · 9e2fefa6
  Petr Rockai authored Apr 21, 2019
  
  9e2fefa6
Apr 04, 2019
- test: Add very basic tests for draw. · d00d352f
  Vladimír Štill authored Apr 04, 2019
  
  d00d352f
Apr 21, 2019
- dios: Hide internal global arrays/structures from 'sim' behind pointer types. · c375eb0b
  Petr Rockai authored Apr 21, 2019
  
  c375eb0b
Apr 09, 2019
- clang: Current OpenBSD versions use compiler_rt, not libgcc. · ae2feebf
  Petr Rockai authored Apr 09, 2019
  
  ae2feebf
Apr 21, 2019
- dbg: Fix code for reading memory content in print::raw(). · b49f84a4
  Petr Rockai authored Apr 21, 2019
  
  b49f84a4
- dbg: Port Node::globalvars() to LLVM 6 and re-enable it. · c5344554
  Petr Rockai authored Apr 21, 2019
  
  c5344554
- VM: Treat globals stored in the llvm.metadata section as constants. · 9f60c693
  Petr Rockai authored Apr 21, 2019
  
  9f60c693