Commits · 215d63adbdf474cc37e015b5fc41f0fadeb058ac · paradise / mirror / DIVINE · GitLab

Nov 27, 2018
- lart: Detect lifting of concrete strings into mstring domain. · 215d63ad
  Henrich Lauko authored Nov 27, 2018
  
  215d63ad
- rst: Introduce undefined mstring value constructor. · c016e002
  Henrich Lauko authored Nov 27, 2018
  
  c016e002
- rst: Introduce abstract strcmp placeholder. · 5636b142
  Henrich Lauko authored Nov 27, 2018
  
  5636b142
- rst: Rework mstring segmentation. · 7e8ec922
  Henrich Lauko authored Nov 27, 2018
  
  7e8ec922
Nov 22, 2018
- test: Add tests on mstring strcmp. · a716417b
  Henrich Lauko authored Nov 22, 2018
  
  a716417b
Nov 27, 2018
- sim: Enable autosuspend when performing a 'call' command. · 072ecc9a
  Petr Rockai authored Nov 27, 2018
  
  072ecc9a
- MC: Make 'divine exec' stop when it hits an error. · 314101c1
  Petr Rockai authored Nov 27, 2018
  
  314101c1
- VM: Get rid of the ControlRegister union since we no longer use it. · d563be23
  Petr Rockai authored Nov 27, 2018
  
  d563be23
- VM: Do not try to make snapshots for dbg.call if they are not available. · eb1f8500
  Petr Rockai authored Nov 27, 2018
  
  eb1f8500
- mem: Tell Heap users whether a particular instance can make snapshots. · ea755777
  Petr Rockai authored Nov 27, 2018
  
  ea755777
Nov 26, 2018
- VM: Slim down ConstContext considerably. · 1d3cf451
  Petr Rockai authored Nov 26, 2018
  
  1d3cf451
- VM: Use the new MakeFrame helper class for building frames in Eval. · c2a052e6
  Petr Rockai authored Nov 26, 2018
  
  c2a052e6
- VM: Re-shuffle the control register numbering a little. · 4b90bd04
  Petr Rockai authored Nov 26, 2018
  
  4b90bd04
- VM: Chop up Context into a number of smaller objects. · a2545476
  Petr Rockai authored Nov 26, 2018
  
  a2545476
- VM: Make Eval convert between Location and _VM_ControlRegister explicitly. · cca9874a
  Petr Rockai authored Nov 26, 2018
  
  cca9874a
- sim: Use the new higher-level interface for talking to Context. · 63b1252d
  Petr Rockai authored Nov 26, 2018
  
  63b1252d
- dbg: Do not rely on low-level Context functionality. · 92059100
  Petr Rockai authored Nov 26, 2018
  
  92059100
- MC: Use the new high-level register accessors instead of Context::get(). · 8429c4a8
  Petr Rockai authored Nov 26, 2018
  
  8429c4a8
- VM: Use the new high-level register interfaces where applicable. · c6c3ae72
  Petr Rockai authored Nov 26, 2018
  
  c6c3ae72
- VM: Use the high-level flag interface instead of Context::ref(). · af93bdcd
  Petr Rockai authored Nov 26, 2018
  
  af93bdcd
- VM: Add a few more high-level register interfaces to Context. · 7b47303b
  Petr Rockai authored Nov 26, 2018
  
  7b47303b
- sim: Use Context::flags_set() instead of Context::ref(). · f6714dba
  Petr Rockai authored Nov 26, 2018
  
  f6714dba
- MC: Use the high-level flag interface instead of Context::ref(). · bcba242d
  Petr Rockai authored Nov 26, 2018
  
  bcba242d
- lart: Fix checks of returned abstract values in abstraction unit tests. · c773385d
  Henrich Lauko authored Nov 26, 2018
  
  c773385d
- lart: Fix stashing of concrete values. · 376ee5dd
  Henrich Lauko authored Nov 26, 2018
  
  376ee5dd
- lart: Consider return instructions as propagable. · d4f1d3b1
  Henrich Lauko authored Nov 26, 2018
  
  d4f1d3b1
- VM: Add a slightly higher-level register access interface to Context. · c3c16681
  Petr Rockai authored Nov 26, 2018
  
  c3c16681
Nov 25, 2018
- test: Split abstract/sym-cast-h into 2 cases and mark the failing one as TODO. · 0531e410
  Petr Rockai authored Nov 25, 2018
  
  0531e410
- MC: Fix Builder unit tests. · 7da9d450
  Petr Rockai authored Nov 25, 2018
  
  7da9d450
- test: Add a basic testcase for recvfrom(). · dae28f98
  Petr Rockai authored Nov 25, 2018
  
  dae28f98
- test: Add a couple tests for trying to send() to a disconnected socket. · a2eb8d71
  Petr Rockai authored Nov 25, 2018
  
  a2eb8d71
- test: Fix a few accidental memory leaks in posix/fs-dirent-* testcases. · b47ff9bf
  Petr Rockai authored Nov 25, 2018
  
  b47ff9bf
- test: Fix an accidental null pointer dereference in vm/peek-freed2.c. · 78b0e360
  Petr Rockai authored Nov 25, 2018
  
  78b0e360
- VM: Re-arrange control registers to allow only a prefix to be persisted. · b25710f7
  Petr Rockai authored Nov 25, 2018
  
  b25710f7
- UI: Catch and print bad trace exceptions. · 233cc638
  Petr Rockai authored Nov 25, 2018
  
  233cc638
- MC: Throw a (hopefully informative) exception upon bad CE traces. · 1c1b0a49
  Petr Rockai authored Nov 25, 2018
  
  1c1b0a49
Jun 19, 2018
- MC: Print an error when an invalid trace happens (works in release mode too). · 90308efc
  Petr Rockai authored Jun 19, 2018
  
  90308efc
May 09, 2018
- SS: Terminate earlier when processing a single vertex takes a long time. · 367c1fac
  Petr Rockai authored May 09, 2018
  
  367c1fac
Nov 24, 2018
- VM: Implement simple reference counting for memory objects. · 5c5d2cab
  Petr Rockai authored Nov 24, 2018
  
  5c5d2cab
- VM: Remove the unused IntFrame control register. · c279d77d
  Petr Rockai authored Nov 24, 2018
  
  c279d77d