Commits · 11f5d6d6751c6212c526dd6baee21ca701c795e0 · paradise / mirror / DIVINE · GitLab

Mar 03, 2019
- lart: Move concretization pass to its own file. · 11f5d6d6
  Henrich Lauko authored Mar 03, 2019
  
  11f5d6d6
- lart: Use concretization builder in concretization pass. · c64b291d
  Henrich Lauko authored Mar 03, 2019
  
  c64b291d
- lart: Introduce concretization placeholder builder. · 4fb9480f
  Henrich Lauko authored Mar 03, 2019
  
  4fb9480f
- lart: Introduce concretization placeholder builder. · 3876aa0d
  Henrich Lauko authored Mar 03, 2019
  
  3876aa0d
- lart: Use placeholder builder to generate return value unstash placeholders. · 731de293
  Henrich Lauko authored Mar 03, 2019
  
  731de293
- lart: Use placeholder builder to generate lowering to bool placeholders. · 4d351152
  Henrich Lauko authored Mar 03, 2019
  
  4d351152
- lart: Let placeholder builder take care of stashing return value. · 0aec565d
  Henrich Lauko authored Mar 03, 2019
  
  0aec565d
- lart: Move abstraction unit-tests to separate file. · a62a72a3
  Henrich Lauko authored Mar 03, 2019
  
  a62a72a3
- lart: Fix abstraction unit-tests. · efca0390
  Henrich Lauko authored Mar 03, 2019
  
  efca0390
- lart: Lower constexpr-casts of abstract values during propagation. · 584c68c2
  Henrich Lauko authored Mar 03, 2019
  
  584c68c2
- lart: Clean up lart abstract utilities. · f64690a7
  Henrich Lauko authored Mar 03, 2019
  
  f64690a7
- lart: Use placeholder builder to generate assume placeholders. · 4ddfecff
  Henrich Lauko authored Mar 03, 2019
  
  4ddfecff
- lart: Rename InDomainDuplicate pass to Concretization pass. · ae85eb4a
  Henrich Lauko authored Mar 03, 2019
  
  ae85eb4a
- lart: Implement placeholder enumeration. · 53aa41ac
  Henrich Lauko authored Mar 03, 2019
  
  53aa41ac
- lart: Use metadata interface in abstraction passes. · 2eb02657
  Henrich Lauko authored Mar 03, 2019
  
  2eb02657
- lart: Clean up outdated concretization code. · ab4047d7
  Henrich Lauko authored Mar 03, 2019
  
  ab4047d7
- lart: Divide remaining functions between meta and domain files. · ee553223
  Henrich Lauko authored Mar 03, 2019
  
  ee553223
- lart: Obliterate useless ValueMetadata structure. · d53112e2
  Henrich Lauko authored Mar 03, 2019
  
  d53112e2
- lart: Rename duplicator to syntactic abstraction pass. · 1b85f55d
  Henrich Lauko authored Mar 03, 2019
  
  1b85f55d
- lart: Clean up module metadata enumeration. · 3a1ee3d1
  Henrich Lauko authored Mar 03, 2019
  
  3a1ee3d1
- lart: Reindent domain files. · cb93d3f4
  Henrich Lauko authored Mar 03, 2019
  
  cb93d3f4
- lart: Implement inheriting of abstract metadata. · ab5a1df0
  Henrich Lauko authored Mar 03, 2019
  
  ab5a1df0
- lart: Clean up management of abstract domain metadata. · f8242cec
  Henrich Lauko authored Mar 03, 2019
  
  f8242cec
- lart: Clean up function metadata handling. · 59bb64dd
  Henrich Lauko authored Mar 03, 2019
  
  59bb64dd
- lart: Implement construction of placeholder from metadata. · 528c63a6
  Henrich Lauko authored Mar 03, 2019
  
  528c63a6
- rst: Discontinue abstraction propagation into mstring constructor. · 477d6ede
  Henrich Lauko authored Mar 03, 2019
  
  477d6ede
Mar 01, 2019
- rst: Introduce simple implementation of content domain. · fee18628
  Henrich Lauko authored Mar 01, 2019
  
  fee18628
Feb 25, 2019
- rst: Get rid of a stash linked-list. · 436af16e
  Henrich Lauko authored Feb 25, 2019
  
  436af16e
Feb 12, 2019
- lart: Reintroduce synthesization of lifters. · 59149ee6
  Henrich Lauko authored Feb 12, 2019
  
  59149ee6
- rst: Temporarily turn off formula cleanup after freeze. · adade36c
  Henrich Lauko authored Feb 12, 2019
  
  adade36c
Feb 11, 2019
- lart: Introduce lifter synthesization pass. · e522a432
  Henrich Lauko authored Feb 11, 2019
  
  e522a432
Feb 05, 2019
- lart: Move placeholder metadata tags to metadata definition. · 7a468f7f
  Henrich Lauko authored Feb 05, 2019
  
  7a468f7f
Feb 03, 2019
- lart: Move 'dual' metadata to meta namespace. · cf0c4bdc
  Henrich Lauko authored Feb 03, 2019
  
  cf0c4bdc
- lart: Get rid of the abstract metadata builder. · ff39a2f6
  Henrich Lauko authored Feb 03, 2019
  
  ff39a2f6
- lart: Introduce value and tuple metadata constructors. · 81a66812
  Henrich Lauko authored Feb 02, 2019
  
  81a66812
- lart: Refactor function metadata. · c6ac8cb5
  Henrich Lauko authored Feb 02, 2019
  
  c6ac8cb5
- rst: Update domain name metadata tag. · 0b899267
  Henrich Lauko authored Feb 02, 2019
  
  0b899267
- lart: Refactor metadata tags to separate file. · 44a778ca
  Henrich Lauko authored Feb 02, 2019
  
  44a778ca
Feb 02, 2019
- lart: Remove unnecessary indices analysis. · 734a7e88
  Henrich Lauko authored Feb 02, 2019
  
  734a7e88
Jan 31, 2019
- lart: Fix generation of load from abstract content. · 45acf502
  Henrich Lauko authored Jan 31, 2019
  
  45acf502