st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-06-11 03:38:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

struct: init synthesizer rewrite

Browse source
This commit is contained in:
ProgramSnail 2026-05-01 13:45:09 +00:00
parent 80ac511c7a
commit 66ea0e53da
3 changed files with 574 additions and 573 deletions
Download patch file Download diff file Expand all files Collapse all files

40
model_with_structures/dune
View file

@ -42,23 +42,23 @@
; -pp ; -pp
; camlp5/pp5+gt+plugins+ocanren+dump.exe))) ; camlp5/pp5+gt+plugins+ocanren+dump.exe)))
; (library (library
; (name synthesizer_st) (name synthesizer_st)
; (modules synthesizer) (modules synthesizer)
; (flags (flags
; ; (-dsource) ; (-dsource)
; (:standard -rectypes)) (:standard -rectypes))
; (libraries OCanren OCanren.tester) (libraries OCanren OCanren.tester)
; (preprocessor_deps ../camlp5/pp5+gt+plugins+ocanren+dump.exe) (preprocessor_deps ../camlp5/pp5+gt+plugins+ocanren+dump.exe)
; (wrapped false) (wrapped false)
; (preprocess (preprocess
; (pps (pps
; OCanren-ppx.ppx_repr OCanren-ppx.ppx_repr
; OCanren-ppx.ppx_deriving_reify OCanren-ppx.ppx_deriving_reify
; OCanren-ppx.ppx_fresh OCanren-ppx.ppx_fresh
; GT.ppx GT.ppx
; GT.ppx_all GT.ppx_all
; OCanren-ppx.ppx_distrib OCanren-ppx.ppx_distrib
; -- --
; -pp -pp
; camlp5/pp5+gt+plugins+ocanren+dump.exe))) camlp5/pp5+gt+plugins+ocanren+dump.exe)))

2
model_with_structures/model.typ
View file

@ -923,7 +923,7 @@ $s in stmt, f in X, x in X, a in X$
// NOTE: x as path // NOTE: x as path
$mu stretch(=>)^(m space t space x)_(cl vals, types cr) mu'$, $mu stretch(=>)^(m space t space x)_(cl vals, types cr) mu'$,
// TODO: FIXME: is c important ? // TODO:: is c important ?
$mu stretch(=>)^(m space rf c t space rf x_(cl vals, types cr) mu'$, $mu stretch(=>)^(m space rf c t space rf x_(cl vals, types cr) mu'$,
) )
)) ))

1105
model_with_structures/synthesizer.ml
View file

File diff suppressed because it is too large Load diff