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

Sep 23, 2019
- smt: Put union-find decomposition of RPN variables into a standalone function. · 4bed13f4
  Zuzana Baranová authored Sep 23, 2019
  
  4bed13f4
Oct 15, 2019
- test: Port libc++ v9.0 tests for memory. · fc08b5cd
  Lukáš Korenčik authored Oct 15, 2019
  
  fc08b5cd
- test: Port libc++ v9.0 tests for iterators. · 57aaf2da
  Lukáš Korenčik authored Oct 15, 2019
  
  57aaf2da
- test: Port libc++ v9.0 tests for strings. · 7d609dcf
  Lukáš Korenčik authored Oct 15, 2019
  
  7d609dcf
- test: Port libc++ v9.0 tests for atomics. · 412b75b8
  Lukáš Korenčik authored Oct 15, 2019
  
  412b75b8
- test: Port libc++ v9.0 tests for algorithms. · 0b1ee0b6
  Lukáš Korenčik authored Oct 15, 2019
  
  0b1ee0b6
Oct 16, 2019
- MC: Turn weaver task queues into views to improve flexibility. · b8f746c9
  Petr Rockai authored Oct 15, 2019
  
  b8f746c9
- bricks: Allow cons lists to be reference-casted to any of their constituents. · a758ef73
  Petr Rockai authored Oct 15, 2019
  
  a758ef73
- bricks: Implement support for reference-based views into cons lists. · 549ab742
  Petr Rockai authored Oct 15, 2019
  
  549ab742
Oct 15, 2019
- MC: Sync shared data of machine instances attached to a single weaver. · ae0edbe7
  Petr Rockai authored Oct 15, 2019
  
  ae0edbe7
- MC: Rework the task queue in terms of a cons list. · 8c3a0ad4
  Petr Rockai authored Oct 15, 2019
  
  8c3a0ad4
- MC: Get rid of machine skeletons since they are no longer needed. · 0bc94746
  Petr Rockai authored Oct 15, 2019
  
  0bc94746
- MC: Rename graph_dispatch to search_dispatch. · a9d64a68
  Petr Rockai authored Oct 15, 2019
  
  a9d64a68
- bricks: Slightly refactor and extend cons lists (in brick-cons). · 0b6734ec
  Petr Rockai authored Oct 15, 2019
  
  0b6734ec
- bricks: Allow slave pools to be (re)attached after they have been constructed. · affa219a
  Petr Rockai authored Oct 15, 2019
  
  affa219a
- bricks: Switch brick-mem to use refcount_ptr instead of std::shared_ptr. · e12bfddb
  Petr Rockai authored Oct 15, 2019
  
  e12bfddb
- bricks: Add (in)equality operators to refcount_ptr. · 9991f5fe
  Petr Rockai authored Oct 15, 2019
  
  9991f5fe
- MC: Make it possible to combine machines with different task sets. · 5ed11925
  Petr Rockai authored Oct 15, 2019
  
  5ed11925
- MC: Use snake case names for tasks. · 3c7397c3
  Petr Rockai authored Oct 15, 2019
  
  3c7397c3
- MC: Allow multiple machines to be passed to extend_ref() at once. · 106e36b2
  Petr Rockai authored Oct 15, 2019
  
  106e36b2
- MC: Do not fail if one of the machines cannot handle a given task. · 4a0f1c20
  Petr Rockai authored Oct 15, 2019
  
  4a0f1c20
- tools: Fix compilation of divbench. · 438c10ee
  Petr Rockai authored Oct 15, 2019
  
  438c10ee
Oct 14, 2019
- tools: Resolve conflicts and fix overlong lines (in divbench). · e7c7b61b
  Petr Rockai authored Oct 14, 2019
  
  e7c7b61b
Oct 10, 2019
- bricks: Fix svgplot so that it works with the new libc++ version. · e8815b2f
  Jakub Šárník authored Oct 10, 2019
  
  e8815b2f
Oct 04, 2019
- tools: Add a svg plotter to divbench. · 34b91d21
  Jakub Šárník authored Oct 03, 2019
  
  34b91d21
Oct 03, 2019
- bricks: Add basic svg plotter. · 54d8d3a0
  Jakub Šárník authored Oct 03, 2019
  
  54d8d3a0
Oct 16, 2019
- test: Add a 'big' tag to an svcomp test variant prone to timeouts. · 247c665d
  Petr Rockai authored Oct 16, 2019
  
  247c665d
Oct 15, 2019
- test: Mark two brick testcases as big since they don't finish in 10 minutes. · d7dc1738
  Petr Rockai authored Oct 15, 2019
  
  d7dc1738
Oct 14, 2019
- test: Do not trace command execution in test/lib/verify. · e7f756aa
  Petr Rockai authored Oct 13, 2019
  
  e7f756aa
- tools: Allow multiple 'expect' declarations in divcheck. · ee43c8e2
  Adam Matoušek authored Oct 13, 2019
  
  ee43c8e2
Oct 13, 2019
- test: Abolish divcheck-wrap. · 14a4b054
  Adam Matoušek authored Oct 13, 2019
  
  14a4b054
Oct 04, 2019
- test: Silence grep complaints about nonexistent verify.out. · 7fb82141
  Adam Matoušek authored Oct 04, 2019
  
  7fb82141
Oct 10, 2019
- test: Suit divcheck-wrap to divbench's needs. · 29924c16
  Adam Matoušek authored Oct 10, 2019
  
  29924c16
Oct 13, 2019
- tools: Fix symbol matching in divcheck. · c86bc757
  Adam Matoušek authored Oct 13, 2019
  
  c86bc757
- test: Add a missing /* ERROR */ annotation to an svcomp/array testcase. · e5b86b4e
  Petr Rockai authored Oct 13, 2019
  
  e5b86b4e
- tools: Fix compilation of runtime-cc. · 55766929
  Petr Rockai authored Oct 13, 2019
  
  55766929
- UI: Add common code for handling signals and std::terminate(). · 1f9b3fd6
  Petr Rockai authored Oct 13, 2019
  
  1f9b3fd6
- libc: Fix a null pointer dereference when a global constructor calls exit(). · 4f8dcfd9
  Petr Rockai authored Oct 13, 2019
  
  4f8dcfd9
- dios: Add stubs for tempfile functions (mk*temp). · 63031b34
  Petr Rockai authored Oct 13, 2019
  
  63031b34
- tools: Use common death handlers in divine & divcheck. · 204bd852
  Petr Rockai authored Oct 13, 2019
  
  204bd852