ICSE 2022 Artifact

The program as it was when submitted to ICSE '22 (with minor readme/CI adjustments)

Initial Release

This is the version we got accepted to ICSE '22!

Handles most things

[BugFix] Docker-Workflow should do proper Login (#61)

Old CI Tried to make a login to public docker hub, 
and used the personal token not the repository token.

v0.4 - New Name and New Genetics

Major Changes:

• Re-Implementation of Genetic Parts
• Renaming to Endemic from HenProg
• Partial use of Parallelization (Waiting for feedback from bigger experiments where to look)

Next Goals:

• Reuse of old search as breadth first alternative
• Docker Support & Example
• Broad support for Configuration

Known Issues:

• No Windows Support
• MacOS needs a special cabal configuration (See README.md)

v0.3

Initial version now complete, which takes in a module path as an argument and tries to repair it.

Run with cabal run ghc-synth -- <module/path> to automatically repair the first function declared that is involved in a property.

v0.2

Now supports naive polymorphic types

Not terribly slow, and works!

v0.1

Only print non-hole errors, if present