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
Theories - avoid modifiers or control flow over single-object pointers #9
In case of pointer types that correspond to single objects in all input instances, instructions such as inc, dec, set, for(ptr++,*), and so on can be skipped from the theory.
In case of pointer types that correspond to single objects in all input instances, instructions such as
inc,dec,set,for(ptr++,*), and so on can be skipped from the theory.