kjcjohnson/synthkit

Program synthesis toolkit for Common Lisp

synthkit

Program synthesis toolkit for Common Lisp, providing:

• Regular tree grammars (package com.kjcjohnson.synthkit.grammar)
• Abstract syntax trees (package com.kjcjohnson.synthkit.ast)
• SMT-LIB2 theories, functions, and solver interface (package com.kjcjohnson.synthkit.smt)
• Program specifications (package com.kjcjohnson.synthkit.specification)
• Version space algebra over programs (package com.kjcjohnson.synthkit.vsa)
• Semantics-Guided Synthesis support (package com.kjcjohnson.synthkit.semgus)

Caveat Emptor

This library is under active development; no part of it should be considered stable. Please reach out if this library would be useful to you, and we can discuss what that might look like.

Contributions

Contributions of any sort are welcome; let's build something great together!

synthkit's Issues

STYLE-WARNING: `REGULAR-LANGUAGE-PARSE-TREE` could not be inlined

; file: D:/dev/lisp/synthkit/smt/theory-strings.lisp
; in: DEFSTRUCT REGULAR-LANGUAGE
;     (DEFSTRUCT
;         (COM.KJCJOHNSON.SYNTHKIT.SMT::REGULAR-LANGUAGE
;          (:CONSTRUCTOR COM.KJCJOHNSON.SYNTHKIT.SMT::%REGLAN
;           (COM.KJCJOHNSON.SYNTHKIT.SMT::PARSE-TREE)))
;       COM.KJCJOHNSON.SYNTHKIT.SMT::PARSE-TREE)
; --> EVAL-WHEN 
; ==>
;   (SB-KERNEL::%COMPILER-DEFSTRUCT
;    '#<SB-KERNEL:DEFSTRUCT-DESCRIPTION COM.KJCJOHNSON.SYNTHKIT.SMT::REGULAR-LANGUAGE {1001A1AF23}>
;    '#(#<SB-KERNEL:WRAPPER (ID=0) for T {20121003}>
;       #<SB-KERNEL:WRAPPER (ID=1) for STRUCTURE-OBJECT {20121073}>))
; 
; caught STYLE-WARNING:
;   Previously compiled call to
;   COM.KJCJOHNSON.SYNTHKIT.SMT::REGULAR-LANGUAGE-PARSE-TREE could not be inlined
;   because the structure definition for
;   COM.KJCJOHNSON.SYNTHKIT.SMT::REGULAR-LANGUAGE was not yet seen. To avoid this
;   warning, DEFSTRUCT should precede references to the affected functions, or they
;   must be declared locally notinline at each call site.