Rename to PropR, bump version

Author: Tritlo

.envrc

@@ -1 +1 @@
-export PATH="$(dirname -- $(cabal list-bin endemic)):$PATH"
+export PATH="$(dirname -- $(cabal list-bin propr)):$PATH"

.github/CODEOWNERS

@@ -9,7 +9,7 @@
 
 #Genetic Search Stuff
 
-/src/Endemic/Search/Genetic/ @lappislazuli
+/src/PropR/Search/Genetic/ @lappislazuli
 
 #Docker stuff
 

.github/workflows/build-test-deploy.yml

@@ -73,7 +73,7 @@ jobs:
         with:
           # list of Docker images to use as base name for tags
           images: |
-            ghcr.io/tritlo/endemic
+            ghcr.io/tritlo/propr
           # generate Docker tags based on the following events/attributes
           tags: |
             type=schedule
@@ -104,7 +104,7 @@ jobs:
           context: .
           build-args: |
             "HASKELL_VERSION=8.10.4"
-            "ENDEMIC_VERSION=0.7.0"
+            "PROPR_VERSION=1.0.0"
           push: ${{ github.event_name != 'pull_request' }}
           tags: ${{ steps.meta.outputs.tags }}
           labels: ${{ steps.meta.outputs.labels }}

Dockerfile

@@ -1,5 +1,5 @@
 ARG HASKELL_VERSION=8.10.4
-ARG ENDEMIC_VERSION=0.7.0
+ARG PROPR_VERSION=1.0.0
 ARG RUN_TESTS
 # ==========================================
 # =         Stage 1: Build & Test          =
@@ -10,9 +10,9 @@ LABEL builder=true
 LABEL maintainer="L.H.Applis@tu-delft.nl"
 
 WORKDIR /builder
-COPY ./Endemic.cabal /builder/
+COPY ./PropR.cabal /builder/
 RUN cabal update
-RUN cabal build --dependencies-only Endemic
+RUN cabal build --dependencies-only PropR
 
 COPY ./src /builder/src
 COPY ./tests /builder/tests
@@ -31,17 +31,17 @@ FROM haskell:${HASKELL_VERSION} as runnable
 
 # Args need to be re-passed in a new Stage (See https://stackoverflow.com/questions/53681522/share-variable-in-multi-stage-dockerfile-arg-before-from-not-substituted)
 ARG HASKELL_VERSION
-ARG ENDEMIC_VERSION
+ARG PROPR_VERSION
 
 LABEL builder=false 
 LABEL maintainer="L.H.Applis@tu-delft.nl"
-LABEL name="tritlo/endemic"
-LABEL url="https://github.com/Tritlo/Endemic"
-LABEL vcs="https://github.com/Tritlo/Endemic"
+LABEL name="tritlo/propr"
+LABEL url="https://github.com/Tritlo/PropR"
+LABEL vcs="https://github.com/Tritlo/PropR"
 
 # Copy the Executable from Builder-Container
-COPY --from=builder /builder/dist-newstyle/build/x86_64-linux/ghc-${HASKELL_VERSION}/Endemic-${ENDEMIC_VERSION}/x/endemic/build/endemic /app/
-RUN chmod +x /app/endemic
+COPY --from=builder /builder/dist-newstyle/build/x86_64-linux/ghc-${HASKELL_VERSION}/PropR-${PROPR_VERSION}/x/propr/build/propr /app/
+RUN chmod +x /app/propr
 
 # Install the Helpers
 RUN cabal update
@@ -53,7 +53,7 @@ RUN cabal install --lib random QuickCheck
 ENV LOG_LEVEL=INFO
 ENV REPAIR_TARGET=/input
 ENV CONFIG_FILE="/config/config.json"
-ENV LOG_FILE="/output/docker-endemic.log"
+ENV LOG_FILE="/output/docker-propr.log"
 
 # We create the default here, but if you mount it with docker compose
 # It will be created if not existing.

Endemic.cabal PropR.cabal

@@ -1,7 +1,7 @@
-name: Endemic
+name: PropR
 cabal-version: 1.24
 build-type: Simple
-version: 0.7.0
+version: 1.0.0
 author: Matthías Páll Gissurarson
 maintainer: mpg@mpg.is
 synopsis: synthtest
@@ -16,37 +16,37 @@ library
   default-language: Haskell2010
   ghc-options: -O2
   hs-source-dirs: src/
-  exposed-modules: Endemic
-                   Endemic.Configuration,
-                   Endemic.Eval,
-                   Endemic.Plugin,
-                   Endemic.Repair,
-                   Endemic.Check,
-                   Endemic.Traversals,
-                   Endemic.Types,
-                   Endemic.Diff,
-                   Endemic.Util,
-                   Endemic.Search,
-                   Endemic.Search.PseudoGenetic,
-                   Endemic.Search.Genetic,
-                   Endemic.Search.Random,
-                   Endemic.Search.Exhaustive,
-                   Endemic.Packages
-  other-modules: Endemic.Configuration.Configure,
-                 Endemic.Configuration.Types,
-                 Endemic.Configuration.Materializeable,
-                 Endemic.Search.Class,
-                 Endemic.Search.Genetic.Configuration,
-                 Endemic.Search.Genetic.GenMonad,
-                 Endemic.Search.Genetic.Search,
-                 Endemic.Search.Genetic.Types,
-                 Endemic.Search.Genetic.Utils
-                 Endemic.Search.PseudoGenetic.Configuration,
-                 Endemic.Search.PseudoGenetic.Search,
-                 Endemic.Search.Random.Configuration,
-                 Endemic.Search.Random.Search,
-                 Endemic.Search.Exhaustive.Configuration,
-                 Endemic.Search.Exhaustive.Search
+  exposed-modules: PropR
+                   PropR.Configuration,
+                   PropR.Eval,
+                   PropR.Plugin,
+                   PropR.Repair,
+                   PropR.Check,
+                   PropR.Traversals,
+                   PropR.Types,
+                   PropR.Diff,
+                   PropR.Util,
+                   PropR.Search,
+                   PropR.Search.PseudoGenetic,
+                   PropR.Search.Genetic,
+                   PropR.Search.Random,
+                   PropR.Search.Exhaustive,
+                   PropR.Packages
+  other-modules: PropR.Configuration.Configure,
+                 PropR.Configuration.Types,
+                 PropR.Configuration.Materializeable,
+                 PropR.Search.Class,
+                 PropR.Search.Genetic.Configuration,
+                 PropR.Search.Genetic.GenMonad,
+                 PropR.Search.Genetic.Search,
+                 PropR.Search.Genetic.Types,
+                 PropR.Search.Genetic.Utils
+                 PropR.Search.PseudoGenetic.Configuration,
+                 PropR.Search.PseudoGenetic.Search,
+                 PropR.Search.Random.Configuration,
+                 PropR.Search.Random.Search,
+                 PropR.Search.Exhaustive.Configuration,
+                 PropR.Search.Exhaustive.Search
   build-depends: base >= 4 && < 5,
                  ghc >= 8 && < 9,
                  ghc-boot >= 8 && < 9,
@@ -77,11 +77,11 @@ library
                  Cabal >= 3.4 && < 3.5,
                  aeson >= 1.5 && < 1.6
 
-executable endemic
+executable propr
   default-language: Haskell2010
   main-is: src/Main.hs
   ghc-options: -threaded -O2
-  other-modules: Paths_Endemic
+  other-modules: Paths_PropR
   build-depends: base >= 4 && < 5,
                  containers >= 0.6 && < 0.7,
                  directory >= 1.3 && < 1.4,
@@ -92,7 +92,7 @@ executable endemic
                  bytestring >= 0.10 && < 0.11,
                  aeson >= 1.5 && < 1.6,
                  random >= 1.2 && < 1.3,
-                 Endemic
+                 PropR
 
 
 test-suite test
@@ -112,7 +112,7 @@ test-suite test
                  hpc >= 0.6 && < 0.7,
                  data-default >= 0.7 && < 0.8,
                  directory >= 1.3 && < 1.4,
-                 Endemic,
+                 PropR,
                  -- packages used in repair:
                  QuickCheck
 
@@ -133,7 +133,7 @@ test-suite slow-test
                  hpc >= 0.6 && < 0.7,
                  data-default >= 0.7 && < 0.8,
                  directory >= 1.3 && < 1.4,
-                 Endemic,
+                 PropR,
                  -- packages used in repair:
                  QuickCheck
 
@@ -154,6 +154,6 @@ benchmark benchmark
                  hpc >= 0.6 && < 0.7,
                  data-default >= 0.7 && < 0.8,
                  directory >= 1.3 && < 1.4,
-                 Endemic,
+                 PropR,
                  -- packages used in repair:
                  QuickCheck

README.md

@@ -1,13 +1,13 @@
-[![Build, test, and deploy](https://github.com/Tritlo/Endemic/actions/workflows/build-test-deploy.yml/badge.svg)](https://github.com/Tritlo/Endemic/actions/workflows/build-test-deploy.yml)
-[![License: MIT](https://img.shields.io/badge/License-MIT-hotpink.svg)](https://github.com/Tritlo/Endemic/blob/master/LICENSE)
+[![Build, test, and deploy](https://github.com/Tritlo/PropR/actions/workflows/build-test-deploy.yml/badge.svg)](https://github.com/Tritlo/PropR/actions/workflows/build-test-deploy.yml)
+[![License: MIT](https://img.shields.io/badge/License-MIT-hotpink.svg)](https://github.com/Tritlo/PropR/blob/master/LICENSE)
 
-# Endemic: Genetic Program repair using GHC 🐣
+# PropR: Property-based Program repair using GHC 🐣
 
 > Inspired by GenProg.
 
 Welcome! 
 
-This repository holds *Endemic*, a program repair library in and for Haskell. 
+This repository holds *PropR*, a program repair library in and for Haskell. 
 With just a few dependencies, we can help you repair your program using GHC and genetic search! 
 
 Key aspects:
@@ -36,7 +36,7 @@ To run the program, ensure that the `check-helpers` library is installed by runn
 `$ cabal install --lib check-helpers`. You can then run
 
 ```
-$ cabal run endemic -- examples/BrokenModule.hs
+$ cabal run propr -- examples/BrokenModule.hs
 ```
 
 Optionally, you can use Docker: 
@@ -126,7 +126,7 @@ Showing how it works.
 For the `BrokenGCD` module, we get an interesting result:
 
 ```
-$ cabal run endemic -- examples/BrokenGCD.hs
+$ cabal run propr -- examples/BrokenGCD.hs
 ```
 
 gives us:
@@ -156,12 +156,12 @@ in `examples/`, but note that AST coverage is pretty limited at the moment.
 ---------
 
 ```
-endemic - Genetic program repair for Haskell
+PropR - Genetic program repair for Haskell
 
-Usage: endemic [--log-loc] [--no-log-timestamp] [--log-level LOGLEVEL]
+Usage: propr [--log-loc] [--no-log-timestamp] [--log-level LOGLEVEL]
                [--log-file FILE] [--seed INT] [--config CONFIG]
                [--override CONFIG] TARGET
-  Repair TARGET using the endemic genetic method
+  Repair TARGET using the propr genetic method
 
 Available options:
   --log-loc                Add location to log messages

docker-compose.yaml

@@ -1,8 +1,8 @@
 version: '3.8'
 
 services:
-  Endemic_Example:
-    image: tritlo/endemic:unstable
+  PropR_Example:
+    image: tritlo/propr:unstable
     build:
       context: .
       dockerfile: Dockerfile
@@ -14,4 +14,4 @@ services:
       REPAIR_TARGET: /input/BrokenModule.hs
       CONFIG_FILE: /config/docker_config.json
       LOG_LEVEL: INFO
-    oom_kill_disable: true
+    oom_kill_disable: true

entrypoint.sh

@@ -5,7 +5,7 @@ echo "Starting Repair-Docker - Building the command"
 # it is stitched together with any flag set in docker. 
 
 # Repairtarget must be set, otherwise it makes little sense
-commandCollector="/app/endemic $REPAIR_TARGET"
+commandCollector="/app/propr $REPAIR_TARGET"
 
 if [ -z ${LOG_LEVEL+x} ]; 
 then echo "Log-Level is not set"; 
@@ -43,4 +43,4 @@ echo "final cmd is ${commandCollector}"
 
 # To keep the container open for inspection
 # echo "Program finished - Keeping Container open for inspection"
-# tail -f /dev/null
+# tail -f /dev/null

hie.yaml

@@ -1,15 +1,15 @@
 cradle:
   cabal:
-    - path: "./src/Endemic"
-      component: "lib:endemic"
-    - path: "./src/Endemic/Search"
-      component: "lib:endemic"
+    - path: "./src/PropR"
+      component: "lib:propr"
+    - path: "./src/PropR/Search"
+      component: "lib:propr"
     - path: "./tests/cases"
-      component: "lib:endemic"
+      component: "lib:propr"
     - path: "./examples"
-      component: "lib:endemic"
+      component: "lib:propr"
     - path: "./src/Main.hs"
-      component: "exe:endemic"
+      component: "exe:propr"
     - path: "./tests/Tests.hs"
       component: "test:test"
     - path: "./tests/"

resources/random_search_config.json

@@ -44,4 +44,4 @@
     "log_file": null
   },
   "random_seed": -3573107736776896000
-}
+}