Commits · 4f1b4cc8a0804d0ce1854f2dd6ea96ea4863faf3 · paradise / mirror / DIVINE · GitLab

SCHEDULED DOWNTIME: GitLab's virtual host must be rebooted to increase system resources. The reboot will occur on Wednesday, 2024-05-15, between 6:00 and 7:00 PM.

Mar 29, 2019
- rst: Annotate abstract lifts by domain specification metadata. · 4f1b4cc8
  Henrich Lauko authored Mar 29, 2019
  
  4f1b4cc8
- lart: Extract domain specification from a lift instead of a global variable. · c9526486
  Henrich Lauko authored Mar 29, 2019
  
  c9526486
Mar 28, 2019
- test: Add tests of symbolic segmentation. · 73e23c65
  Henrich Lauko authored Mar 28, 2019
  
  73e23c65
Mar 26, 2019
- rst: Skip empty segments in the strcmp of symbolic string segmentation. · 1cc3620f
  Henrich Lauko authored Mar 26, 2019
  
  1cc3620f
- lart: Implement symbolic segmentation strchr. · d8511ee4
  Henrich Lauko authored Mar 26, 2019
  
  d8511ee4
Mar 24, 2019
- rst: Introduce symbolic split segmentation. · 70d6d768
  Henrich Lauko authored Mar 24, 2019
  
  70d6d768
Mar 21, 2019
- test: Mark test with unsupported mstring memcpy as 'todo'. · 9c56c21c
  Henrich Lauko authored Mar 21, 2019
  
  9c56c21c
Mar 18, 2019
- rst: Remove obsolete poke call from __mstring_val. · 1b2f9e6a
  Henrich Lauko authored Mar 18, 2019
  
  1b2f9e6a
Mar 17, 2019
- test: Test moving of underlying memory of mstring. · 738f95a6
  Henrich Lauko authored Mar 17, 2019
  
  738f95a6
Mar 13, 2019
- test: Add split segmentation strchr tests. · f46f4769
  Henrich Lauko authored Mar 13, 2019
  
  f46f4769
- test: Remove todo from mstring strchr tests. · e3b2886d
  Henrich Lauko authored Mar 13, 2019
  
  e3b2886d
- rst: Implement split strchr. · 61f116ee
  Henrich Lauko authored Mar 13, 2019
  
  61f116ee
- test: Add split segmentation offset tests. · 4290731c
  Henrich Lauko authored Mar 13, 2019
  
  4290731c
Mar 21, 2019
- lart: Synthesize undefined value if intrinsic arguments are not abstract. · 3723896e
  Henrich Lauko authored Mar 21, 2019
  
  3723896e
- lart: Get around errors in abstract getelementptr transformation. · 64d6fc48
  Henrich Lauko authored Mar 21, 2019
  
  64d6fc48
Mar 20, 2019
- lart: Simplify queries about presence of abstract metadata. · dc823e94
  Henrich Lauko authored Mar 20, 2019
  
  dc823e94
- lart: Enable attaching abstract metadata to global variables. · 5495aba7
  Henrich Lauko authored Mar 20, 2019
  
  5495aba7
Mar 19, 2019
- lart: Let return values inherit aggregate metadata. · 23a1cf8d
  Henrich Lauko authored Mar 19, 2019
  
  23a1cf8d
- lart: Fix detection of dual abstract values for function arguments. · 64da252c
  Henrich Lauko authored Mar 19, 2019
  
  64da252c
- lart: Stop propagation on access to a concrete element of an abstract aggregate. · 66edcdd9
  Henrich Lauko authored Mar 19, 2019
  
  66edcdd9
- lart: Introduce aggregate metadata to identify aggregate's abstract elements. · c467a4c8
  Henrich Lauko authored Mar 19, 2019
  
  c467a4c8
- lart: Generate aggregate metadata during vpa. · 2ddf4999
  Henrich Lauko authored Mar 19, 2019
  
  2ddf4999
Mar 18, 2019
- lart: Pass correct abstract arguments to content store/load. · 54bd198f
  Henrich Lauko authored Mar 18, 2019
  
  54bd198f
- lart: Simplify concretization of arguments stashing. · 58ead630
  Henrich Lauko authored Mar 18, 2019
  
  58ead630
Mar 17, 2019
- lart: Simplify unstashing of abstract arguments. · 91c7c6c6
  Henrich Lauko authored Mar 17, 2019
  
  91c7c6c6
- lart: Simplify return value stashing pass. · 0be6372b
  Henrich Lauko authored Mar 17, 2019
  
  0be6372b
- lart: Simplify unstashing of abstract return value. · 1f1e8cff
  Henrich Lauko authored Mar 17, 2019
  
  1f1e8cff
- lart: Introduce metadata to denote abstract arguments of call. · d7264c8d
  Henrich Lauko authored Mar 17, 2019
  
  d7264c8d
- lart: Introduce metadata to denote abstract return of function. · 72f357fc
  Henrich Lauko authored Mar 17, 2019
  
  72f357fc
- lart: Remove unnecessary function dual metadata. · eb0ae01a
  Henrich Lauko authored Mar 17, 2019
  
  eb0ae01a
Mar 16, 2019
- lart: Implement generation of abstract memory intrinsics. · bdd93915
  Henrich Lauko authored Mar 16, 2019
  
  bdd93915
Mar 15, 2019
- lart: Enable abstraction of memory intrinsics. · fdaa0c25
  Henrich Lauko authored Mar 15, 2019
  
  fdaa0c25
- lart: Enable abstraction of forbidden functions if they are present in domain. · 518aacd2
  Henrich Lauko authored Mar 15, 2019
  
  518aacd2
Mar 14, 2019
- lart: Replace uses of concrete calls if tainted result is concrete. · d6189d24
  Henrich Lauko authored Mar 14, 2019
  
  d6189d24
- lart: Clean up abstraction metadata after transformation. · 6c9ef352
  Henrich Lauko authored Mar 14, 2019
  
  6c9ef352
Mar 13, 2019
- rst: Reindent 'common.h'. · 157d1608
  Henrich Lauko authored Mar 13, 2019
  
  157d1608
Mar 28, 2019
- test: Fix and tighten the 'underutilized hash table' warning. · a2b2ae88
  Petr Rockai authored Mar 28, 2019
  
  a2b2ae88
Mar 11, 2019
- rst: Make split segmentation data independent of the split. · 49f5e094
  Henrich Lauko authored Mar 11, 2019
  
  49f5e094
Mar 24, 2019
- mem: Adapt IntervalMap's unit tests for testing IntervalMetadataMap. · 11571c90
  Adam Matoušek authored Mar 24, 2019
  
  11571c90
- mem: Store user metadata in intervals of length of 1. · 16fd6b48
  Adam Matoušek authored Mar 24, 2019
  
  16fd6b48