A framework based on Best-First Generalized Planning where solutions are either assembly-like programs, or structured programs that are syntactically terminating.
GNU General Public License v3.0
3
stars
3
forks
source link
Repair mode - flexible and fixed partial input programs #21
The current
repair
mode uses as roots of the search all prefix programs of a partial input program.This has been changed in commit
e913a3455030fac623c38df016fb3ce36999440c
, where only the input program is used as the root for the repair search.Todo - give two repair options: (i) with a fixed input partial program; and (ii) with all prefixes of the input partial program.