Commits · d19b6dce399c2ab833674b54ad9301db8fabffd0 · paradise / mirror / DIVINE · GitLab

Jun 19, 2019
- lart: Simplify data flow analysis to the bare bone propagation. · d19b6dce
  Henrich Lauko authored Jun 19, 2019
  
  d19b6dce
- lart: Represent domain table by uniform 2 dimensional array. · 3437b708
  Henrich Lauko authored Jun 19, 2019
  
  3437b708
- rst: Rework term domain to maintain domain index in the first byte of rpn. · cfddd701
  Henrich Lauko authored Jun 19, 2019
  
  cfddd701
- rst: Change lift_one interface in the unit domain. · ff5273fe
  Henrich Lauko authored Jun 19, 2019
  
  ff5273fe
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