Commits · 4974b6cd220f81ace67b2de3645b9bc19e8b47ca · paradise / mirror / DIVINE · GitLab

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

Feb 02, 2019
- test: Add a 'todo' tag to sym memory leak testcases. · 4974b6cd
  Petr Rockai authored Feb 02, 2019
  
  4974b6cd
- lart: Temporarily deactivate cleanup (reference counting) for abstractions. · 69e8dd31
  Petr Rockai authored Feb 02, 2019
  
  69e8dd31
- test: Fix tests that use __vm_obj_make directly. · 17ae2a2f
  Petr Rockai authored Feb 02, 2019
  
  17ae2a2f
- test: Remove the 'todo' tag from weakmem/peterson_*.cpp. · 8ed3498e
  Petr Rockai authored Feb 02, 2019
  
  8ed3498e
- test: Remove 'todo' from vm/nonstandard-int.cpp as it works now. · f45ce946
  Petr Rockai authored Feb 02, 2019
  
  f45ce946
- test: Remove 'todo' tags from a number of passing svcomp testcases. · 9f448420
  Petr Rockai authored Feb 02, 2019
  
  9f448420
- test: Remove the 'todo' tag from a bunch of passing pdclib testcases. · 20311605
  Petr Rockai authored Feb 02, 2019
  
  20311605
Feb 01, 2019
- rst: Remove Quintuple::to_string() to avoid pulling in std::string code. · 37277277
  Petr Rockai authored Feb 01, 2019
  
  37277277
Feb 02, 2019
- dios: Fix a __vm_obj_make() call in pthread-rwlock.cpp. · 32c8417a
  Petr Rockai authored Feb 02, 2019
  
  32c8417a
- dios: Fix a call to __vm_obj_make in libcxxbai fallback malloc. · df87eddd
  Petr Rockai authored Feb 02, 2019
  
  df87eddd
- libc: Adapt to pointer type / __vm_obj_make changes. · 48a5c0c2
  Petr Rockai authored Feb 02, 2019
  
  48a5c0c2
- libc: It is no longer possible to change pointer types. · 3a826e1b
  Petr Rockai authored Feb 02, 2019
  
  3a826e1b
- dios: Get rid of a weaken() call in the tracing code in the VFS. · 877d3919
  Petr Rockai authored Feb 02, 2019
  
  877d3919
- rst: Update to the new pointer type / __vm_obj_make semantics. · abaffc34
  Petr Rockai authored Feb 02, 2019
  
  abaffc34
- rst: Remove a few more std::string references from mstring. · 0922dfe3
  Petr Rockai authored Feb 02, 2019
  
  0922dfe3
- dios: Update the kernel to cope with the new __vm_obj_make semantics. · d618f4bc
  Petr Rockai authored Feb 02, 2019
  
  d618f4bc
- mem: Rely on the caller to use a correct hint value for heap allocations. · 193a37d1
  Petr Rockai authored Feb 02, 2019
  
  193a37d1
- dbg: We no longer need to fiddle with pointer types in Node::sortkey(). · f8c4e902
  Petr Rockai authored Feb 02, 2019
  
  f8c4e902
- MC: Pointers to a given object are all of the same type now. · 77dd4975
  Petr Rockai authored Feb 02, 2019
  
  77dd4975
- MC: Fix unit tests vis-a-vis the change of the __vm_obj_make prototype. · 2e50e182
  Petr Rockai authored Feb 02, 2019
  
  2e50e182
- VM: Represent all pointer types using objid range partitions. · 9637fd76
  Petr Rockai authored Feb 02, 2019
  
  9637fd76
Feb 01, 2019
- tools: Also fix debug paths leading to brick headers (in runtime-cc). · c0313498
  Petr Rockai authored Feb 01, 2019
  
  c0313498
- lart: Not all DIFile nodes are reachable from a DICompileUnit. · d3d7e6c6
  Petr Rockai authored Feb 01, 2019
  
  d3d7e6c6
Jan 31, 2019
- dios: Always link fabs and ceilf since they are used in intrinsic lowering. · f9afab40
  Petr Rockai authored Jan 31, 2019
  
  f9afab40
- RT: Remove linkEssentials() since it is no longer needed. · 2133bb9f
  Petr Rockai authored Jan 31, 2019
  
  2133bb9f
- tools: Drop a linkEssentials() call from divcc as it is no longer required. · a4a8c7e2
  Petr Rockai authored Jan 31, 2019
  
  a4a8c7e2
- VM: Move memory access tracking from vm::Context to mc::Context. · 4b8a7f8d
  Petr Rockai authored Jan 31, 2019
  
  4b8a7f8d
- VM: Fix the fallback implementations of test_{crit,loop}. · 25fbfeb8
  Petr Rockai authored Jan 31, 2019
  
  25fbfeb8
- test: Allow many intermediate states when approaching a breakpoint in sim. · 1c4400fd
  Petr Rockai authored Jan 31, 2019
  
  1c4400fd
- sim: Remove the 'trace' command. · 4933196a
  Petr Rockai authored Jan 31, 2019
  
  4933196a
- test: Remove tests for the 'trace' sim command -- it is gone. · 8c463422
  Petr Rockai authored Jan 31, 2019
  
  8c463422
- sim: Do not stop on jumps when stepping. · fe7d926e
  Petr Rockai authored Jan 31, 2019
  
  fe7d926e
- dbg: Simplify the line-counting logic in Stepper. · 110067d3
  Petr Rockai authored Jan 31, 2019
  
  110067d3
- test: Check the behaviour of new states appearing during line stepping in sim. · 90429a7a
  Petr Rockai authored Jan 31, 2019
  
  90429a7a
- test: Add a couple more testcases for sim's stepping behaviour. · 15f6a86f
  Petr Rockai authored Jan 31, 2019
  
  15f6a86f
Jan 30, 2019
- test: Add todo tags to failing sym/leak-*.pkg.cpp variants. · bf9c44b3
  Petr Rockai authored Jan 30, 2019
  
  bf9c44b3
- test: Fix verification options (--leakcheck) in sym/leak-*.pkg.cpp. · 042442a7
  Petr Rockai authored Jan 30, 2019
  
  042442a7
- rst: Resolve brace conflicts (again). · 96d18eac
  Petr Rockai authored Jan 30, 2019
  
  96d18eac
Jan 25, 2019
- rst: Be aware of nullpointers in formula cleanup. · 30b17e1a
  Henrich Lauko authored Jan 25, 2019
  
  30b17e1a
- rst: Fix filtering of abstract values during cleanup. · 17be0762
  Henrich Lauko authored Jan 25, 2019
  
  17be0762