Code

Vamos24 replication#8

Code

Merged

guethilu merged 97 commits intomainguethilu/DiffDetective:mainfrom vamos24_replicationguethilu/DiffDetective:vamos24_replicationCopy head branch name to clipboardDec 7, 2023

+3,251-1,847

Commits

Commits on Jul 12, 2022

• Initial commit for thesis_lg

  

  guethilu

  authored and

  guethilu

  committed
  61662c2

• Merge pull request #1 from VariantSync/main

  Show description for afce274
  guethilu

  authored
  afce274

Commits on Aug 24, 2022

• Added EdgeTypedTree infrastructure

  guethilu

  committed
  b5a66e8

Commits on Sep 14, 2022

• Changed output directory

  guethilu

  committed
  ade2837

• Added multiple edge type tree

  guethilu

  committed
  1cfcd81

• Added Nesting edge Type to EdgeTypedTreeDiff

  guethilu

  committed
  435437e

Commits on Sep 16, 2022

• fix: remove brackets around single words in boolean abstraction

  pmbittner

  committed
  1bfa44d

Commits on Sep 23, 2022

• fix: disallow pure whitespace formulas

  pmbittner

  committed
  e621d82

• fix: check that if and elif always have a formula upon assertConsistency + remove deprecated assertSemanticConsistency

  pmbittner

  committed
  f9ce4d8

• feat: convencience constructors for commits and patches from repos

  pmbittner

  committed
  9593879

• feat: instance of GitPatch that only serves as a reference

  pmbittner

  committed
  6e89cbf

• feat: convenience constructor for DatasetDescription

  pmbittner

  committed
  30758dc

• feat: test case covering the bug found by TheBormann

  pmbittner

  committed
  9533728

Commits on Oct 4, 2022

• Renamed EdgeTypedTreeDiff to EdgeTypedDiff

  guethilu

  committed
  655280d

Commits on Oct 6, 2022

• Merge branch 'develop' into issue47

  pmbittner

  committed
  f8258dc

Commits on Oct 17, 2022

• Strip DiffTree from DiffTreeLineGraphExport names

  ibbem

  committed
  cc340e8

• Separate filtering and processing from exporting DiffTrees

  Show description for f87009b
  ibbem

  committed
  f87009b

• Use OutputStreams instead of StringBuilder in LineGraphExport

  ibbem

  committed
  9462952

• Factor out directory creation to a utility function

  ibbem

  committed
  c29a9e4

• Reuse AnalyzeAndExportIncrementally for AnalyzeAllThenExport

  ibbem

  committed
  ebe7738

• Signal failure when exiting because of an error

  ibbem

  committed
  4eebf79

Commits on Oct 18, 2022

• Do not accept any empty annotations

  Show description for b4389b2
  ibbem

  committed
  b4389b2

• Make BooleanAbstraction deterministic

  Show description for 5e47940
  ibbem

  committed
  5e47940

• Add missing operators in BooleanAbstraction

  Show description for 391ece1
  ibbem

  committed
  391ece1

• Do not get confused by macros with the name "ifndef"

  Show description for e0124a3
  ibbem

  committed
  e0124a3

• Correctly replace the defined operator

  Show description for 2a21846
  ibbem

  committed
  2a21846

• Replace parentheses around already abstracted formulas

  Show description for 36bf3e0
  ibbem

  committed
  36bf3e0

• Do not match C-style comments greedily

  ibbem

  committed
  608c5f4

Commits on Oct 19, 2022

• Complexity eval and optimizations

  guethilu

  committed
  920abd9

Commits on Oct 20, 2022

• Create an export strategy using the default Java buffering

  ibbem

  committed
  1761bce

• Deprecate the MarlinDebug test

  Show description for d29f9e4
  ibbem

  committed
  d29f9e4

• Compose AnalysisResult instead of mutating it as parameter

  ibbem

  committed
  1a98016

Commits on Oct 24, 2022

• Merge pull request VariantSync#53 from VariantSync/benjamin/refactoring

  Show description for 7ff1159
  pmbittner

  authored
  7ff1159

• Updates commit count in docs/datasets.md.

  Show description for df3009b
  SebastianWilke

  authored
  df3009b

Commits on Oct 25, 2022

• Refactor DiffLineNumber to a record

  Show description for 092cbe5
  ibbem

  committed
  092cbe5

• Don't keep an explicit list of all parsed nodes

  Show description for 01068b0
  ibbem

  committed
  01068b0

• Transform DiffError to an enum

  ibbem

  committed
  3ddcab7

• Use checked exceptions instead of monadic error handling

  Show description for bd9f601
  ibbem

  committed
  bd9f601

• Refactor the DiffTreeParser

  Show description for 1b87609
  ibbem

  committed
  1b87609

• Use Path instead of String in TikzExporter

  ibbem

  committed
  29bd17f

• Properly quote the replacement for Graphiz escaping

  ibbem

  committed
  8dbe834

• Fix multi line labels in TikZ examples

  Show description for 800882c
  ibbem

  committed
  800882c

• Do not ignore empty lines in tests

  Show description for 2567dca
  ibbem

  committed
  2567dca

• Create tests for DiffTreeParser

  ibbem

  committed
  55f9e70

• Upgrade from JUnit4 to JUnit5

  ibbem

  committed
  97782b4

• Do not exclude tests by their class name

  Show description for 0d6fefe
  ibbem

  committed
  0d6fefe

• Use parameterized tests if it makes sense

  Show description for 6fca190
  ibbem

  committed
  6fca190

• Disable tests depending on Graphviz if its not installed

  ibbem

  committed
  c753661

• Keep a copy of failed line graph export tests

  Show description for e5a8b5c
  ibbem

  committed
  e5a8b5c

• Create a method for parsing variation trees

  ibbem

  committed
  fcfe954

• Warn if createVariationTree might be given a diff

  Show description for 6e01a92
  ibbem

  committed
  6e01a92

• Merge pull request VariantSync#54 from VariantSync/benjamin/parser-refactoring

  Show description for 47712a1
  pmbittner

  authored
  47712a1

Commits on Oct 27, 2022

• Added EdgeTypedDiff LineGraphExport, renamed PatternValidationTask to ThesisValidationTask

  guethilu

  committed
  68baac3

• Correct Prefix for Edge Typed Line Graphs

  guethilu

  committed
  39c78af

• Merge pull request VariantSync#56 from SebastianWilke/patch-1

  Show description for 2805ffe
  pmbittner

  authored
  2805ffe

Commits on Nov 2, 2022

• Check for the absence of feature mappings

  ibbem

  committed
  1d15d54

Commits on Nov 3, 2022

• Don't let PatchReference implement GitPatch

  Show description for e69d39b
  ibbem

  committed
  e69d39b

• Fix two resource leaks (RevWalk has to be closed)

  ibbem

  committed
  d6e69a5

• Move a method for creating a patch from a hash to GitDiffer

  Show description for 177562c
  ibbem

  committed
  177562c

• Merge branch 'VariationSync/develop' into issue47

  ibbem

  committed
  4199b47

• Fix the annotation parser for unary minus and plus

  ibbem

  committed
  67abb8e

• Replace tests for parsing conditional macros

  ibbem

  committed
  e52b2cd

• Use True as default feature mapping for DiffNode.fromID

  ibbem

  committed
  88a4faa

• Merge pull request VariantSync#50 from VariantSync/issue47

  Show description for 93f836e
  pmbittner

  authored
  93f836e

• Eval Run Changes

  guethilu

  committed
  e943c6c

Commits on Nov 4, 2022

• Merge branch 'develop' into thesis_lg

  Show description for c8575eb
  guethilu

  committed
  c8575eb

• Merged develop into thesis_lg + adaptions

  guethilu

  committed
  ab14276

Commits on Nov 10, 2022

• Added Patch Detail recording

  guethilu

  committed
  608ce04

• Added node counts to Patch Detail recording

  guethilu

  committed
  87cb75f

Commits on Dec 6, 2022

• Final implementation for the thesis

  guethilu

  committed
  4575f83

Commits on Mar 1, 2023

• More information export + fixed wrong commit counts

  guethilu

  committed
  571147b

Commits on Mar 15, 2023

• Merge pull request #4 from guethilu/main

  Show description for 6b52be2
  guethilu

  authored
  6b52be2

Commits on Jun 8, 2023

• Paper Ready Artefact

  guethilu

  committed
  4cf7996

• Paper Ready Artefact

  guethilu

  committed
  604d460

• Added Docker build environment for replication

  guethilu

  committed
  74d934a

• Added Documentation for reproducible artifact

  guethilu

  committed
  b05aba0

• Update README.md

  guethilu

  authored
  b207b88

• Update README.md

  guethilu

  authored
  40a68d0

Commits on Jun 9, 2023

• Update README.md

  guethilu

  authored
  0628eca

• Update README.md

  guethilu

  authored
  f02a717

Commits on Dec 1, 2023

• Update README.md

  guethilu

  authored
  e1b423f

Commits on Dec 6, 2023

• Merge branch 'thesis_lg' into splc23-explanations

  guethilu

  authored
  3791a7b

• Merge pull request #6 from guethilu/splc23-explanations

  Show description for dab27e0
  guethilu

  authored
  dab27e0

• Artifact ready for VaMoS

  guethilu

  committed
  d6ac9f6

• Artifact ready for VaMoS

  guethilu

  committed
  0e24c06

• Updated INSTALL.md

  guethilu

  committed
  eefccd1

• added DOI in README.md

  guethilu

  authored
  5ba8781

• Update README.md

  guethilu

  authored
  07f44e9

• Update README.md

  guethilu

  authored
  8e4ea89

• Update README.md

  guethilu

  authored
  d3fb4e4

• Update README.md

  guethilu

  authored
  ccbc284

• Delete STATUS.md

  guethilu

  authored
  738361e

• Update INSTALL.md

  guethilu

  authored
  336a21d

• Update README.md

  guethilu

  authored
  0720333

• Update README.md

  guethilu

  authored
  28fa2f2

Commits on Dec 7, 2023

• added appendix for vamos paper

  guethilu

  committed
  63860ab

• appendix without review

  guethilu

  committed
  542c998