Commits · 5f712643a1a6e322e86dc9f2e4a0ac76f9121b80 · paradise / mirror / DIVINE · GitLab

May 31, 2019
- 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
- bricks: Fix mismatched #if/#endif in brick-benchmark. · 26cd3b2a
  Petr Rockai authored Aug 21, 2019
  
  26cd3b2a
Aug 03, 2019
- dios: Add DiOS support for SHOOP. · 9ad52904
  Jakub Šárník authored Aug 03, 2019
  
  9ad52904
- cmake: Add make instructions for SHOOP tool. · 020b2ca6
  Jakub Šárník authored Aug 03, 2019
  
  020b2ca6
- tools: Add the first sketch of SHOOP. · 1de111a5
  Jakub Šárník authored Aug 03, 2019
  
  1de111a5
Aug 21, 2019
- bricks: Reduce code duplication in refcount_base. · d1316438
  Petr Rockai authored Aug 21, 2019
  
  d1316438
- bricks: Change header guards for 'pragma once', fix a few missing includes. · 8c5951bb
  Jakub Šárník authored Aug 21, 2019
  
  8c5951bb
Aug 19, 2019
- bricks: Fix some typos in brick-unittest. · c2fe056f
  Zuzana Baranová authored Aug 19, 2019
  
  c2fe056f
Jul 16, 2019
- bricks: Make character formatting in string_builder more debug-friendly. · 65eefa3a
  Petr Rockai authored Jul 16, 2019
  
  65eefa3a
Aug 21, 2019
- test: Make sure that `divine help` works. · c5d04d80
  Petr Rockai authored Aug 21, 2019
  
  c5d04d80
- bricks: Fix computation of column widths in brick-cmd help output. · ee2f601e
  Petr Rockai authored Aug 21, 2019
  
  ee2f601e