[Documentation] Rename to Endemic

Author: Tritlo

HenProg.cabal Endemic.cabal

@@ -1,4 +1,4 @@
-name: HenProg
+name: Endemic
 cabal-version: 1.24
 build-type: Simple
 version: 0.0.1
@@ -49,7 +49,7 @@ library synth
                  monad-par-extras >= 0.3 && < 0.4,
                  deepseq >= 1.4 && < 1.5
 
-executable henprog
+executable endemic
   default-language: Haskell2010
   main-is: src/Main.hs
   ghc-options: -threaded -O2

README.md

@@ -1,6 +1,6 @@
-[![Haskell CI](https://github.com/Tritlo/HenProg/actions/workflows/haskell.yml/badge.svg)](https://github.com/Tritlo/HenProg/actions/workflows/haskell.yml)
+[![Haskell CI](https://github.com/Tritlo/Endemic/actions/workflows/haskell.yml/badge.svg)](https://github.com/Tritlo/Endemic/actions/workflows/haskell.yml)
 
-HenProg: Genetic Program repair using GHC 🐣
+Endemic: Genetic Program repair using GHC 🐣
 ===================
 
 Inspired by GenProg.
@@ -29,7 +29,7 @@ To run the program, ensure that `QuickCheck` is installed by running
 `$ cabal install --lib QuickCheck `. You can then run 
 
 ```
-$ cabal run henprog -- examples/BrokenModule.hs
+$ cabal run endemic -- examples/BrokenModule.hs
 ```
 
 to see it in action on the `foldl (-) 0` example. This produces the following:
@@ -108,7 +108,7 @@ Showing how it works.
 For the `BrokenGCD` module, we get an interesting result:
 
 ```
-$ cabal run henprog -- examples/BrokenGCD.hs
+$ cabal run endemic -- examples/BrokenGCD.hs
 ```
 
 gives us:
@@ -148,7 +148,7 @@ expressions, `1` we synthesize a top-level expression with holes in it, and then
 fill those holes with top-level expressions, for `2` we allow holes in the
 sub-expressions one level deep etc.
 
-To get a better idea of what's going on, you can run HenProg with `--log=<LEVEL>`, where `level` is one of:
+To get a better idea of what's going on, you can run Endemic with `--log=<LEVEL>`, where `level` is one of:
 
 + `DEBUG` to see absolutely everything that's logged,
 + `AUDIT` to see a little less than Debug, but still a lot (this includes e.g. the run-time of hotspots and such)

hie.yaml

@@ -7,7 +7,7 @@ cradle:
     - path: "./examples"
       component: "lib:synth"
     - path: "./src/Main.hs"
-      component: "exe:henprog"
+      component: "exe:endemic"
     - path: "./tests/Tests.hs"
       component: "test:test"
     - path: "./tests/SlowTests.hs"

src/Synth/Gen.hs

@@ -2,11 +2,11 @@
 
 -- |
 -- Module      : Synth.Gen
--- Description : Holds the Genetic Programming Parts of HenProg
+-- Description : Holds the Genetic Programming Parts of Endemic
 -- License     : MIT
 -- Stability   : experimental
 --
--- This module holds simple genetic operators used to find fixes in HenProg. The
+-- This module holds simple genetic operators used to find fixes in Endemic. The
 -- primary building brick is an EFix (See Synth.Types) that resembles a set of
 -- changes done to the Code. The goodness of a certain fix is expressed by the
 -- failing and succeeding properties, which are a list of boolean values (true

src/Synth/Gen2.hs

@@ -1,11 +1,11 @@
 {-|
 Module      : Synth.Gen2
-Description : Holds the (revamped) Genetic Algorithm Parts of HenProg
+Description : Holds the (revamped) Genetic Algorithm Parts of Endemic
 License     : MIT
 Stability   : experimental
 Portability : POSIX
 
-This module holds the (reworked) genetic Algorithm parts of the HenProg Library.
+This module holds the (reworked) genetic Algorithm parts of the Endemic Library.
 The algorithms are more advanced and sophisticated than the initial implementation.
 
 The primary building brick is an EFix (See "Synth.Types") that resembles a set of

src/Synth/Plugin.hs

@@ -3,7 +3,7 @@
 
 -- |
 -- Module      : Synth.Plugin
--- Description : Moves some of the HenProg into the GHC compilation
+-- Description : Moves some of the Endemic into the GHC compilation
 -- License     : MIT
 -- Stability   : experimental
 -- This module introduces the Synth-Plugin to fasten up checking for the correct

src/Synth/Types.hs

@@ -2,11 +2,11 @@
 
 -- |
 -- Module      : Synth.Types
--- Description : Holds the types used throughout the HenProg Library
+-- Description : Holds the types used throughout the Endemic Library
 -- License     : MIT
 -- Stability   : experimental
 --
--- This module holds common / shared types throughout the HenProg library.
+-- This module holds common / shared types throughout the Endemic library.
 -- Prefixes / Naming Convention:
 -- - "R": Unparsed Elements, given by properties e.g. from console input or in
 --        the first steps of test-evaluation

src/Synth/Util.hs

@@ -2,7 +2,7 @@
 
 -- |
 -- Module      : Synth.Util
--- Description : Contains general and other orphaned functions of HenProg
+-- Description : Contains general and other orphaned functions of Endemic
 -- License     : MIT
 -- Stability   : experimental
 -- Your everyday Util file.