Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[WIP] Develop 0.1.0 #294

Open
wants to merge 588 commits into
base: master
Choose a base branch
from
Open

[WIP] Develop 0.1.0 #294

wants to merge 588 commits into from
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Aug 25, 2022

  1. refactor tests for 'DependencyGraph'

    @gfngfn
    gfngfn committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    f880fe5 View commit details
    Browse the repository at this point in the history

  2. change interface of 'DependencyGraph'

    @gfngfn
    gfngfn committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    7eea94f View commit details
    Browse the repository at this point in the history

  3. add a test for 'DependencyGraph'

    @gfngfn
    gfngfn committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    174e939 View commit details
    Browse the repository at this point in the history

  4. add negative tests for 'DependencyGraph'

    @gfngfn
    gfngfn committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    0b676ce View commit details
    Browse the repository at this point in the history

  5. small fix

    @gfngfn
    gfngfn committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    0ed25f2 View commit details
    Browse the repository at this point in the history

  6. Merge pull request #345 from gfngfn/dev-0-1-0-refactor-file-dependenc… 

    …y-graph

Refactor `FileDependencyGraph` and `SynonymDependencyGraph` by using `ocamlgraph`
    @gfngfn
    gfngfn committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    8c372e7 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2022

  1. abandon type 'page'

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    58e17ba View commit details
    Browse the repository at this point in the history

  2. create package 'paper-size' and replace values of type 'page'

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    ddaf4b9 View commit details
    Browse the repository at this point in the history

  3. fix 'stdjabook.satyh' about 'page'

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    684bec9 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #347 from gfngfn/dev-0-1-0-abandon-page 

    Abandon type `page`
    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    ecf042a View commit details
    Browse the repository at this point in the history

  5. extend usage of row variables in rows and types

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    0482a76 View commit details
    Browse the repository at this point in the history

  6. fix signatures of class files

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    b3091ae View commit details
    Browse the repository at this point in the history

  7. fix how to generalize row variables

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    85f664e View commit details
    Browse the repository at this point in the history

  8. update 'stdja{,book}.satyh' about row variables in records

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    58724e5 View commit details
    Browse the repository at this point in the history

  9. update 'stdja{,book}.satyh' about optional fields

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    4d2b3fe View commit details
    Browse the repository at this point in the history

  10. update 'stdja{,book}.satyh' about optional fields (2)

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    0d11002 View commit details
    Browse the repository at this point in the history

  11. update tests for the parser

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    0fee4d4 View commit details
    Browse the repository at this point in the history

  12. extend the syntax of optional fields about row variables

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    5a84c4e View commit details
    Browse the repository at this point in the history

  13. fix 'doc/' about configuration options of documents

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    ef59b13 View commit details
    Browse the repository at this point in the history

  14. fix 'staged1.saty'

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    a1a55f5 View commit details
    Browse the repository at this point in the history

  15. fix 'images/test.saty'

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    6c3ed5e View commit details
    Browse the repository at this point in the history

  16. refactor 'images/test.saty'

    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    5284913 View commit details
    Browse the repository at this point in the history

  17. Merge pull request #348 from gfngfn/dev-0-1-0-use-row-variable 

    Use row variables in signatures
    @gfngfn
    gfngfn committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    f8ec408 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2022

  1. fix 'stdjareport.satyh' for 0.1.0

    @gfngfn
    gfngfn committed Aug 28, 2022
    Configuration menu
    Copy the full SHA
    9f44875 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2022

  1. Merge pull request #349 from gfngfn/dev-0-1-0-fix-stdjareport 

    Fix `stdjareport.satyh` for 0.1.0
    @gfngfn
    gfngfn committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    c79833f View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2022

  1. remove 'EnvType'

    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    a9394bf View commit details
    Browse the repository at this point in the history

  2. modify the 'graphics' type so that previous values of type 'graphics … 

    …list' will be assigned 'graphics'
    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    7052917 View commit details
    Browse the repository at this point in the history

  3. fix types of primitives

    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    7279379 View commit details
    Browse the repository at this point in the history

  4. fix graphics designations in packages

    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    e56c5e3 View commit details
    Browse the repository at this point in the history

  5. temporarily insert messages to 'get_graphics'

    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    401a66c View commit details
    Browse the repository at this point in the history

  6. fix 'tabular' about graphics

    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    77c48fc View commit details
    Browse the repository at this point in the history

  7. merge 'master' (about supporting TTC math fonts)

    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    6ab3dea View commit details
    Browse the repository at this point in the history

  8. Merge branch 'dev-0-1-0' into dev-0-1-0-modify-graphics-type

    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    55d968f View commit details
    Browse the repository at this point in the history

  9. fix 'doc/' etc. about graphics

    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    e691e27 View commit details
    Browse the repository at this point in the history

  10. fix 'tests/' etc. about graphics

    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    dbb172d View commit details
    Browse the repository at this point in the history

  11. fix 'stdjareport.satyh' about graphics

    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    8abdbd1 View commit details
    Browse the repository at this point in the history

  12. Merge pull request #351 from gfngfn/dev-0-1-0-modify-graphics-type 

    modify the `graphics` type
    @gfngfn
    gfngfn committed Sep 10, 2022
    Configuration menu
    Copy the full SHA
    49e1dcc View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2022

  1. refactor 'GraphicD' and 'GraphicBase'

    @gfngfn
    gfngfn committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    d216c2e View commit details
    Browse the repository at this point in the history

  2. refactor 'GraphicD' and 'GraphicBase' (2)

    @gfngfn
    gfngfn committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    f8ec866 View commit details
    Browse the repository at this point in the history

  3. refactor 'GraphicD' and 'GraphicBase' (3)

    @gfngfn
    gfngfn committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    6824d6e View commit details
    Browse the repository at this point in the history

  4. refactor 'GraphicD' and 'GraphicBase' (4)

    @gfngfn
    gfngfn committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    ee04ae9 View commit details
    Browse the repository at this point in the history

  5. abandon 'Rectangle' and merge it into 'GeneralPath'

    @gfngfn
    gfngfn committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    b69289d View commit details
    Browse the repository at this point in the history

  6. cosmetic changes

    @gfngfn
    gfngfn committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    6e2e136 View commit details
    Browse the repository at this point in the history

  7. Merge pull request #352 from gfngfn/dev-0-1-0-refactor-graphics-modules 

    Refactor graphics modules
    @gfngfn
    gfngfn committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    dd5ad0a View commit details
    Browse the repository at this point in the history

  8. refactor 'evalUtil.ml' and 'vminst.ml' about graphics

    @gfngfn
    gfngfn committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    3b74751 View commit details
    Browse the repository at this point in the history

  9. Merge pull request #353 from gfngfn/dev-0-1-0-refactor-graphics-modules 

    Refactor `evalUtil.ml` and `vminst.ml` about graphics
    @gfngfn
    gfngfn committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    5a883a6 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2022

  1. begin to change the semantics of math commands

    @gfngfn
    gfngfn committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    d628b09 View commit details
    Browse the repository at this point in the history

  2. begin to separate 'math-text' and 'math-boxes'

    @gfngfn
    gfngfn committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    e07600d View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2022

  1. begin to embed contexts in math-boxes values

    @gfngfn
    gfngfn committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    4fb811a View commit details
    Browse the repository at this point in the history

  2. remove code about 'MathBoxChangeContext' etc.

    @gfngfn
    gfngfn committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    e80e2e2 View commit details
    Browse the repository at this point in the history

  3. make 'math-frac' take contexts

    @gfngfn
    gfngfn committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    93b561e View commit details
    Browse the repository at this point in the history

  4. make 'math-sub' take contexts

    @gfngfn
    gfngfn committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    40da92c View commit details
    Browse the repository at this point in the history

  5. make 'math-sup' take contexts

    @gfngfn
    gfngfn committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    0fc4772 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2022

  1. refactor 'low_math' about superscripts

    @gfngfn
    gfngfn committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    402afbb View commit details
    Browse the repository at this point in the history

  2. refactor 'MathBoxGroup' etc.

    @gfngfn
    gfngfn committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    b1bc4a9 View commit details
    Browse the repository at this point in the history

  3. make 'math-lower' and 'math-upper' take contexts

    @gfngfn
    gfngfn committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    6b21c15 View commit details
    Browse the repository at this point in the history

  4. begin to change how to represent maths in ASTs

    @gfngfn
    gfngfn committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    cb6abef View commit details
    Browse the repository at this point in the history

  5. add primitive 'read-math'

    @gfngfn
    gfngfn committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    adb7f8f View commit details
    Browse the repository at this point in the history

  6. update 'math.satyh' etc.

    @gfngfn
    gfngfn committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    3cc0d3e View commit details
    Browse the repository at this point in the history

  7. develop 'interpret_pdf_mode_intermediate_input_math' etc.

    @gfngfn
    gfngfn committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    565ec3d View commit details
    Browse the repository at this point in the history

  8. develop 'map_input_math' etc.

    @gfngfn
    gfngfn committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    b1908f7 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2022

  1. fix 'proof.satyh' etc.

    @gfngfn
    gfngfn committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    f4983e7 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2022

  1. change how to represent 'math-text' values

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    a2b1e97 View commit details
    Browse the repository at this point in the history

  2. small fix

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    31c75ae View commit details
    Browse the repository at this point in the history

  3. support 'InputMathValueChar'

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    b703567 View commit details
    Browse the repository at this point in the history

  4. small fix

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    6ada125 View commit details
    Browse the repository at this point in the history

  5. make 'interpret_1' support 'LambdaMath'

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    1f9cc5f View commit details
    Browse the repository at this point in the history

  6. make 'reduce_beta' take '~msg'

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    9c94168 View commit details
    Browse the repository at this point in the history

  7. fix the formalization of 'LambdaMath'

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    a7b629b View commit details
    Browse the repository at this point in the history

  8. update the parser test

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    1488705 View commit details
    Browse the repository at this point in the history

  9. fix 'demo/local.satyh' etc.

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    e17f3df View commit details
    Browse the repository at this point in the history

  10. support 'val math \foo x_1 ... x_n with sub sup = e'

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    d64c7cc View commit details
    Browse the repository at this point in the history

  11. make 'math-paren' take contexts

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    1aa87da View commit details
    Browse the repository at this point in the history

  12. FIRST SUCCESS in typesetting 'demo.saty'

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    f4c2859 View commit details
    Browse the repository at this point in the history

  13. fix how to evaluate pull-in scripts

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    6fc339e View commit details
    Browse the repository at this point in the history

  14. fix 'doc/'

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    40404c3 View commit details
    Browse the repository at this point in the history

  15. fix 'refactor5.saty'

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    1e3d4ad View commit details
    Browse the repository at this point in the history

  16. remove some commented out code

    @gfngfn
    gfngfn committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    9c16d1d View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2022

  1. remove some code that is no longer necessary

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    69ec04c View commit details
    Browse the repository at this point in the history

  2. refactor 'MathBoxPure' etc.

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    3542049 View commit details
    Browse the repository at this point in the history

  3. refactor 'MathBoxRadical' etc.

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    db8b9d2 View commit details
    Browse the repository at this point in the history

  4. refactor 'LowMathRadical' and 'LowMathParen'

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    3cef452 View commit details
    Browse the repository at this point in the history

  5. refactor 'LowMathPure' etc.

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    cfdc473 View commit details
    Browse the repository at this point in the history

  6. refactor 'LowMathPure' etc. (2)

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    5a6ac34 View commit details
    Browse the repository at this point in the history

  7. make 'math-paren-with-middle' take contexts

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    7f94b0c View commit details
    Browse the repository at this point in the history

  8. refactor 'low_math_atom' etc.

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    af85a4c View commit details
    Browse the repository at this point in the history

  9. remove unnecessary definitions

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    686820d View commit details
    Browse the repository at this point in the history

  10. rename 'UTMath' to 'UTInputMath'

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    f0440e2 View commit details
    Browse the repository at this point in the history

  11. begin to change how to represent inline texts internally

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    660a015 View commit details
    Browse the repository at this point in the history

  12. introduce 'LambdaHorz', 'UTLambdaHorzCommand', etc.

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    a8d4649 View commit details
    Browse the repository at this point in the history

  13. re-support embedded maths and code areas

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    03692d3 View commit details
    Browse the repository at this point in the history

  14. update the parser tests

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    532989f View commit details
    Browse the repository at this point in the history

  15. slight refactoring

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    191f704 View commit details
    Browse the repository at this point in the history

  16. introduce 'InputVertApplyCommand' etc.

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    e1cc34c View commit details
    Browse the repository at this point in the history

  17. change how to represent 'block-text' values

    @gfngfn
    gfngfn committed Sep 17, 2022
    Configuration menu
    Copy the full SHA
    05d1bec View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2022

  1. make text-mode contexts track math/code commands

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    0849ae0 View commit details
    Browse the repository at this point in the history

  2. make the text mode support math/code commands

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    1f6b4c2 View commit details
    Browse the repository at this point in the history

  3. add primitive 'stringify-math'

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    72d0daf View commit details
    Browse the repository at this point in the history

  4. add a test for the text mode

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    ab95ba4 View commit details
    Browse the repository at this point in the history

  5. enable 'enter_script' again

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    32a599e View commit details
    Browse the repository at this point in the history

  6. remove 'FontInfo.actual_math_font_size'

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    3e34f6a View commit details
    Browse the repository at this point in the history

  7. assign 'math-{sub,sup,lower,upper}' type 'tCTX @-> tMB @-> (tCTX @-> … 

    …tMB) @-> tMB'
    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    39b5478 View commit details
    Browse the repository at this point in the history

  8. separate 'text_mode_context_sub' from 'context_sub'

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    3949d54 View commit details
    Browse the repository at this point in the history

  9. support the conversion of sub/superscripts in the text mode

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    b69da9b View commit details
    Browse the repository at this point in the history

  10. Merge pull request #354 from gfngfn/dev-0-1-0-change-semantics-of-mat… 

    …h-commands

Change the semantics of math commands
    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    1533e4c View commit details
    Browse the repository at this point in the history

  11. change the definition of the 'paren' type

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    058160a View commit details
    Browse the repository at this point in the history

  12. fix 'doc/paren.satyh' etc.

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    4056d22 View commit details
    Browse the repository at this point in the history

  13. fix 'proof.satyh' etc.

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    e65d79e View commit details
    Browse the repository at this point in the history

  14. Merge pull request #355 from gfngfn/dev-0-1-0-change-paren 

    Change the definition of the `paren` type
    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    9702acf View commit details
    Browse the repository at this point in the history

  15. change the type of 'set-math-variant-char'

    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    dbb514e View commit details
    Browse the repository at this point in the history

  16. add math char classes 'MathSansSerif' etc. by using PR #163 as a refe… 

    …rence
    @gfngfn
    gfngfn committed Sep 18, 2022
    Configuration menu
    Copy the full SHA
    4a8dec6 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2022

  1. Merge pull request #356 from gfngfn/dev-0-1-0-more-math-classes 

    More math classes
    @gfngfn
    gfngfn committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    de1e395 View commit details
    Browse the repository at this point in the history

  2. remove unnecessary code

    @gfngfn
    gfngfn committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    ac7689b View commit details
    Browse the repository at this point in the history

  3. rename 'get_{horz,vert}' to 'get_{horz,vert}_boxes'

    @gfngfn
    gfngfn committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    690f161 View commit details
    Browse the repository at this point in the history

  4. separate 'MathKernScheme' from 'FontInfo'

    @gfngfn
    gfngfn committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    03065a5 View commit details
    Browse the repository at this point in the history

  5. refactor 'FontInfo' and 'MathContext'

    @gfngfn
    gfngfn committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    ab5a9e4 View commit details
    Browse the repository at this point in the history

  6. refactor 'FontInfo' and 'Context'

    @gfngfn
    gfngfn committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    3329996 View commit details
    Browse the repository at this point in the history

  7. replace 'math_context' with 'input_context'

    @gfngfn
    gfngfn committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    32c21d7 View commit details
    Browse the repository at this point in the history

  8. refactor 'horzBox.ml'

    @gfngfn
    gfngfn committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    06af800 View commit details
    Browse the repository at this point in the history

  9. refactor 'horzBox.ml' and 'lengthInterface.ml'

    @gfngfn
    gfngfn committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    c582c48 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2022

  1. refactor 'PHCInnerString' and 'PHCInnerMathGlyph'

    @gfngfn
    gfngfn committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    76a85c5 View commit details
    Browse the repository at this point in the history

  2. refactor 'PHS{Outer,Fixed}Empty'

    @gfngfn
    gfngfn committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    1a0bf53 View commit details
    Browse the repository at this point in the history

  3. refactor 'PHG{Inner,Outer,Fixed}Frame'

    @gfngfn
    gfngfn committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    d60cbb6 View commit details
    Browse the repository at this point in the history

  4. refactor 'PHGEmbeddedVert' and 'PHGFixedGraphics'

    @gfngfn
    gfngfn committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    8180ed0 View commit details
    Browse the repository at this point in the history

  5. refactor 'PHGFixedTabular' and 'PHGFixedImage'

    @gfngfn
    gfngfn committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    75adee6 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2022

  1. refactor 'LBAtom'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    81fa18e View commit details
    Browse the repository at this point in the history

  2. refactor 'convertText.ml'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    29ee6ee View commit details
    Browse the repository at this point in the history

  3. refactor 'LB{Rising,OuterFrame,FixedFrame}'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    cae7549 View commit details
    Browse the repository at this point in the history

  4. refactor 'LB{EmbeddedVert,FixedTabular,FixedImage,{Fixed,OuterFil}Gra… 

    …phics}'
    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    9ae22e8 View commit details
    Browse the repository at this point in the history

  5. refactor 'HorzDiscretionary'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    641b0bd View commit details
    Browse the repository at this point in the history

  6. refactor 'HorzFrameBreakable'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    8d18241 View commit details
    Browse the repository at this point in the history

  7. refactor 'HorzScriptGuard'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    80ad5be View commit details
    Browse the repository at this point in the history

  8. refactor 'LBDiscretionary'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    caef8f9 View commit details
    Browse the repository at this point in the history

  9. refactor 'LBDiscretionaryList'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    429a7ac View commit details
    Browse the repository at this point in the history

  10. refactor 'LBFrameBreakable' etc.

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    53f3064 View commit details
    Browse the repository at this point in the history

  11. refactor 'LBEmbeddedVertBreakable'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    c6cc25a View commit details
    Browse the repository at this point in the history

  12. refactor 'intermediate_horz_box'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    be6c6aa View commit details
    Browse the repository at this point in the history

  13. refactor 'evaled_horz_box_main'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    aef963c View commit details
    Browse the repository at this point in the history

  14. rename some fields

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    28f1158 View commit details
    Browse the repository at this point in the history

  15. arrange 'Context'

    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    6d2a1b5 View commit details
    Browse the repository at this point in the history

  16. Merge pull request #357 from gfngfn/dev-0-1-0-refactor 

    Refactor `horz_box` etc.
    @gfngfn
    gfngfn committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    e6b07be View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2022

  1. enable more warnings

    @leque
    leque committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    a3cf74f View commit details
    Browse the repository at this point in the history

  2. fix (alert deprecated): module Stdlib.Pervasives

    @leque
    leque committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    8ff479a View commit details
    Browse the repository at this point in the history

  3. fix (warning 39 [unused-rec-flag])

    @leque
    leque committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    928b340 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2022

  1. fix (warning 33 [unused-open])

    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    2d2f74a View commit details
    Browse the repository at this point in the history

  2. fix (warning 38 [unused-extension]) for crossref.ml 

    `exception InvalidYOJSON` is not used since b9cb92a
    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    8fbfd1f View commit details
    Browse the repository at this point in the history

  3. fix (warning 27 [unused-var-strict])

    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    80e3996 View commit details
    Browse the repository at this point in the history

  4. fix (warning 34 [unused-type-declaration]) for loadMDSetting.ml 

    type `file_path` is not used since 907764b
    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    e2e0cd1 View commit details
    Browse the repository at this point in the history

  5. fix (warning 34 [unused-type-declaration]) for setDefaultFont.ml 

    * type `script` seems not to be used at their birth (ab4b5b7)
* type `dir_path` is not used since 26871d9
* type `file_path` and `key` are not used since 6ed4d06
    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    ba7b601 View commit details
    Browse the repository at this point in the history

  6. fix (warning 34 [unused-type-declaration]) for fontFormat.ml 

    type `indirect` is not used at their birth (e020b77)
    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    86d5ede View commit details
    Browse the repository at this point in the history

  7. fix (warning 34 [unused-type-declaration]) for fontFormat.ml 

    types `predefined_encoding`, `encoding`, `differences`, `matrix` were
used in module `Type1Scheme_`, `Type3`, ...,
but they are commented out at 873254e
    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    5f91970 View commit details
    Browse the repository at this point in the history

  8. fix (warning 34 [unused-type-declaration]) for convertText.ml 

    type `chunk_info` is not used at their birth (c866933)
    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    ad9d72e View commit details
    Browse the repository at this point in the history

  9. fix (warning 9 [missing-record-field-pattern])

    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    b173848 View commit details
    Browse the repository at this point in the history

  10. fix (warning 6 [labels-omitted])

    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    b96a22d View commit details
    Browse the repository at this point in the history

  11. (partially) fix (warning 32 [unused-value-declaration])

    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    9413dff View commit details
    Browse the repository at this point in the history

  12. suppress (warning 37 [unused-constructor])

    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    c588b30 View commit details
    Browse the repository at this point in the history

  13. suppress (warning 32 [unused-value-declaration]) for graphicD.ml

    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    2cbe681 View commit details
    Browse the repository at this point in the history

  14. re-disable a warning 32 [unused-value-declaration]

    @leque
    leque committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    4e3fa8f View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2022

  1. Merge pull request #360 from leque/enable-more-warnings 

    Enable more warnings for 0.1.0 branch
    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    cfedd61 View commit details
    Browse the repository at this point in the history

  2. refactor 'main.ml' for resolving warnings of type 'line'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    1be950b View commit details
    Browse the repository at this point in the history

  3. cosmetic changes on 'fontFormat.ml'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    f79b559 View commit details
    Browse the repository at this point in the history

  4. remove 'LowMathList'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    100caa2 View commit details
    Browse the repository at this point in the history

  5. remove some unnecessary arguments in 'math.ml'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    458bcd6 View commit details
    Browse the repository at this point in the history

  6. remove unused 'Length.show' and modify 'Length.pp'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    5d5b847 View commit details
    Browse the repository at this point in the history

  7. remove unused 'Dummy' of 'SubsetMap.t'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    a1b9c43 View commit details
    Browse the repository at this point in the history

  8. omit unused values (in response to warning 32)

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    c50be86 View commit details
    Browse the repository at this point in the history

  9. Merge pull request #361 from gfngfn/dev-0-1-0-resolve-warnings 

    Resolve warnings
    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    74dac0e View commit details
    Browse the repository at this point in the history

  10. rename 'ctrlseq_name' to 'command_name'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    5337318 View commit details
    Browse the repository at this point in the history

  11. remove 'UTStringEmpty'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    fb9af2b View commit details
    Browse the repository at this point in the history

  12. rename constructors of 'base_type'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    b352ee2 View commit details
    Browse the repository at this point in the history

  13. rename constructors '{Mono,Poly}OR...' to '{Mono,Poly}Row...'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    08d2591 View commit details
    Browse the repository at this point in the history

  14. rename constructors '...{Horz,Vert}Command...' to '...{Inline,Block}C… 

    …ommand...'
    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    c1b8012 View commit details
    Browse the repository at this point in the history

  15. rename constructors '...{Horz,Vert}MacroType' to '...{Inline,Block}Ma… 

    …croType' (with bugs fixed)
    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    639315a View commit details
    Browse the repository at this point in the history

  16. promote the parser tests

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    ab9279f View commit details
    Browse the repository at this point in the history

  17. rename some constructors of 'untyped_binding_main'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    e35f54d View commit details
    Browse the repository at this point in the history

  18. rename 'InputHorz' to 'InlineText' etc.

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    6a155af View commit details
    Browse the repository at this point in the history

  19. rename 'InputHorzValue' to 'InlineTextValue' etc.

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    dc448af View commit details
    Browse the repository at this point in the history

  20. rename 'CdInputHorz' to 'CdInlineText' etc.

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    f1cf443 View commit details
    Browse the repository at this point in the history

  21. rename 'LexHorz' to 'PrimitiveReadInline' etc.

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    c2a67dd View commit details
    Browse the repository at this point in the history

  22. rename 'BCHorz' to 'BCInlineBoxes' etc.

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    67980a1 View commit details
    Browse the repository at this point in the history

  23. rename 'LambdaHorz' to 'LambdaInline' etc.

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    ffe477b View commit details
    Browse the repository at this point in the history

  24. rename 'MathEmbeddedHorz' to 'MathEmbeddedInline'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    73782d5 View commit details
    Browse the repository at this point in the history

  25. rename 'input_horz_value_element' and its constructors to 'inline_tex… 

    …t_value_element' etc.
    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    fa9da81 View commit details
    Browse the repository at this point in the history

  26. rename '{horz,vert}_command_closure' to '{inline,block}_command_closure'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    7e6396b View commit details
    Browse the repository at this point in the history

  27. rename 'InlineTextValueText' to 'InlineTextValueString'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    9ccb888 View commit details
    Browse the repository at this point in the history

  28. rename 'input_horz_element' and its constructors to 'inline_text_elem… 

    …ent' etc.
    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    b9090a4 View commit details
    Browse the repository at this point in the history

  29. rename 'input_vert_element' and its constructors to 'block_text_eleme… 

    …nt' etc.
    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    e659f59 View commit details
    Browse the repository at this point in the history

  30. rename 'untyped_input_horz_element' and its constructors to 'untyped_… 

    …inline_text_element' etc.
    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    1f6fd5b View commit details
    Browse the repository at this point in the history

  31. rename 'untyped_input_vert_element' and its constructors to 'untyped_… 

    …block_text_element' etc.
    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    3fb86c5 View commit details
    Browse the repository at this point in the history

  32. rename '...InputMath...' into '...MathText...'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    df391eb View commit details
    Browse the repository at this point in the history

  33. rename some functions in 'evaluator.cppo.ml'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    2147f63 View commit details
    Browse the repository at this point in the history

  34. refactor 'typecheck_{inline,block}_text'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    2c4ae0b View commit details
    Browse the repository at this point in the history

  35. disable datatypes for the SECD machine

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    0e3d61a View commit details
    Browse the repository at this point in the history

  36. slight updates

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    ec2607a View commit details
    Browse the repository at this point in the history

  37. rename IR/VM-related types (from 'InputHorz' to 'InlineText' etc.)

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    563bb1f View commit details
    Browse the repository at this point in the history

  38. rename constructors for primitives

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    cb3b21e View commit details
    Browse the repository at this point in the history

  39. rename some functions and constructors in 'lexer.mll' and 'typeError.ml'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    cff2a0b View commit details
    Browse the repository at this point in the history

  40. rename some functions and constructors in 'math.ml' and 'typeError.ml'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    7c4943c View commit details
    Browse the repository at this point in the history

  41. rename some functions and constructors in 'evalUtil.ml'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    af65d76 View commit details
    Browse the repository at this point in the history

  42. update the parser tests

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    d98a5bb View commit details
    Browse the repository at this point in the history

  43. Merge pull request #362 from gfngfn/dev-0-1-0-refactor-by-renaming 

    Refactoring by renaming
    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    01e673d View commit details
    Browse the repository at this point in the history

  44. merge 'master'

    @gfngfn
    gfngfn committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    d595cd5 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2022

  1. refactor the implementation of the typechecker into monadic one

    @gfngfn
    gfngfn committed Oct 9, 2022
    Configuration menu
    Copy the full SHA
    414d62f View commit details
    Browse the repository at this point in the history

  2. introduce 'unification_error'

    @gfngfn
    gfngfn committed Oct 9, 2022
    Configuration menu
    Copy the full SHA
    39b26db View commit details
    Browse the repository at this point in the history

  3. improve type error reports by using 'unification_error'

    @gfngfn
    gfngfn committed Oct 9, 2022
    Configuration menu
    Copy the full SHA
    4c9b11d View commit details
    Browse the repository at this point in the history

  4. slight fixing of type error messages

    @gfngfn
    gfngfn committed Oct 9, 2022
    Configuration menu
    Copy the full SHA
    c0781f2 View commit details
    Browse the repository at this point in the history

  5. fix how to display rows

    @gfngfn
    gfngfn committed Oct 9, 2022
    Configuration menu
    Copy the full SHA
    500b25e View commit details
    Browse the repository at this point in the history

  6. develop how to report type errors about rows

    @gfngfn
    gfngfn committed Oct 9, 2022
    Configuration menu
    Copy the full SHA
    6efad2d View commit details
    Browse the repository at this point in the history

  7. slightly arrange how to print record types

    @gfngfn
    gfngfn committed Oct 9, 2022
    Configuration menu
    Copy the full SHA
    a6067f2 View commit details
    Browse the repository at this point in the history

  8. develop how to report type errors about rows (2)

    @gfngfn
    gfngfn committed Oct 9, 2022
    Configuration menu
    Copy the full SHA
    768dd23 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2022

  1. replace 'let+' with 'let*', a more conventional operator for the mona… 

    …dic binding
    @gfngfn
    gfngfn committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    640bbf2 View commit details
    Browse the repository at this point in the history

  2. remove the confusing alias 'unify' for 'unify_sub'

    @gfngfn
    gfngfn committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    b231dc8 View commit details
    Browse the repository at this point in the history

  3. update TODO comments

    @gfngfn
    gfngfn committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    370d6cf View commit details
    Browse the repository at this point in the history

  4. Merge pull request #364 from gfngfn/dev-0-1-0-refactor-typechecker-in… 

    …to-monadic

Refactor the implementation of the typechecker into monadic one
    @gfngfn
    gfngfn committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    64f6887 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2022

  1. re-enable candidate search on type error reporting

    @gfngfn
    gfngfn committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    95cf746 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev-0-1-0' into dev-0-1-0-re-enable-candidate-search

    @gfngfn
    gfngfn committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    c674692 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #366 from gfngfn/dev-0-1-0-re-enable-candidate-search 

    Re-enable candidate search
    @gfngfn
    gfngfn committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    ba8b3f8 View commit details
    Browse the repository at this point in the history

  4. merge 'master' with conflicts fixed

    @gfngfn
    gfngfn committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    00eaecc View commit details
    Browse the repository at this point in the history

  5. remove exceptions that are no longer necessary

    @gfngfn
    gfngfn committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    abc46e3 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2022

  1. separate 'Unification' from 'Typechecker'

    @gfngfn
    gfngfn committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    9bad9b0 View commit details
    Browse the repository at this point in the history

  2. move some definitions such as 'decode_manual_type' within 'typechecke… 

    …r.ml'
    @gfngfn
    gfngfn committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    c04922c View commit details
    Browse the repository at this point in the history

  3. move some definitions such as 'add_to_type_environment_by_signature' … 

    …within 'typechecker.ml'
    @gfngfn
    gfngfn committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    7531eb2 View commit details
    Browse the repository at this point in the history

  4. separate 'SignatureSubtyping' from 'Typechecker' and add 'typeConv.mli'

    @gfngfn
    gfngfn committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    a6be049 View commit details
    Browse the repository at this point in the history

  5. remove unused definitions in 'typeConv.ml'

    @gfngfn
    gfngfn committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    13b3950 View commit details
    Browse the repository at this point in the history

  6. separate 'ManualTypeDecoder' and 'ModuleTypechecker' from 'Typechecker'

    @gfngfn
    gfngfn committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    5f8621e View commit details
    Browse the repository at this point in the history

  7. add comments to some functions

    @gfngfn
    gfngfn committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    7a44896 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2022

  1. slight fixing and addition of doc comments

    @gfngfn
    gfngfn committed Oct 20, 2022
    Configuration menu
    Copy the full SHA
    d6307c4 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2022

  1. Merge pull request #367 from gfngfn/dev-0-1-0-refactor-by-dividing-ty… 

    …pechecker

Refactor `typechecker.ml` by dividing it
    @gfngfn
    gfngfn committed Oct 21, 2022
    Configuration menu
    Copy the full SHA
    a572a29 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2022

  1. merge 'master' about replacing 'Otfm' with 'Otfed'

    @gfngfn
    gfngfn committed Oct 22, 2022
    Configuration menu
    Copy the full SHA
    e5624fd View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2022

  1. use qualified compare

    @leque
    leque committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    ed793db View commit details
    Browse the repository at this point in the history

  2. prefer Int.compare to a - b

    @leque
    leque committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    da1271f View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2022

  1. Merge pull request #371 from leque/int-compare 

    replace `let compare a b = a - b` with `Int.compare`
    @gfngfn
    gfngfn committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    4b84ebf View commit details
    Browse the repository at this point in the history

Commits on May 25, 2023

  1. merge 'master' with conflicts fixed

    @gfngfn
    gfngfn committed May 25, 2023
    Configuration menu
    Copy the full SHA
    d0a805f View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. merge master with slight conflicts fixed

    @gfngfn
    gfngfn committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    7fe53a5 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. normalized strings

    @puripuri2100
    puripuri2100 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    eefe84d View commit details
    Browse the repository at this point in the history

  2. add string seg function

    @puripuri2100
    puripuri2100 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    9dc28a3 View commit details
    Browse the repository at this point in the history

  3. buf fix of segmentation text function

    @puripuri2100
    puripuri2100 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    d10e873 View commit details
    Browse the repository at this point in the history

  4. rename module and add split_utf16be

    @puripuri2100
    puripuri2100 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    61c237d View commit details
    Browse the repository at this point in the history

  5. rename to split-grapheme-cluster

    @puripuri2100
    puripuri2100 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    c9b6c45 View commit details
    Browse the repository at this point in the history

  6. add test

    @puripuri2100
    puripuri2100 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    6c296ef View commit details
    Browse the repository at this point in the history

  7. update dune

    @puripuri2100
    puripuri2100 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    163ffd3 View commit details
    Browse the repository at this point in the history

  8. add normalize string primitive

    @puripuri2100
    puripuri2100 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    d8a14f4 View commit details
    Browse the repository at this point in the history

  9. update test

    @puripuri2100
    puripuri2100 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    3a45418 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2024

  1. Merge pull request #417 from puripuri2100/dev-0-1-0-string 

    Add split-grapheme-cluster and string normalization function
    @gfngfn
    gfngfn committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    e9bf9bb View commit details
    Browse the repository at this point in the history

  2. slight fixups

    @gfngfn
    gfngfn committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    90e4ee8 View commit details
    Browse the repository at this point in the history

  3. merge master

    @gfngfn
    gfngfn committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    0ec4e42 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into dev-0-1-0

    @gfngfn
    gfngfn committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    f926431 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. merge master with slight conflicts fixed

    @gfngfn
    gfngfn committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    0ef1377 View commit details
    Browse the repository at this point in the history

  2. re-add --with-test

    @gfngfn
    gfngfn committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    fe2c74f View commit details
    Browse the repository at this point in the history

  3. restrict OCaml's version for an issue about installing uunf

    @gfngfn
    gfngfn committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    c1fae25 View commit details
    Browse the repository at this point in the history