Commits · 17647346beba9b82a5229d921fc6448f0d3e66aa · paradise / mirror / DIVINE · GitLab

Oct 16, 2019
- bricks: Add the equality operator to RPN::Variable. · 17647346
  Zuzana Baranová authored Oct 16, 2019
  
  17647346
Oct 15, 2019
- smt: Insert a 'stump' (nullopt) when we split RPNs on a Constraint. · 2577b097
  Zuzana Baranová authored Oct 15, 2019
  
  2577b097
- smt: Silence a warning about missing braces in an initializer list. · 537cac1b
  Zuzana Baranová authored Oct 15, 2019
  
  537cac1b
- smt: Add some simple RPN and RPN decomposition unit tests. · 905f7bc9
  Zuzana Baranová authored Oct 15, 2019
  
  905f7bc9
Oct 14, 2019
- doc: Fix typos in documentation of divcc. · 319e6f04
  Zuzana Baranová authored Oct 14, 2019
  
  319e6f04
- smt: Simplify variable decomposition and reflect changes in union-find. · acf9b808
  Zuzana Baranová authored Oct 14, 2019
  
  acf9b808
- smt: Keep a map< T,T > for group membership in union-find (drop Nodes). · 23d24d12
  Zuzana Baranová authored Oct 14, 2019
  
  23d24d12
- bricks: Silence a warning about missing braces in initializer lists. · 96c158d5
  Zuzana Baranová authored Oct 14, 2019
  
  96c158d5
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