├── .editorconfig ├── .github ├── dependabot.yml └── workflows │ ├── main.yml │ └── opam-dependency-submission.yml ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── Makefile ├── README-ja.md ├── README.md ├── bin ├── dune └── satysfi.ml ├── demo ├── Makefile ├── demo.saty ├── local.satyh └── satysfi-logo.jpg ├── doc ├── Makefile ├── cd.satyh ├── doc-lang.saty ├── doc-primitives.saty ├── local-math.satyh ├── local.satyh ├── math1.saty └── paren.satyh ├── download-fonts.sh ├── dune-project ├── install-libs.sh ├── lib-satysfi └── dist │ ├── fonts │ └── .gitkeep │ ├── hash │ ├── default-font.satysfi-hash │ ├── fonts.satysfi-hash │ └── mathfonts.satysfi-hash │ ├── hyph │ └── english.satysfi-hyph │ ├── md │ └── mdja.satysfi-md │ ├── packages │ ├── annot.satyh │ ├── bnf.satyh │ ├── cd.satyh │ ├── code.satyh │ ├── color.satyh │ ├── deco.satyh │ ├── footnote-scheme.satyh │ ├── geom.satyh │ ├── gr.satyh │ ├── hdecoset.satyh │ ├── html-base.satyh-html │ ├── itemize.satyh │ ├── list.satyg │ ├── math.satyh │ ├── mdja.satyh │ ├── mitou-detail.satyh │ ├── mitou-report.satyh │ ├── option.satyg │ ├── pervasives.satyh │ ├── picture.satyh │ ├── progsynt.satyh │ ├── proof.satyh │ ├── standalone.satyh │ ├── stdja.satyh │ ├── stdjabook.satyh │ ├── stdjareport.satyh │ ├── table.satyh │ ├── tabular.satyh │ ├── tabularx.satyh │ └── vdecoset.satyh │ └── unidata │ ├── .gitignore │ ├── EastAsianWidth.txt │ ├── LineBreak.txt │ ├── PropList.txt │ ├── PropertyAliases.txt │ ├── PropertyValueAliases.txt │ ├── ScriptExtensions.txt │ ├── Scripts.txt │ └── UnicodeData.txt ├── logo └── macrodown.svg ├── obsolete ├── .emacs-open-group ├── assoc-bar.satyh ├── doc-old │ ├── Makefile │ ├── Makefile_ │ ├── intr_style.css │ ├── intr_style_html.mcrdh │ ├── intr_style_latex.mcrdh │ ├── introduction.mcrd │ ├── to_html.mcrdh │ └── to_latex.mcrdh ├── out.ml ├── out.mli ├── samples │ ├── sample1 │ │ ├── Makefile │ │ ├── document.mcrdh │ │ ├── fizzbuzz.mcrdh │ │ ├── nabeazz.mcrdh │ │ ├── sample1.mcrd │ │ └── style.css │ ├── sample2 │ │ ├── Makefile │ │ ├── somedoc.mcrd │ │ ├── somedoc_html.mcrdh │ │ ├── somedoc_latex.mcrdh │ │ ├── tohtmlja.mcrdh │ │ └── tojsarticle.mcrdh │ ├── sample3 │ │ ├── Makefile │ │ ├── document.mcrdh │ │ ├── numbered_section.mcrdh │ │ ├── sample3.mcrd │ │ └── style.css │ └── sample_standalone │ │ ├── class_and_id.mcrds │ │ ├── global_hash.mcrds │ │ ├── innerfunc.mcrd │ │ ├── innerfunc.mcrdh │ │ ├── list.mcrds │ │ ├── qsort.mcrds │ │ └── while.mcrds ├── stacklist.ml └── stacklist.mli ├── satysfi.opam ├── src ├── alist.ml ├── alist.mli ├── backend │ ├── TODO.md │ ├── annotation.ml │ ├── annotation.mli │ ├── crossRef.ml │ ├── crossRef.mli │ ├── discretionaryID.ml │ ├── discretionaryID.mli │ ├── documentInformationDictionary.ml │ ├── documentInformationDictionary.mli │ ├── flowGraph.ml │ ├── fontAccess.ml │ ├── fontFormat.ml │ ├── fontFormat.mli │ ├── graphicBase.ml │ ├── graphicD.ml │ ├── graphicD.mli │ ├── handlePdf.ml │ ├── handlePdf.mli │ ├── horzBox.ml │ ├── imageHashTable.ml │ ├── imageHashTable.mli │ ├── imageInfo.ml │ ├── imageInfo.mli │ ├── internalText.ml │ ├── internalText.mli │ ├── length.ml │ ├── length.mli │ ├── lengthInterface.ml │ ├── lineBreak.ml │ ├── lineBreak.mli │ ├── lineBreakBox.ml │ ├── loadFont.ml │ ├── loadFont.mli │ ├── loadHyph.ml │ ├── loadHyph.mli │ ├── loadJpeg.ml │ ├── loadJpeg.mli │ ├── loadPdf.ml │ ├── loadPdf.mli │ ├── loadRawImage.ml │ ├── loadRawImage.mli │ ├── mutableSet.ml │ ├── namedDest.ml │ ├── namedDest.mli │ ├── optionState.ml │ ├── optionState.mli │ ├── outline.ml │ ├── outline.mli │ ├── outputText.ml │ ├── outputText.mli │ ├── pageBreak.ml │ ├── pageBreak.mli │ ├── pageInfo.ml │ ├── prePath.ml │ ├── prePath.mli │ ├── setDefaultFont.ml │ ├── setDefaultFont.mli │ ├── tabular.ml │ └── tabular.mli ├── chardecoder │ ├── charBasis.ml │ ├── convertText.ml │ ├── convertText.mli │ ├── dataLexer.mll │ ├── dataParser.mly │ ├── lineBreakDataMap.ml │ ├── lineBreakDataMap.mli │ ├── scriptDataMap.ml │ └── scriptDataMap.mli ├── config.ml ├── config.mli ├── dune ├── frontend │ ├── assoc.ml │ ├── assoc.mli │ ├── bytecomp │ │ ├── bytecomp.ml │ │ ├── compiler.ml │ │ ├── ir.cppo.ml │ │ ├── ir.mli │ │ ├── vm.cppo.ml │ │ └── vm.mli │ ├── codeSymbol.ml │ ├── codeSymbol.mli │ ├── directedGraph.ml │ ├── directedGraph.mli │ ├── display.ml │ ├── display.mli │ ├── evalUtil.ml │ ├── evalVarID.ml │ ├── evalVarID.mli │ ├── evaluator.cppo.ml │ ├── evaluator.mli │ ├── exhchecker.ml │ ├── exhchecker.mli │ ├── files.ml │ ├── fontInfo.ml │ ├── fontInfo.mli │ ├── hashTree.ml │ ├── hashTree.mli │ ├── lexer.mll │ ├── loadMDSetting.ml │ ├── loadMDSetting.mli │ ├── logging.ml │ ├── main.ml │ ├── main.mli │ ├── math.ml │ ├── math.mli │ ├── parser.mly │ ├── parserInterface.ml │ ├── primitives.cppo.ml │ ├── primitives.mli │ ├── range.ml │ ├── range.mli │ ├── state.ml │ ├── state.mli │ ├── storeID.ml │ ├── storeID.mli │ ├── toplevel.ocamlinit │ ├── typechecker.ml │ ├── typechecker.mli │ ├── typeenv.ml │ ├── typeenv.mli │ └── types.cppo.ml ├── md │ ├── decodeMD.ml │ └── decodeMD.mli ├── myUtil.ml ├── myUtil.mli ├── myYojsonUtil.ml ├── printForDebug.ml ├── text-mode │ └── textBackend.ml └── version.ml ├── temp ├── IPAexfont00401.zip.sha1 ├── junicode-1.002.zip.sha1 ├── latinmodern-math-1959.zip.sha1 └── lm2.004otf.zip.sha1 ├── test └── parsing │ ├── dune │ ├── mathlist.saty │ ├── nx.saty │ ├── parser.expected │ ├── parser_test.ml │ ├── patlist.saty │ ├── pats.saty │ ├── pattuple.saty │ ├── sxlist.saty │ ├── toplevel.saty │ ├── txlist.saty │ ├── txprod.saty │ ├── txrecord.saty │ └── variants.saty ├── tests ├── Makefile ├── clip.saty ├── first.saty ├── glue1.saty ├── head.satyh ├── images │ ├── Makefile │ ├── PngSuite-2017jul19 │ │ ├── PngSuite.LICENSE │ │ ├── PngSuite.README │ │ ├── basi0g01.png │ │ ├── basi0g02.png │ │ ├── basi0g04.png │ │ ├── basi0g08.png │ │ ├── basi0g16.png │ │ ├── basi2c08.png │ │ ├── basi2c16.png │ │ ├── basi3p01.png │ │ ├── basi3p02.png │ │ ├── basi3p04.png │ │ ├── basi3p08.png │ │ ├── basi4a08.png │ │ ├── basi4a16.png │ │ ├── basi6a08.png │ │ ├── basi6a16.png │ │ ├── basn0g01.png │ │ ├── basn0g02.png │ │ ├── basn0g04.png │ │ ├── basn0g08.png │ │ ├── basn0g16.png │ │ ├── basn2c08.png │ │ ├── basn2c16.png │ │ ├── basn3p01.png │ │ ├── basn3p02.png │ │ ├── basn3p04.png │ │ ├── basn3p08.png │ │ ├── basn4a08.png │ │ ├── basn4a16.png │ │ ├── basn6a08.png │ │ └── basn6a16.png │ ├── peppers-cmyk.jpg │ ├── peppers-gray.jpg │ ├── peppers-rgb.jpg │ ├── satysfi-logo-cmyk.jpg │ ├── satysfi-logo-gray.jpg │ ├── satysfi-logo-rgb.jpg │ └── test.saty ├── list.satyh ├── math-old.satyh ├── math1.saty ├── math2.saty ├── refactor1.saty ├── refactor2.saty ├── refactor3.saty ├── refactor4.saty ├── refactor5.saty └── refactor6.saty └── tools └── gencode ├── dune ├── gencode.ml ├── instruction.ml ├── instruction.mli ├── name.ml ├── type.ml ├── type.mli ├── u.ml └── vminst.ml /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.github/workflows/opam-dependency-submission.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/.github/workflows/opam-dependency-submission.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/Makefile -------------------------------------------------------------------------------- /README-ja.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/README-ja.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/README.md -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/satysfi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/bin/satysfi.ml -------------------------------------------------------------------------------- /demo/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/demo/Makefile -------------------------------------------------------------------------------- /demo/demo.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/demo/demo.saty -------------------------------------------------------------------------------- /demo/local.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/demo/local.satyh -------------------------------------------------------------------------------- /demo/satysfi-logo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/demo/satysfi-logo.jpg -------------------------------------------------------------------------------- /doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/doc/Makefile -------------------------------------------------------------------------------- /doc/cd.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/doc/cd.satyh -------------------------------------------------------------------------------- /doc/doc-lang.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/doc/doc-lang.saty -------------------------------------------------------------------------------- /doc/doc-primitives.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/doc/doc-primitives.saty -------------------------------------------------------------------------------- /doc/local-math.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/doc/local-math.satyh -------------------------------------------------------------------------------- /doc/local.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/doc/local.satyh -------------------------------------------------------------------------------- /doc/math1.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/doc/math1.saty -------------------------------------------------------------------------------- /doc/paren.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/doc/paren.satyh -------------------------------------------------------------------------------- /download-fonts.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/download-fonts.sh -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/dune-project -------------------------------------------------------------------------------- /install-libs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/install-libs.sh -------------------------------------------------------------------------------- /lib-satysfi/dist/fonts/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib-satysfi/dist/hash/default-font.satysfi-hash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/hash/default-font.satysfi-hash -------------------------------------------------------------------------------- /lib-satysfi/dist/hash/fonts.satysfi-hash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/hash/fonts.satysfi-hash -------------------------------------------------------------------------------- /lib-satysfi/dist/hash/mathfonts.satysfi-hash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/hash/mathfonts.satysfi-hash -------------------------------------------------------------------------------- /lib-satysfi/dist/hyph/english.satysfi-hyph: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/hyph/english.satysfi-hyph -------------------------------------------------------------------------------- /lib-satysfi/dist/md/mdja.satysfi-md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/md/mdja.satysfi-md -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/annot.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/annot.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/bnf.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/bnf.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/cd.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/cd.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/code.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/code.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/color.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/color.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/deco.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/deco.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/footnote-scheme.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/footnote-scheme.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/geom.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/geom.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/gr.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/gr.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/hdecoset.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/hdecoset.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/html-base.satyh-html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/html-base.satyh-html -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/itemize.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/itemize.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/list.satyg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/list.satyg -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/math.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/math.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/mdja.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/mdja.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/mitou-detail.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/mitou-detail.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/mitou-report.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/mitou-report.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/option.satyg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/option.satyg -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/pervasives.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/pervasives.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/picture.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/picture.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/progsynt.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/progsynt.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/proof.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/proof.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/standalone.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/standalone.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/stdja.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/stdja.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/stdjabook.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/stdjabook.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/stdjareport.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/stdjareport.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/table.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/table.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/tabular.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/tabular.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/tabularx.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/tabularx.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/packages/vdecoset.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/packages/vdecoset.satyh -------------------------------------------------------------------------------- /lib-satysfi/dist/unidata/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib-satysfi/dist/unidata/EastAsianWidth.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/unidata/EastAsianWidth.txt -------------------------------------------------------------------------------- /lib-satysfi/dist/unidata/LineBreak.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/unidata/LineBreak.txt -------------------------------------------------------------------------------- /lib-satysfi/dist/unidata/PropList.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/unidata/PropList.txt -------------------------------------------------------------------------------- /lib-satysfi/dist/unidata/PropertyAliases.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/unidata/PropertyAliases.txt -------------------------------------------------------------------------------- /lib-satysfi/dist/unidata/PropertyValueAliases.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/unidata/PropertyValueAliases.txt -------------------------------------------------------------------------------- /lib-satysfi/dist/unidata/ScriptExtensions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/unidata/ScriptExtensions.txt -------------------------------------------------------------------------------- /lib-satysfi/dist/unidata/Scripts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/unidata/Scripts.txt -------------------------------------------------------------------------------- /lib-satysfi/dist/unidata/UnicodeData.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/lib-satysfi/dist/unidata/UnicodeData.txt -------------------------------------------------------------------------------- /logo/macrodown.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/logo/macrodown.svg -------------------------------------------------------------------------------- /obsolete/.emacs-open-group: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/.emacs-open-group -------------------------------------------------------------------------------- /obsolete/assoc-bar.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/assoc-bar.satyh -------------------------------------------------------------------------------- /obsolete/doc-old/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/doc-old/Makefile -------------------------------------------------------------------------------- /obsolete/doc-old/Makefile_: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/doc-old/Makefile_ -------------------------------------------------------------------------------- /obsolete/doc-old/intr_style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/doc-old/intr_style.css -------------------------------------------------------------------------------- /obsolete/doc-old/intr_style_html.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/doc-old/intr_style_html.mcrdh -------------------------------------------------------------------------------- /obsolete/doc-old/intr_style_latex.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/doc-old/intr_style_latex.mcrdh -------------------------------------------------------------------------------- /obsolete/doc-old/introduction.mcrd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/doc-old/introduction.mcrd -------------------------------------------------------------------------------- /obsolete/doc-old/to_html.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/doc-old/to_html.mcrdh -------------------------------------------------------------------------------- /obsolete/doc-old/to_latex.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/doc-old/to_latex.mcrdh -------------------------------------------------------------------------------- /obsolete/out.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/out.ml -------------------------------------------------------------------------------- /obsolete/out.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/out.mli -------------------------------------------------------------------------------- /obsolete/samples/sample1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample1/Makefile -------------------------------------------------------------------------------- /obsolete/samples/sample1/document.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample1/document.mcrdh -------------------------------------------------------------------------------- /obsolete/samples/sample1/fizzbuzz.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample1/fizzbuzz.mcrdh -------------------------------------------------------------------------------- /obsolete/samples/sample1/nabeazz.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample1/nabeazz.mcrdh -------------------------------------------------------------------------------- /obsolete/samples/sample1/sample1.mcrd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample1/sample1.mcrd -------------------------------------------------------------------------------- /obsolete/samples/sample1/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample1/style.css -------------------------------------------------------------------------------- /obsolete/samples/sample2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample2/Makefile -------------------------------------------------------------------------------- /obsolete/samples/sample2/somedoc.mcrd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample2/somedoc.mcrd -------------------------------------------------------------------------------- /obsolete/samples/sample2/somedoc_html.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample2/somedoc_html.mcrdh -------------------------------------------------------------------------------- /obsolete/samples/sample2/somedoc_latex.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample2/somedoc_latex.mcrdh -------------------------------------------------------------------------------- /obsolete/samples/sample2/tohtmlja.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample2/tohtmlja.mcrdh -------------------------------------------------------------------------------- /obsolete/samples/sample2/tojsarticle.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample2/tojsarticle.mcrdh -------------------------------------------------------------------------------- /obsolete/samples/sample3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample3/Makefile -------------------------------------------------------------------------------- /obsolete/samples/sample3/document.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample3/document.mcrdh -------------------------------------------------------------------------------- /obsolete/samples/sample3/numbered_section.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample3/numbered_section.mcrdh -------------------------------------------------------------------------------- /obsolete/samples/sample3/sample3.mcrd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample3/sample3.mcrd -------------------------------------------------------------------------------- /obsolete/samples/sample3/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample3/style.css -------------------------------------------------------------------------------- /obsolete/samples/sample_standalone/class_and_id.mcrds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample_standalone/class_and_id.mcrds -------------------------------------------------------------------------------- /obsolete/samples/sample_standalone/global_hash.mcrds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample_standalone/global_hash.mcrds -------------------------------------------------------------------------------- /obsolete/samples/sample_standalone/innerfunc.mcrd: -------------------------------------------------------------------------------- 1 | \hoge{The quick brown fox} 2 | -------------------------------------------------------------------------------- /obsolete/samples/sample_standalone/innerfunc.mcrdh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample_standalone/innerfunc.mcrdh -------------------------------------------------------------------------------- /obsolete/samples/sample_standalone/list.mcrds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample_standalone/list.mcrds -------------------------------------------------------------------------------- /obsolete/samples/sample_standalone/qsort.mcrds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample_standalone/qsort.mcrds -------------------------------------------------------------------------------- /obsolete/samples/sample_standalone/while.mcrds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/samples/sample_standalone/while.mcrds -------------------------------------------------------------------------------- /obsolete/stacklist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/stacklist.ml -------------------------------------------------------------------------------- /obsolete/stacklist.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/obsolete/stacklist.mli -------------------------------------------------------------------------------- /satysfi.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/satysfi.opam -------------------------------------------------------------------------------- /src/alist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/alist.ml -------------------------------------------------------------------------------- /src/alist.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/alist.mli -------------------------------------------------------------------------------- /src/backend/TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/TODO.md -------------------------------------------------------------------------------- /src/backend/annotation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/annotation.ml -------------------------------------------------------------------------------- /src/backend/annotation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/annotation.mli -------------------------------------------------------------------------------- /src/backend/crossRef.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/crossRef.ml -------------------------------------------------------------------------------- /src/backend/crossRef.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/crossRef.mli -------------------------------------------------------------------------------- /src/backend/discretionaryID.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/discretionaryID.ml -------------------------------------------------------------------------------- /src/backend/discretionaryID.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/discretionaryID.mli -------------------------------------------------------------------------------- /src/backend/documentInformationDictionary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/documentInformationDictionary.ml -------------------------------------------------------------------------------- /src/backend/documentInformationDictionary.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/documentInformationDictionary.mli -------------------------------------------------------------------------------- /src/backend/flowGraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/flowGraph.ml -------------------------------------------------------------------------------- /src/backend/fontAccess.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/fontAccess.ml -------------------------------------------------------------------------------- /src/backend/fontFormat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/fontFormat.ml -------------------------------------------------------------------------------- /src/backend/fontFormat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/fontFormat.mli -------------------------------------------------------------------------------- /src/backend/graphicBase.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/graphicBase.ml -------------------------------------------------------------------------------- /src/backend/graphicD.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/graphicD.ml -------------------------------------------------------------------------------- /src/backend/graphicD.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/graphicD.mli -------------------------------------------------------------------------------- /src/backend/handlePdf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/handlePdf.ml -------------------------------------------------------------------------------- /src/backend/handlePdf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/handlePdf.mli -------------------------------------------------------------------------------- /src/backend/horzBox.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/horzBox.ml -------------------------------------------------------------------------------- /src/backend/imageHashTable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/imageHashTable.ml -------------------------------------------------------------------------------- /src/backend/imageHashTable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/imageHashTable.mli -------------------------------------------------------------------------------- /src/backend/imageInfo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/imageInfo.ml -------------------------------------------------------------------------------- /src/backend/imageInfo.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/imageInfo.mli -------------------------------------------------------------------------------- /src/backend/internalText.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/internalText.ml -------------------------------------------------------------------------------- /src/backend/internalText.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/internalText.mli -------------------------------------------------------------------------------- /src/backend/length.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/length.ml -------------------------------------------------------------------------------- /src/backend/length.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/length.mli -------------------------------------------------------------------------------- /src/backend/lengthInterface.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/lengthInterface.ml -------------------------------------------------------------------------------- /src/backend/lineBreak.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/lineBreak.ml -------------------------------------------------------------------------------- /src/backend/lineBreak.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/lineBreak.mli -------------------------------------------------------------------------------- /src/backend/lineBreakBox.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/lineBreakBox.ml -------------------------------------------------------------------------------- /src/backend/loadFont.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/loadFont.ml -------------------------------------------------------------------------------- /src/backend/loadFont.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/loadFont.mli -------------------------------------------------------------------------------- /src/backend/loadHyph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/loadHyph.ml -------------------------------------------------------------------------------- /src/backend/loadHyph.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/loadHyph.mli -------------------------------------------------------------------------------- /src/backend/loadJpeg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/loadJpeg.ml -------------------------------------------------------------------------------- /src/backend/loadJpeg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/loadJpeg.mli -------------------------------------------------------------------------------- /src/backend/loadPdf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/loadPdf.ml -------------------------------------------------------------------------------- /src/backend/loadPdf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/loadPdf.mli -------------------------------------------------------------------------------- /src/backend/loadRawImage.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/loadRawImage.ml -------------------------------------------------------------------------------- /src/backend/loadRawImage.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/loadRawImage.mli -------------------------------------------------------------------------------- /src/backend/mutableSet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/mutableSet.ml -------------------------------------------------------------------------------- /src/backend/namedDest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/namedDest.ml -------------------------------------------------------------------------------- /src/backend/namedDest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/namedDest.mli -------------------------------------------------------------------------------- /src/backend/optionState.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/optionState.ml -------------------------------------------------------------------------------- /src/backend/optionState.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/optionState.mli -------------------------------------------------------------------------------- /src/backend/outline.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/outline.ml -------------------------------------------------------------------------------- /src/backend/outline.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/outline.mli -------------------------------------------------------------------------------- /src/backend/outputText.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/outputText.ml -------------------------------------------------------------------------------- /src/backend/outputText.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/outputText.mli -------------------------------------------------------------------------------- /src/backend/pageBreak.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/pageBreak.ml -------------------------------------------------------------------------------- /src/backend/pageBreak.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/pageBreak.mli -------------------------------------------------------------------------------- /src/backend/pageInfo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/pageInfo.ml -------------------------------------------------------------------------------- /src/backend/prePath.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/prePath.ml -------------------------------------------------------------------------------- /src/backend/prePath.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/prePath.mli -------------------------------------------------------------------------------- /src/backend/setDefaultFont.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/setDefaultFont.ml -------------------------------------------------------------------------------- /src/backend/setDefaultFont.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/setDefaultFont.mli -------------------------------------------------------------------------------- /src/backend/tabular.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/tabular.ml -------------------------------------------------------------------------------- /src/backend/tabular.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/backend/tabular.mli -------------------------------------------------------------------------------- /src/chardecoder/charBasis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/chardecoder/charBasis.ml -------------------------------------------------------------------------------- /src/chardecoder/convertText.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/chardecoder/convertText.ml -------------------------------------------------------------------------------- /src/chardecoder/convertText.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/chardecoder/convertText.mli -------------------------------------------------------------------------------- /src/chardecoder/dataLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/chardecoder/dataLexer.mll -------------------------------------------------------------------------------- /src/chardecoder/dataParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/chardecoder/dataParser.mly -------------------------------------------------------------------------------- /src/chardecoder/lineBreakDataMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/chardecoder/lineBreakDataMap.ml -------------------------------------------------------------------------------- /src/chardecoder/lineBreakDataMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/chardecoder/lineBreakDataMap.mli -------------------------------------------------------------------------------- /src/chardecoder/scriptDataMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/chardecoder/scriptDataMap.ml -------------------------------------------------------------------------------- /src/chardecoder/scriptDataMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/chardecoder/scriptDataMap.mli -------------------------------------------------------------------------------- /src/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/config.ml -------------------------------------------------------------------------------- /src/config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/config.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/dune -------------------------------------------------------------------------------- /src/frontend/assoc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/assoc.ml -------------------------------------------------------------------------------- /src/frontend/assoc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/assoc.mli -------------------------------------------------------------------------------- /src/frontend/bytecomp/bytecomp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/bytecomp/bytecomp.ml -------------------------------------------------------------------------------- /src/frontend/bytecomp/compiler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/bytecomp/compiler.ml -------------------------------------------------------------------------------- /src/frontend/bytecomp/ir.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/bytecomp/ir.cppo.ml -------------------------------------------------------------------------------- /src/frontend/bytecomp/ir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/bytecomp/ir.mli -------------------------------------------------------------------------------- /src/frontend/bytecomp/vm.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/bytecomp/vm.cppo.ml -------------------------------------------------------------------------------- /src/frontend/bytecomp/vm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/bytecomp/vm.mli -------------------------------------------------------------------------------- /src/frontend/codeSymbol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/codeSymbol.ml -------------------------------------------------------------------------------- /src/frontend/codeSymbol.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/codeSymbol.mli -------------------------------------------------------------------------------- /src/frontend/directedGraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/directedGraph.ml -------------------------------------------------------------------------------- /src/frontend/directedGraph.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/directedGraph.mli -------------------------------------------------------------------------------- /src/frontend/display.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/display.ml -------------------------------------------------------------------------------- /src/frontend/display.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/display.mli -------------------------------------------------------------------------------- /src/frontend/evalUtil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/evalUtil.ml -------------------------------------------------------------------------------- /src/frontend/evalVarID.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/evalVarID.ml -------------------------------------------------------------------------------- /src/frontend/evalVarID.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/evalVarID.mli -------------------------------------------------------------------------------- /src/frontend/evaluator.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/evaluator.cppo.ml -------------------------------------------------------------------------------- /src/frontend/evaluator.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/evaluator.mli -------------------------------------------------------------------------------- /src/frontend/exhchecker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/exhchecker.ml -------------------------------------------------------------------------------- /src/frontend/exhchecker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/exhchecker.mli -------------------------------------------------------------------------------- /src/frontend/files.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/files.ml -------------------------------------------------------------------------------- /src/frontend/fontInfo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/fontInfo.ml -------------------------------------------------------------------------------- /src/frontend/fontInfo.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/fontInfo.mli -------------------------------------------------------------------------------- /src/frontend/hashTree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/hashTree.ml -------------------------------------------------------------------------------- /src/frontend/hashTree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/hashTree.mli -------------------------------------------------------------------------------- /src/frontend/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/lexer.mll -------------------------------------------------------------------------------- /src/frontend/loadMDSetting.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/loadMDSetting.ml -------------------------------------------------------------------------------- /src/frontend/loadMDSetting.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/loadMDSetting.mli -------------------------------------------------------------------------------- /src/frontend/logging.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/logging.ml -------------------------------------------------------------------------------- /src/frontend/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/main.ml -------------------------------------------------------------------------------- /src/frontend/main.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/main.mli -------------------------------------------------------------------------------- /src/frontend/math.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/math.ml -------------------------------------------------------------------------------- /src/frontend/math.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/math.mli -------------------------------------------------------------------------------- /src/frontend/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/parser.mly -------------------------------------------------------------------------------- /src/frontend/parserInterface.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/parserInterface.ml -------------------------------------------------------------------------------- /src/frontend/primitives.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/primitives.cppo.ml -------------------------------------------------------------------------------- /src/frontend/primitives.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/primitives.mli -------------------------------------------------------------------------------- /src/frontend/range.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/range.ml -------------------------------------------------------------------------------- /src/frontend/range.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/range.mli -------------------------------------------------------------------------------- /src/frontend/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/state.ml -------------------------------------------------------------------------------- /src/frontend/state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/state.mli -------------------------------------------------------------------------------- /src/frontend/storeID.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/storeID.ml -------------------------------------------------------------------------------- /src/frontend/storeID.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/storeID.mli -------------------------------------------------------------------------------- /src/frontend/toplevel.ocamlinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/toplevel.ocamlinit -------------------------------------------------------------------------------- /src/frontend/typechecker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/typechecker.ml -------------------------------------------------------------------------------- /src/frontend/typechecker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/typechecker.mli -------------------------------------------------------------------------------- /src/frontend/typeenv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/typeenv.ml -------------------------------------------------------------------------------- /src/frontend/typeenv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/typeenv.mli -------------------------------------------------------------------------------- /src/frontend/types.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/frontend/types.cppo.ml -------------------------------------------------------------------------------- /src/md/decodeMD.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/md/decodeMD.ml -------------------------------------------------------------------------------- /src/md/decodeMD.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/md/decodeMD.mli -------------------------------------------------------------------------------- /src/myUtil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/myUtil.ml -------------------------------------------------------------------------------- /src/myUtil.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/myUtil.mli -------------------------------------------------------------------------------- /src/myYojsonUtil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/myYojsonUtil.ml -------------------------------------------------------------------------------- /src/printForDebug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/printForDebug.ml -------------------------------------------------------------------------------- /src/text-mode/textBackend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/text-mode/textBackend.ml -------------------------------------------------------------------------------- /src/version.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/src/version.ml -------------------------------------------------------------------------------- /temp/IPAexfont00401.zip.sha1: -------------------------------------------------------------------------------- 1 | 57583c2be5dbfa06648ab0ae4937d7903b32595c IPAexfont00401.zip 2 | -------------------------------------------------------------------------------- /temp/junicode-1.002.zip.sha1: -------------------------------------------------------------------------------- 1 | 3ae070e6d9368665f5410d2cbd849fd97c18d877 junicode-1.002.zip 2 | -------------------------------------------------------------------------------- /temp/latinmodern-math-1959.zip.sha1: -------------------------------------------------------------------------------- 1 | cb2cf7ef2c366f2db384a77741a85887409ff39e latinmodern-math-1959.zip 2 | -------------------------------------------------------------------------------- /temp/lm2.004otf.zip.sha1: -------------------------------------------------------------------------------- 1 | 1290d7366fef6e1a3d7fa4b143726b96857375a6 lm2.004otf.zip 2 | -------------------------------------------------------------------------------- /test/parsing/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/dune -------------------------------------------------------------------------------- /test/parsing/mathlist.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/mathlist.saty -------------------------------------------------------------------------------- /test/parsing/nx.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/nx.saty -------------------------------------------------------------------------------- /test/parsing/parser.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/parser.expected -------------------------------------------------------------------------------- /test/parsing/parser_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/parser_test.ml -------------------------------------------------------------------------------- /test/parsing/patlist.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/patlist.saty -------------------------------------------------------------------------------- /test/parsing/pats.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/pats.saty -------------------------------------------------------------------------------- /test/parsing/pattuple.saty: -------------------------------------------------------------------------------- 1 | let pattuple-test = 2 | match a with 3 | | (b, c) -> d 4 | -------------------------------------------------------------------------------- /test/parsing/sxlist.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/sxlist.saty -------------------------------------------------------------------------------- /test/parsing/toplevel.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/toplevel.saty -------------------------------------------------------------------------------- /test/parsing/txlist.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/txlist.saty -------------------------------------------------------------------------------- /test/parsing/txprod.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/txprod.saty -------------------------------------------------------------------------------- /test/parsing/txrecord.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/txrecord.saty -------------------------------------------------------------------------------- /test/parsing/variants.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/test/parsing/variants.saty -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/clip.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/clip.saty -------------------------------------------------------------------------------- /tests/first.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/first.saty -------------------------------------------------------------------------------- /tests/glue1.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/glue1.saty -------------------------------------------------------------------------------- /tests/head.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/head.satyh -------------------------------------------------------------------------------- /tests/images/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/Makefile -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/PngSuite.LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/PngSuite.LICENSE -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/PngSuite.README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/PngSuite.README -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi0g01.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi0g01.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi0g02.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi0g02.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi0g04.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi0g04.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi0g08.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi0g08.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi0g16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi0g16.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi2c08.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi2c08.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi2c16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi2c16.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi3p01.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi3p01.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi3p02.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi3p02.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi3p04.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi3p04.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi3p08.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi3p08.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi4a08.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi4a08.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi4a16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi4a16.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi6a08.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi6a08.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basi6a16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basi6a16.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn0g01.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn0g01.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn0g02.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn0g02.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn0g04.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn0g04.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn0g08.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn0g08.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn0g16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn0g16.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn2c08.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn2c08.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn2c16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn2c16.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn3p01.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn3p01.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn3p02.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn3p02.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn3p04.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn3p04.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn3p08.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn3p08.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn4a08.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn4a08.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn4a16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn4a16.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn6a08.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn6a08.png -------------------------------------------------------------------------------- /tests/images/PngSuite-2017jul19/basn6a16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/PngSuite-2017jul19/basn6a16.png -------------------------------------------------------------------------------- /tests/images/peppers-cmyk.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/peppers-cmyk.jpg -------------------------------------------------------------------------------- /tests/images/peppers-gray.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/peppers-gray.jpg -------------------------------------------------------------------------------- /tests/images/peppers-rgb.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/peppers-rgb.jpg -------------------------------------------------------------------------------- /tests/images/satysfi-logo-cmyk.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/satysfi-logo-cmyk.jpg -------------------------------------------------------------------------------- /tests/images/satysfi-logo-gray.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/satysfi-logo-gray.jpg -------------------------------------------------------------------------------- /tests/images/satysfi-logo-rgb.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/satysfi-logo-rgb.jpg -------------------------------------------------------------------------------- /tests/images/test.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/images/test.saty -------------------------------------------------------------------------------- /tests/list.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/list.satyh -------------------------------------------------------------------------------- /tests/math-old.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/math-old.satyh -------------------------------------------------------------------------------- /tests/math1.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/math1.saty -------------------------------------------------------------------------------- /tests/math2.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/math2.saty -------------------------------------------------------------------------------- /tests/refactor1.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/refactor1.saty -------------------------------------------------------------------------------- /tests/refactor2.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/refactor2.saty -------------------------------------------------------------------------------- /tests/refactor3.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/refactor3.saty -------------------------------------------------------------------------------- /tests/refactor4.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/refactor4.saty -------------------------------------------------------------------------------- /tests/refactor5.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/refactor5.saty -------------------------------------------------------------------------------- /tests/refactor6.saty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tests/refactor6.saty -------------------------------------------------------------------------------- /tools/gencode/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tools/gencode/dune -------------------------------------------------------------------------------- /tools/gencode/gencode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tools/gencode/gencode.ml -------------------------------------------------------------------------------- /tools/gencode/instruction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tools/gencode/instruction.ml -------------------------------------------------------------------------------- /tools/gencode/instruction.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tools/gencode/instruction.mli -------------------------------------------------------------------------------- /tools/gencode/name.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tools/gencode/name.ml -------------------------------------------------------------------------------- /tools/gencode/type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tools/gencode/type.ml -------------------------------------------------------------------------------- /tools/gencode/type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tools/gencode/type.mli -------------------------------------------------------------------------------- /tools/gencode/u.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tools/gencode/u.ml -------------------------------------------------------------------------------- /tools/gencode/vminst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gfngfn/SATySFi/HEAD/tools/gencode/vminst.ml --------------------------------------------------------------------------------