Commits · bdd951617e0091a9a5d146f755e8eabe6f274c5c · paradise / mirror / DIVINE · GitLab

Jun 11, 2019
- rst: Enable parametrization of the unit domain return type. · bdd95161
  Henrich Lauko authored Jun 11, 2019
  
  bdd95161
- rst: Change stash return type to void pointer. · f1b6bef2
  Henrich Lauko authored Jun 11, 2019
  
  f1b6bef2
Jun 10, 2019
- rst: Add C interface to tristate domain. · 83f80df4
  Henrich Lauko authored Jun 10, 2019
  
  83f80df4
- rst: Introduce single value domain. · 784af76c
  Henrich Lauko authored Jun 10, 2019
  
  784af76c
- rst: Introduce base class for abstract domains. · e899590b
  Henrich Lauko authored Jun 10, 2019
  
  e899590b
Jun 07, 2019
- lart: Add indices to abstract operations. · 43434b9f
  Henrich Lauko authored Jun 07, 2019
  
  43434b9f
Jun 06, 2019
- lart: Rename VPA to DataFlowAnalysis. · ea27b3b2
  Henrich Lauko authored Jun 06, 2019
  
  ea27b3b2
- lart: Rework value propagation analysis. · 7fa81a04
  Henrich Lauko authored Jun 06, 2019
  
  7fa81a04
Jun 02, 2019
- lart: Add metadata to calls that return abstract value. · a432bc51
  Henrich Lauko authored Jun 02, 2019
  
  a432bc51
May 31, 2019
- lart: Introduce simplified annotation lowering pass. · 64419102
  Henrich Lauko authored May 31, 2019
  
  64419102
- lart: Introduce abstraction initialization pass. · 5f712643
  Henrich Lauko authored May 31, 2019
  
  5f712643
May 30, 2019
- rst: Move abstraction to __dios::rst::abstract namespace. · 1dabb262
  Henrich Lauko authored May 30, 2019
  
  1dabb262
May 21, 2019
- rst: Fix tristate construction. · 7bf0e0b4
  Henrich Lauko authored May 21, 2019
  
  7bf0e0b4
- mc: Use RPN evaluator in tracing of assumes. · 589e9aa0
  Henrich Lauko authored May 21, 2019
  
  589e9aa0
- smt: Let smt builders work with RPN formula representation. · 27d93ad1
  Henrich Lauko authored May 21, 2019
  
  27d93ad1
- smt: Rework smt extract to work with RPN representation. · 1c9c51c4
  Henrich Lauko authored May 21, 2019
  
  1c9c51c4
- smt: Implement RPN stack machine. · 87cc4a9e
  Henrich Lauko authored May 21, 2019
  
  87cc4a9e
- rst: Introduce term domain. · 8da38ac3
  Henrich Lauko authored May 21, 2019
  
  8da38ac3
- lart: Use annotation string instead of structure. · 7f55acc5
  Henrich Lauko authored May 21, 2019
  
  7f55acc5
- bricks: Introduce RPNView. · 25c5e417
  Henrich Lauko authored May 21, 2019
  
  25c5e417
May 14, 2019
- bricks: Rework brick-smt RPN representation. · 65cc58d7
  Henrich Lauko authored May 14, 2019
  
  65cc58d7
- rst: Rework tristate domain to use new interface. · 0e35b13e
  Henrich Lauko authored May 14, 2019
  
  0e35b13e
May 18, 2019
- lart: Use annotation pass in other passes instead of annotation enumeration. · cb3658b3
  Henrich Lauko authored May 18, 2019
  
  cb3658b3
- lart: Introduce annotations to attributes lowering pass. · 5cbb338d
  Henrich Lauko authored May 18, 2019
  
  5cbb338d
- lart: Introduce annotation pass. · 072e711b
  Henrich Lauko authored May 18, 2019
  
  072e711b
Aug 23, 2019
- VM: Add comments to eval*.tpp and value.hpp. · 4cf1f4a8
  Zuzana Baranová authored Aug 23, 2019
  
  4cf1f4a8
- VM: Add comments to eval.hpp. · de7c73cf
  Zuzana Baranová authored Aug 23, 2019
  
  de7c73cf
Aug 22, 2019
- doc: Finally update the year to 2019. · 77c40212
  Zuzana Baranová authored Aug 22, 2019
  
  77c40212
- doc: Add overview of RST. · bdcaa488
  Zuzana Baranová authored Aug 22, 2019
  
  bdcaa488
Sep 02, 2019
- releng: Update for 4.3.6 · 2f1b2e72
  Release Bot authored Sep 02, 2019
  
  4.3.6
  
  2f1b2e72
Aug 22, 2019
- bricks: Resolve conflicts in brick-assert. · 99bfd684
  Petr Rockai authored Aug 22, 2019
  
  99bfd684
- bricks: Add a formatting operator for std::pair to string_builder. · 8a86b66e
  Petr Rockai authored Aug 22, 2019
  
  8a86b66e
- bricks: Add support for std::optional-like types to string_builder. · dd3f60c7
  Petr Rockai authored Aug 22, 2019
  
  dd3f60c7
- bricks: Fix the tuple formatting operator in string_builder. · 02fafe5b
  Petr Rockai authored Aug 22, 2019
  
  02fafe5b
- bricks: Move BRICK_LOCATION from brick-assert to brick-trace. · 9a929c6c
  Petr Rockai authored Aug 22, 2019
  
  9a929c6c
Aug 20, 2019
- cmake: Set up all libdivine-* targets in a single foreach(). · 6cc52c34
  Petr Rockai authored Aug 20, 2019
  
  6cc52c34
- tools: Fix compilation of divcheck (re changes in brick-cmd). · eb7c0b65
  Petr Rockai authored Aug 20, 2019
  
  eb7c0b65
Aug 22, 2019
- test: Mark a few tests that are too big for debug builds as such. · acdd0e98
  Petr Rockai authored Aug 21, 2019
  
  acdd0e98
- test: Check that user-level traversal of a captured filesystem works. · 4802285a
  Petr Rockai authored Aug 21, 2019
  
  4802285a
- dios: Fix handling of filesystem snapshots which contain the root directory. · d46d70ed
  Petr Rockai authored Aug 21, 2019
  
  d46d70ed