Commits · c6c3ae722070b2dc14bee5d153e0b6cadd8ae256 · paradise / mirror / DIVINE · GitLab

Nov 26, 2018
- 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
- sim: Remove unused stack switching code (the stack is continuous nowadays). · 04f5b6de
  Petr Rockai authored Nov 24, 2018
  
  04f5b6de
Nov 23, 2018
- test: Add strerror_r tests. · ea2c8cbf
  Zuzana Baranová authored Nov 23, 2018
  
  ea2c8cbf
- dios: Replace std::string with Array< char > in fs::Directory. · 39a7d0a0
  Petr Rockai authored Nov 23, 2018
  
  39a7d0a0
- VM: Fix typos and articles. · da5ed3dd
  Zuzana Baranová authored Nov 23, 2018
  
  da5ed3dd
- dios: Derive whether host uses glibc via hostabi. · d1f41d94
  Zuzana Baranová authored Nov 23, 2018
  
  d1f41d94
- libcxx: Call the correct version of strerror_r. · 438d7fe2
  Zuzana Baranová authored Nov 23, 2018
  
  438d7fe2
- dios: Support both POSIX (int) and GNU (char *) versions of strerror_r. · d0859cd7
  Zuzana Baranová authored Nov 23, 2018
  
  d0859cd7
Nov 22, 2018
- rst: Implement strcmp for mstring domain. · 34062216
  Henrich Lauko authored Nov 22, 2018
  
  34062216
- dios: Add missing const overloads to Array. · b1c64d4f
  Henrich Lauko authored Nov 22, 2018
  
  b1c64d4f
Nov 21, 2018
- test: Pass buffer length to mstring constructors. · 558f20aa
  Henrich Lauko authored Nov 21, 2018
  
  558f20aa
- rst: Adjust mstring constructor to take buffer length. · fa8189d8
  Henrich Lauko authored Nov 21, 2018
  
  fa8189d8
Nov 20, 2018
- rst: Fix freeze and thaw in star domain. · 177c0d6f
  Henrich Lauko authored Nov 20, 2018
  
  177c0d6f
Nov 16, 2018
- lart: Fix propagation of floating-point abstraction. · ed4390fd
  Henrich Lauko authored Nov 16, 2018
  
  ed4390fd
- test: Add basic tests for mstring abstraction. · d6213129
  Henrich Lauko authored Nov 16, 2018
  
  d6213129
Nov 15, 2018
- rst: Implement mstring strlen. · 617aee4f
  Henrich Lauko authored Nov 15, 2018
  
  617aee4f
- rst: Introduce lart placeholder for string abstraction operation. · 40c14f16
  Henrich Lauko authored Nov 15, 2018
  
  40c14f16
- rst: Initialize nullpointer taint. · f5f2bf15
  Henrich Lauko authored Nov 15, 2018
  
  f5f2bf15
- rst: Implement constructor of mstring. · dc758fa8
  Henrich Lauko authored Nov 15, 2018
  
  dc758fa8