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

Oct 20, 2019
- dios: Get rid of the toplevel 'macro' directory. · 4d6cad1b
  Petr Rockai authored Oct 20, 2019
  
  4d6cad1b
- test: Fix fallout from the /dios hierarchy reshuffle. · b1994c8a
  Petr Rockai authored Oct 20, 2019
  
  b1994c8a
- test: Remove an essentially obsolete testcase for __dios::new_object. · e81cda58
  Petr Rockai authored Oct 20, 2019
  
  e81cda58
- bricks: Tighten string_builder a bit to make it fit into 2 64b words. · 3615c90f
  Petr Rockai authored Oct 20, 2019
  
  3615c90f
- VM: Report memory leaks via the fault string mechanism. · 725e2cbc
  Petr Rockai authored Oct 20, 2019
  
  725e2cbc
- test: Update libc/assert.sh (the format of the assert message has changed). · 3525b126
  Petr Rockai authored Oct 20, 2019
  
  3525b126
- test: Add a regression test for memory leaks caused by stdio tracing. · 7808e7cf
  Petr Rockai authored Oct 20, 2019
  
  7808e7cf
- test: Fix a spurious failure in libc/strerror_r-dioscc.sh. · 46993cad
  Petr Rockai authored Oct 20, 2019
  
  46993cad
- test: Convert a couple of shell-based testcases to use divcheck. · 8fd26412
  Petr Rockai authored Oct 20, 2019
  
  8fd26412
- test: Fix a spurious failure in one of the dios monitor testcases. · 2d1629e5
  Petr Rockai authored Oct 20, 2019
  
  2d1629e5
- test: Mark an OOM-prone libc++ test as big. · e37d313d
  Petr Rockai authored Oct 20, 2019
  
  e37d313d
- tools: Add support for 'expect --trace <substring>' to divcheck. · 21aa922c
  Petr Rockai authored Oct 19, 2019
  
  21aa922c
- test: Generate divcheck expect commands in lib/verify, without using lib/check. · 54884be7
  Petr Rockai authored Oct 19, 2019
  
  54884be7
- libc: Improve presentation of assertion failures in counterexample traces. · 028339e2
  Petr Rockai authored Oct 19, 2019
  
  028339e2
- dios: Give a shorter name to the per-config 'context' type. · 31462b9c
  Petr Rockai authored Oct 19, 2019
  
  31462b9c
- bricks: Fix a compiler warning in brick-smt. · 4f6a0997
  Petr Rockai authored Oct 19, 2019
  
  4f6a0997
Oct 18, 2019
- VM: Do not print empty 'FAULT:' messages into the trace. · 932a9810
  Petr Rockai authored Oct 18, 2019
  
  932a9810
Oct 17, 2019
- vm: Fix off-by-one error in acquisition of __vm_choose arguments. · efc77037
  Henrich Lauko authored Oct 17, 2019
  
  efc77037
Oct 14, 2019
- bricks: Fix rpn to string formatting. · 8e7afa70
  Henrich Lauko authored Oct 14, 2019
  
  8e7afa70
Oct 11, 2019
- lart: Refactor function preprocessing in DFA. · c0fd4e7c
  Henrich Lauko authored Oct 11, 2019
  
  c0fd4e7c
Oct 10, 2019
- rst: Introduce lart intrinsic to access domain vtable. · 0cc2cf40
  Henrich Lauko authored Oct 10, 2019
  
  0cc2cf40
- lart: Generate function to allow access to domain vtable. · c979e544
  Henrich Lauko authored Oct 10, 2019
  
  c979e544
- lart: Fix annotation of thaw operation. · 40a1c566
  Henrich Lauko authored Oct 10, 2019
  
  40a1c566
- test: Add bunch of abstract unit aggregate tests. · 5b2a4c72
  Henrich Lauko authored Oct 10, 2019
  
  5b2a4c72
- lart: Implement generation of aggregate related lifters. · 5d79327b
  Henrich Lauko authored Oct 10, 2019
  
  5d79327b
- lart: Implement aggregate data flow analysis. · 50018c15
  Henrich Lauko authored Oct 10, 2019
  
  50018c15
- rst: Implement unit aggregate abstract domain. · 41f7bc67
  Henrich Lauko authored Oct 10, 2019
  
  41f7bc67
- rst: Fix interface annotation of term lifter. · b94009a6
  Henrich Lauko authored Oct 10, 2019
  
  b94009a6
- rst: Allow abstract constructors to take arguments. · 422ffb50
  Henrich Lauko authored Oct 10, 2019
  
  422ffb50
- rst: Create abstract aggregate constructor annotation. · 4fd6aee6
  Henrich Lauko authored Oct 10, 2019
  
  4fd6aee6
- rst: Generate abstract GEP lifter templates. · 4e725385
  Henrich Lauko authored Oct 10, 2019
  
  4e725385
- rst: Generate abstract store lifter templates. · aa2e82e6
  Henrich Lauko authored Oct 10, 2019
  
  aa2e82e6
Sep 04, 2019
- lart: Remove undesirable back propagation through phi nodes. · 289a640c
  Henrich Lauko authored Sep 04, 2019
  
  289a640c
Oct 18, 2019
- tools: Allow 'expect' declarations in divcheck that do not check result. · e9bbe172
  Adam Matoušek authored Oct 18, 2019
  
  e9bbe172
Oct 19, 2019
- smt: Remove former union-find.hpp (now part of brick-smt). · c4f10cc3
  Zuzana Baranová authored Oct 19, 2019
  
  c4f10cc3
- smt: Adapt RPN unit tests to changes in decompose(). · 344306ba
  Zuzana Baranová authored Oct 19, 2019
  
  344306ba
- bricks: Make union-find an (incremental) input-output parameter in decompose(). · 557098c4
  Zuzana Baranová authored Oct 19, 2019
  
  557098c4
- bricks: Add union-find to brick-smt (along with a unit test). · c710da83
  Zuzana Baranová authored Oct 19, 2019
  
  c710da83
- smt: Remove Unary & Binary from rpn.hpp (move to bricks). · 7975d295
  Zuzana Baranová authored Oct 19, 2019
  
  7975d295
- bricks: Add Unary & Binary to brick-smt (the *Op versions with added bitwidth). · 9cd0fb9e
  Zuzana Baranová authored Oct 19, 2019
  
  9cd0fb9e