Commits · c03134984bbf6c450e6b18649ce9d9a6fe6db841 · 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 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
Jan 23, 2019
- lart: Get rid of pointless 'get' lifter. · de8e8a1f
  Henrich Lauko authored Jan 23, 2019
  
  de8e8a1f
- rst: Optimize abstraction cleanup. · 4fcda9df
  Henrich Lauko authored Jan 23, 2019
  
  4fcda9df
Jan 18, 2019
- rst: Implement mstring cleanup. · 9173e088
  Henrich Lauko authored Jan 18, 2019
  
  9173e088
Jan 17, 2019
- rst: Filter out null pointers from peeked objects. · 956b7c79
  Henrich Lauko authored Jan 17, 2019
  
  956b7c79
- rst: Implement mstring stash/unstash. · 69880706
  Henrich Lauko authored Jan 17, 2019
  
  69880706
- rst: Generalize abstraction cleanup_check. · 68f7f2bc
  Henrich Lauko authored Jan 17, 2019
  
  68f7f2bc
- rst: Fix inconsistent namespace naming. · 391eb44b
  Henrich Lauko authored Jan 17, 2019
  
  391eb44b
- rst: Fix reference counting of formulae. · db2f2638
  Henrich Lauko authored Jan 17, 2019
  
  db2f2638
- rst: Generalize abstraction cleanup function. · 607ac1ce
  Henrich Lauko authored Jan 17, 2019
  
  607ac1ce
- test: Add symbolic leak tests. · bd595057
  Henrich Lauko authored Jan 17, 2019
  
  bd595057
Jan 15, 2019
- rst: Implement missing stash, unstash and cleanup to star domain. · f9567f21
  Henrich Lauko authored Jan 15, 2019
  
  f9567f21
Jan 10, 2019
- lart: Adapt stashing instrumentation to work with a new stash list. · 0f01d1cb
  Henrich Lauko authored Jan 10, 2019
  
  0f01d1cb
- rst: Rework stashing to maintain a list of stashed values. · 419670e4
  Henrich Lauko authored Jan 10, 2019
  
  419670e4
- rst: Add stash and unstash prototypes to common domain interface. · 5286944d
  Henrich Lauko authored Jan 10, 2019
  
  5286944d
Jan 30, 2019
- rst: Resolve conflicts. · 6b676cc1
  Petr Rockai authored Jan 30, 2019
  
  6b676cc1
Jan 15, 2019
- rst: Release poked out formula if its refcount is zero. · 795f4354
  Henrich Lauko authored Jan 15, 2019
  
  795f4354
- rst: Cleanup formulae stored in aggregates. · 71af88b0
  Henrich Lauko authored Jan 15, 2019
  
  71af88b0
Jan 14, 2019
- rst: Fix order of formulae cleaning. · 8b51916f
  Henrich Lauko authored Jan 14, 2019
  
  8b51916f
- rst: Cleanup formula peeking. · 1ad60741
  Henrich Lauko authored Jan 14, 2019
  
  1ad60741
- rst: Decrement refcount of formula when it is poked out. · e99eccf8
  Henrich Lauko authored Jan 14, 2019
  
  e99eccf8
Jan 11, 2019
- rst: Generalize peek/poke functions. · 47cfdd78
  Henrich Lauko authored Jan 11, 2019
  
  47cfdd78