Commits · af5ea135bb58158900a5cceff6a4ea865fb9c9e9 · paradise / mirror / DIVINE · GitLab

Oct 16, 2019
- MC: Keep track of the choices made when tracing counterexamples. · af5ea135
  Petr Rockai authored Oct 16, 2019
  
  af5ea135
- MC: First draft of weaver-based counterexample generation. · 1979d3fb
  Petr Rockai authored Oct 15, 2019
  
  1979d3fb
Oct 18, 2019
- test: Update the list of brick unit tests. · 15bdb704
  Petr Rockai authored Oct 18, 2019
  
  15bdb704
- dios: Fix a memory leak in fs::VmBuffTraceFile. · c72d9ab7
  Petr Rockai authored Oct 18, 2019
  
  c72d9ab7
- VM: Do not leak debug-persisted objects when they are freed by the program. · 5db446b1
  Petr Rockai authored Oct 18, 2019
  
  5db446b1
Oct 16, 2019
- test: Remove obsolete libc++ tests as they were replaced by newer versions. · fa494bf0
  Lukáš Korenčik authored Oct 16, 2019
  
  fa494bf0
- test: Port libc++ v9.0 tests for containers. · 4477abeb
  Lukáš Korenčik authored Oct 16, 2019
  
  4477abeb
- test: Add missing ext and big tags. · d0aaaf90
  Lukáš Korenčik authored Oct 16, 2019
  
  d0aaaf90
Oct 17, 2019
- bricks: Rename the brq_t namespace to t_brq (so it doesn't look like a type). · eea470e0
  Petr Rockai authored Oct 17, 2019
  
  eea470e0
- cmake: Install some additional tools (divcc, dioscc, lart). · ea2ef344
  Petr Rockai authored Oct 17, 2019
  
  ea2ef344
- bricks: Fix constexpr violations in shift operators in bitlevel::bvpair. · 65b19cc2
  Petr Rockai authored Oct 17, 2019
  
  65b19cc2
- bricks: Fix catch clauses in brick-unittest. · 4f7e9a4b
  Petr Rockai authored Oct 17, 2019
  
  4f7e9a4b
- cmake: Make sure that common options are also applied to libdivine-sim. · 54254a59
  Petr Rockai authored Oct 17, 2019
  
  54254a59
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