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

Constant folding #45

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

Constant folding #45

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

Commits on Dec 12, 2022

  1. wip complexifyValue

    @morganthomas
    morganthomas committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    add2ed0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'fkv' of github.com:CasperAssociation/osl into fkv

    @morganthomas
    morganthomas committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    2670eae View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2022

  1. wip complexifyValue

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    ca3d73a View commit details
    Browse the repository at this point in the history

  2. complexifyValue

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    4453e39 View commit details
    Browse the repository at this point in the history

  3. wip simplify type tests

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    0487fd4 View commit details
    Browse the repository at this point in the history

  4. wip Sudoku witness generation

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    9aeb10d View commit details
    Browse the repository at this point in the history

  5. wip sudoku satisfaction test

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    d392245 View commit details
    Browse the repository at this point in the history

  6. refactor: introduce loadContext

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    9ae6665 View commit details
    Browse the repository at this point in the history

  7. wip sudoku satisfaction test case

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    be3c105 View commit details
    Browse the repository at this point in the history

  8. wip debug evaluation

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    4db9b50 View commit details
    Browse the repository at this point in the history

  9. improve complexifyValue error reporting

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    230f783 View commit details
    Browse the repository at this point in the history

  10. fix Sudoku example solution

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    5936539 View commit details
    Browse the repository at this point in the history

  11. fix type error

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    f132acd View commit details
    Browse the repository at this point in the history

  12. fix evaluation bug

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    3bf2e6c View commit details
    Browse the repository at this point in the history

  13. more specific evaluation errors

    @morganthomas
    morganthomas committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    d212518 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2022

  1. wip reform evaluation

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    1b312ef View commit details
    Browse the repository at this point in the history

  2. fix getDirectSubformulas and getDirectSubformulasWithWitnesses?

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    ec70cd5 View commit details
    Browse the repository at this point in the history

  3. fix non-termination in witness preprocessing?

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    58edf82 View commit details
    Browse the repository at this point in the history

  4. make some fixes to getDirectSubformulas[AndPairedWitnesses] and add i… 

    …nfinite loop detection to preprocessWitness/go
    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    a9284f9 View commit details
    Browse the repository at this point in the history

  5. avoid excessively long error messages

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    10b68f6 View commit details
    Browse the repository at this point in the history

  6. wip

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    56ccb48 View commit details
    Browse the repository at this point in the history

  7. wip re-reform evaluation

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    20e2468 View commit details
    Browse the repository at this point in the history

  8. fix type error

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    c8792e5 View commit details
    Browse the repository at this point in the history

  9. sudoku is satisfied!

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    03fd8b0 View commit details
    Browse the repository at this point in the history

  10. ormolu

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    9251f95 View commit details
    Browse the repository at this point in the history

  11. lint

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    69d8c3c View commit details
    Browse the repository at this point in the history

  12. refactor

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    4ac1fd9 View commit details
    Browse the repository at this point in the history

  13. add failing sudoku test

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    479b64e View commit details
    Browse the repository at this point in the history

  14. getWitnessType local contexts

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    d8cc892 View commit details
    Browse the repository at this point in the history

  15. Prop-valued let in lambda

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    3c44cad View commit details
    Browse the repository at this point in the history

  16. wip check witnesses are in bounds

    @morganthomas
    morganthomas committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    5348875 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2022

  1. check witnesses are in bounds

    @morganthomas
    morganthomas committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    8c3bdb2 View commit details
    Browse the repository at this point in the history

  2. remove old todo

    @morganthomas
    morganthomas committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    6d6fc03 View commit details
    Browse the repository at this point in the history

  3. wip generators

    @morganthomas
    morganthomas committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    7b234fa View commit details
    Browse the repository at this point in the history

  4. wip simplify type property tests

    @morganthomas
    morganthomas committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    313ef08 View commit details
    Browse the repository at this point in the history

  5. limit test complexity

    @morganthomas
    morganthomas committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    18b3557 View commit details
    Browse the repository at this point in the history

  6. ormolu

    @morganthomas
    morganthomas committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    b3a2e9f View commit details
    Browse the repository at this point in the history

  7. lint

    @morganthomas
    morganthomas committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    61939c3 View commit details
    Browse the repository at this point in the history

  8. Merge pull request #22 from CasperAssociation/fkv 

    FKV: Fixes, Sudoku satisfaction tests, and type simplifier property tests
    @morganthomas
    morganthomas authored Dec 15, 2022
    Configuration menu
    Copy the full SHA
    e26ce74 View commit details
    Browse the repository at this point in the history

  9. sigma11 evaluation

    @morganthomas
    morganthomas committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    f6c4b20 View commit details
    Browse the repository at this point in the history

  10. wip argument -> sigma11 argument conversion

    @morganthomas
    morganthomas committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    a852dd2 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2022

  1. wip argument -> sigma11 argument conversion

    @morganthomas
    morganthomas committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    6082d2e View commit details
    Browse the repository at this point in the history

  2. sigma11 evaluation: bounds checking

    @morganthomas
    morganthomas committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    74427ee View commit details
    Browse the repository at this point in the history

  3. wip sudoku sigma11 semantics spec

    @morganthomas
    morganthomas committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    330782b View commit details
    Browse the repository at this point in the history

  4. defaultSigma11Values

    @morganthomas
    morganthomas committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    7d15050 View commit details
    Browse the repository at this point in the history

  5. wip sudoku sigma11 semantics spec

    @morganthomas
    morganthomas committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    66c9097 View commit details
    Browse the repository at this point in the history

  6. auxTablesToEvalContext

    @morganthomas
    morganthomas committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    60b4fbb View commit details
    Browse the repository at this point in the history

  7. incorporate default values in maybe-valued functions in sigma11 argum… 

    …ent conversion
    @morganthomas
    morganthomas committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    a018dfc View commit details
    Browse the repository at this point in the history

  8. set first-order values to cardinality 1

    @morganthomas
    morganthomas committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    9add0ca View commit details
    Browse the repository at this point in the history

  9. uncross some wires

    @morganthomas
    morganthomas committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    57c71f7 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2022

  1. sigma11 formula for sudoku

    @morganthomas
    morganthomas committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    9982a0b View commit details
    Browse the repository at this point in the history

  2. wip fix witness processing in sigma11 formula evaluation

    @morganthomas
    morganthomas committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    06cdde8 View commit details
    Browse the repository at this point in the history

  3. wip fix witness processing in sigma11 formula evaluation

    @morganthomas
    morganthomas committed Dec 19, 2022
    Configuration menu
    Copy the full SHA
    b257850 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2022

  1. wip toSigma11ValueTree

    @morganthomas
    morganthomas committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    8f69757 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2022

  1. wip toSigma11ValueTree (second attempt)

    @morganthomas
    morganthomas committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    1e0d0a2 View commit details
    Browse the repository at this point in the history

  2. wip toSigma11ValueTree (second attempt)

    @morganthomas
    morganthomas committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    2ca7d55 View commit details
    Browse the repository at this point in the history

  3. wip toSigma11ValueTree (second attempt)

    @morganthomas
    morganthomas committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    0c9f21f View commit details
    Browse the repository at this point in the history

  4. toSigma11ValueTree: introduce local context and local context mapping… 

    …, to support defined predicates in let expressions
    @morganthomas
    morganthomas committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    a0b36da View commit details
    Browse the repository at this point in the history

  5. toSigma11ValueTree: support props in let expressions

    @morganthomas
    morganthomas committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    e8bf8b5 View commit details
    Browse the repository at this point in the history

  6. toSigma11Argument: make tests compile

    @morganthomas
    morganthomas committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    d473cc1 View commit details
    Browse the repository at this point in the history

  7. toSigma11ValueTree: add lambda case

    @morganthomas
    morganthomas committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    b03b63a View commit details
    Browse the repository at this point in the history

  8. more specific error reporting

    @morganthomas
    morganthomas committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    f834c9d View commit details
    Browse the repository at this point in the history

  9. wip debug toSigma11ValueTree

    @morganthomas
    morganthomas committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    0783b18 View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2022

  1. wip debug toSigma11ValueTree

    @morganthomas
    morganthomas committed Dec 26, 2022
    Configuration menu
    Copy the full SHA
    3561d7f View commit details
    Browse the repository at this point in the history

  2. wip debug Sudoku example sigma11 translation

    @morganthomas
    morganthomas committed Dec 26, 2022
    Configuration menu
    Copy the full SHA
    f7b8cd5 View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2022

  1. wip debug Sudoku example sigma11 translation

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    00d05db View commit details
    Browse the repository at this point in the history

  2. debug Sudoku example sigma11 translation

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    3e653e2 View commit details
    Browse the repository at this point in the history

  3. fix tests

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    6c4e226 View commit details
    Browse the repository at this point in the history

  4. ormolu

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    5e3678a View commit details
    Browse the repository at this point in the history

  5. lint

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    33119d7 View commit details
    Browse the repository at this point in the history

  6. remove trace

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    fedd7fb View commit details
    Browse the repository at this point in the history

  7. remove commented code

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    260eb95 View commit details
    Browse the repository at this point in the history

  8. remove compiler output

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    3766f1a View commit details
    Browse the repository at this point in the history

  9. refactor

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    be283c0 View commit details
    Browse the repository at this point in the history

  10. refactor

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    433ccba View commit details
    Browse the repository at this point in the history

  11. Merge pull request #23 from CasperAssociation/fkv 

    FKV - Sigma11 translation
    @morganthomas
    morganthomas authored Dec 27, 2022
    Configuration menu
    Copy the full SHA
    c14047f View commit details
    Browse the repository at this point in the history

  12. bugfix for computing argument forms: flip negated quantifiers

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    e2da34e View commit details
    Browse the repository at this point in the history

  13. deBruijnToGensymsEvalContext

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    fc847fb View commit details
    Browse the repository at this point in the history

  14. wip gensym sigma11 evaluation

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    4aed927 View commit details
    Browse the repository at this point in the history

  15. wip gensym sigma11 evaluation

    @morganthomas
    morganthomas committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    307311b View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2022

  1. wip gensym sigma11 evaluation

    @morganthomas
    morganthomas committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    cbfb9e3 View commit details
    Browse the repository at this point in the history

  2. gensym sigma11 evaluation

    @morganthomas
    morganthomas committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    392d6d9 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #24 from CasperAssociation/fkv 

    FKV: Sigma11 evaluation, polymorphic in the type of names
    @morganthomas
    morganthomas authored Dec 28, 2022
    Configuration menu
    Copy the full SHA
    a8a6f3f View commit details
    Browse the repository at this point in the history

  4. wip mergeWitnessesConjunctive

    @morganthomas
    morganthomas committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    fe1a5d4 View commit details
    Browse the repository at this point in the history

  5. mergeWitnessesConjunctive

    @morganthomas
    morganthomas committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    f80ab88 View commit details
    Browse the repository at this point in the history

  6. get rid of mergeQuantifiersDisjunctive because it complicates witness… 

    … generation and doesn't add much value since we merge existentials later on
    @morganthomas
    morganthomas committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    bca0d25 View commit details
    Browse the repository at this point in the history

  7. witnessToPrenexNormalForm

    @morganthomas
    morganthomas committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    b833122 View commit details
    Browse the repository at this point in the history

  8. wip codegen stage 3 (prenex normal form) semantics preservation

    @morganthomas
    morganthomas committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    4d915aa View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2022

  1. add debug tracing

    @morganthomas
    morganthomas committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    ebcf3c8 View commit details
    Browse the repository at this point in the history

  2. wip codegen stage 3 (prenex normal form) semantics preservation

    @morganthomas
    morganthomas committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    3091a16 View commit details
    Browse the repository at this point in the history

  3. wip codegen stage 3 (prenex normal form) semantics preservation

    @morganthomas
    morganthomas committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    827c60f View commit details
    Browse the repository at this point in the history

  4. add short circuiting behavior for logical connectives in sigma11 eval… 

    …uation
    @morganthomas
    morganthomas committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    4c9499a View commit details
    Browse the repository at this point in the history

  5. fix conjunctive quantifier merging: and -> implies

    @morganthomas
    morganthomas committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    98e0d47 View commit details
    Browse the repository at this point in the history

  6. remove traces

    @morganthomas
    morganthomas committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    cae7205 View commit details
    Browse the repository at this point in the history

  7. Merge pull request #25 from CasperAssociation/fkv 

    FKV: stage 3 evaluation (prenex normal forms)
    @morganthomas
    morganthomas authored Dec 29, 2022
    Configuration menu
    Copy the full SHA
    8fdfd91 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2023

  1. wip witness generation stage 4 (strong prenex normal form)

    @morganthomas
    morganthomas committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    ff8233b View commit details
    Browse the repository at this point in the history

  2. wip witness generation stage 4 (strong prenex normal form)

    @morganthomas
    morganthomas committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    e859448 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2023

  1. wip witness generation stage 4 (strong prenex normal form)

    @morganthomas
    morganthomas committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    d5a620c View commit details
    Browse the repository at this point in the history

  2. wip witness generation stage 4 (strong prenex normal form)

    @morganthomas
    morganthomas committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    cf6b59f View commit details
    Browse the repository at this point in the history

  3. wip witness generation stage 4 (strong prenex normal form)

    @morganthomas
    morganthomas committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    cb45dfb View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2023

  1. improve sigma11 formula formatting

    @morganthomas
    morganthomas committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    a7e4482 View commit details
    Browse the repository at this point in the history

  2. strong prenex normal form translation bugfix

    @morganthomas
    morganthomas committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    a10a205 View commit details
    Browse the repository at this point in the history

  3. ormolu

    @morganthomas
    morganthomas committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    c38fc41 View commit details
    Browse the repository at this point in the history

  4. lint

    @morganthomas
    morganthomas committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    a256cc4 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #26 from CasperAssociation/fkv 

    FKV: stage 4 evaluation (strong prenex normal forms)
    @morganthomas
    morganthomas authored Jan 5, 2023
    Configuration menu
    Copy the full SHA
    66cc18b View commit details
    Browse the repository at this point in the history

  6. witness generation stage 5 (super strong prenex normal form)

    @morganthomas
    morganthomas committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    f6fa3fc View commit details
    Browse the repository at this point in the history

  7. Merge pull request #27 from CasperAssociation/fkv 

    FKV: witness generation stage 5 (super strong prenex normal form)
    @morganthomas
    morganthomas authored Jan 5, 2023
    Configuration menu
    Copy the full SHA
    288d3a3 View commit details
    Browse the repository at this point in the history

  8. wip circuit semantics

    @morganthomas
    morganthomas committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    75e7ac8 View commit details
    Browse the repository at this point in the history

  9. wip circuit semantics

    @morganthomas
    morganthomas committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    6ee5f00 View commit details
    Browse the repository at this point in the history

  10. wip circuit semantics

    @morganthomas
    morganthomas committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    6dfb030 View commit details
    Browse the repository at this point in the history

  11. wip circuit semantics

    @morganthomas
    morganthomas committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    7d52dd0 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2023

  1. wip circuit semantics

    @morganthomas
    morganthomas committed Jan 8, 2023
    Configuration menu
    Copy the full SHA
    d475adc View commit details
    Browse the repository at this point in the history

  2. wip(?) circuit semantics

    @morganthomas
    morganthomas committed Jan 8, 2023
    Configuration menu
    Copy the full SHA
    2f0ea65 View commit details
    Browse the repository at this point in the history

  3. wip semicircuit to logic circuit argument conversion

    @morganthomas
    morganthomas committed Jan 8, 2023
    Configuration menu
    Copy the full SHA
    f114192 View commit details
    Browse the repository at this point in the history

  4. wip semicircuit to logic circuit argument conversion

    @morganthomas
    morganthomas committed Jan 8, 2023
    Configuration menu
    Copy the full SHA
    9a69c66 View commit details
    Browse the repository at this point in the history

  5. indexedCoproduct -> indexedProduct

    @morganthomas
    morganthomas committed Jan 8, 2023
    Configuration menu
    Copy the full SHA
    0ffb582 View commit details
    Browse the repository at this point in the history

  6. refactor: require term bound in universal quantifiers

    @morganthomas
    morganthomas committed Jan 8, 2023
    Configuration menu
    Copy the full SHA
    c8b623e View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2023

  1. getUniversalTable

    @morganthomas
    morganthomas committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    46d57e6 View commit details
    Browse the repository at this point in the history

  2. wip semicircuit to logic circuit argument conversion

    @morganthomas
    morganthomas committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    c9dbc9e View commit details
    Browse the repository at this point in the history

  3. wip semicircuit to logic circuit argument conversion

    @morganthomas
    morganthomas committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    db08a00 View commit details
    Browse the repository at this point in the history

  4. wip semicircuit to logic circuit semantics preservation

    @morganthomas
    morganthomas committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    13fdca1 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2023

  1. wip semicircuit to logic circuit argument conversion

    @morganthomas
    morganthomas committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    c268b2a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'fkv' of github.com:CasperAssociation/osl into fkv

    @morganthomas
    morganthomas committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    36b5525 View commit details
    Browse the repository at this point in the history

  3. wip semicircuit to logic circuit semantics preservation

    @morganthomas
    morganthomas committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    04e8240 View commit details
    Browse the repository at this point in the history

  4. wip semicircuit to logic circuit semantics preservation

    @morganthomas
    morganthomas committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    bb5ccc6 View commit details
    Browse the repository at this point in the history

  5. wip semicircuit to logic circuit semantics preservation

    @morganthomas
    morganthomas committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    f3c7f14 View commit details
    Browse the repository at this point in the history

  6. label logic constraints

    @morganthomas
    morganthomas committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    0caa84d View commit details
    Browse the repository at this point in the history

  7. semicircuit to logic circuit semantics preservation

    @morganthomas
    morganthomas committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    d4b5fa3 View commit details
    Browse the repository at this point in the history

  8. Merge pull request #28 from CasperAssociation/fkv 

    FKV: Stage 6 (semicircuit to logic circuit) semantics and argument conversion
    @morganthomas
    morganthomas authored Jan 10, 2023
    Configuration menu
    Copy the full SHA
    b12e376 View commit details
    Browse the repository at this point in the history

  9. short circuiting evaluation in trace types

    @morganthomas
    morganthomas committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    44dd757 View commit details
    Browse the repository at this point in the history

  10. add trace type

    @morganthomas
    morganthomas committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    3b7a092 View commit details
    Browse the repository at this point in the history

  11. wip trace semantics

    @morganthomas
    morganthomas committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    259b346 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2023

  1. wip trace semantics

    @morganthomas
    morganthomas committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    7252bb9 View commit details
    Browse the repository at this point in the history

  2. trace semantics

    @morganthomas
    morganthomas committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    92e9625 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2023

  1. wip argumentToTrace

    @morganthomas
    morganthomas committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    650ac28 View commit details
    Browse the repository at this point in the history

  2. wip argumentToTrace

    @morganthomas
    morganthomas committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    65dfc99 View commit details
    Browse the repository at this point in the history

  3. allow subexpression traces to pass in additional advice values

    @morganthomas
    morganthomas committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    c04964a View commit details
    Browse the repository at this point in the history

  4. wip argumentToTrace

    @morganthomas
    morganthomas committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    d54c1cb View commit details
    Browse the repository at this point in the history

  5. wip argumentToTrace

    @morganthomas
    morganthomas committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    1502824 View commit details
    Browse the repository at this point in the history

  6. wip argumentToTrace

    @morganthomas
    morganthomas committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    a57ad35 View commit details
    Browse the repository at this point in the history

  7. wip argumentToTrace

    @morganthomas
    morganthomas committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    92e3d0f View commit details
    Browse the repository at this point in the history

  8. Merge branch 'fkv' of github.com:CasperAssociation/osl into fkv

    @morganthomas
    morganthomas committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    dd6a19b View commit details
    Browse the repository at this point in the history

  9. wip argumentToTrace

    @morganthomas
    morganthomas committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    eaa305e View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2023

  1. wip argumentToTrace

    @morganthomas
    morganthomas committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    d822f24 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'fkv' of github.com:CasperAssociation/osl into fkv

    @morganthomas
    morganthomas committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    6b37f2b View commit details
    Browse the repository at this point in the history

  3. bugfix lookup step types

    @morganthomas
    morganthomas committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    ee9243b View commit details
    Browse the repository at this point in the history

  4. wip argumentToTrace

    @morganthomas
    morganthomas committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    5b489e2 View commit details
    Browse the repository at this point in the history

  5. remove lookup argument support in logic circuit compiler

    @morganthomas
    morganthomas committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    aa3ecf5 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2023

  1. lookupArgumentSubexpressionTraces

    @morganthomas
    morganthomas committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    ab28b0a View commit details
    Browse the repository at this point in the history

  2. wip getLookupCaches

    @morganthomas
    morganthomas committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    c0f76b3 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2023

  1. getLookupTableCache

    @morganthomas
    morganthomas committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    4ceb659 View commit details
    Browse the repository at this point in the history

  2. evalTranslatedFormula7

    @morganthomas
    morganthomas committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    4de4a22 View commit details
    Browse the repository at this point in the history

  3. wip: debug logic circuit -> trace

    @morganthomas
    morganthomas committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    265bfd2 View commit details
    Browse the repository at this point in the history

  4. various byte decomposition fixes

    @morganthomas
    morganthomas committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    c83582b View commit details
    Browse the repository at this point in the history

  5. add comments

    @morganthomas
    morganthomas committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    3a46f15 View commit details
    Browse the repository at this point in the history

  6. wip: debug logic circuit -> trace argument conversion

    @morganthomas
    morganthomas committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    996d8c2 View commit details
    Browse the repository at this point in the history

  7. update sydtest

    @morganthomas
    morganthomas committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    d447ec7 View commit details
    Browse the repository at this point in the history

  8. really update sydtest

    @morganthomas
    morganthomas committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    a5449df View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2023

  1. wip: debug logic circuit argument -> trace conversion

    @morganthomas
    morganthomas committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    2ebd20d View commit details
    Browse the repository at this point in the history

  2. wip debug logic circuit -> trace conversion

    @morganthomas
    morganthomas committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    39dde9c View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2023

  1. refactor: make subexpression links a map, not a set, for faster lookups

    @morganthomas
    morganthomas committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    524d887 View commit details
    Browse the repository at this point in the history

  2. wip refactor sudoku example to compile more simply

    @morganthomas
    morganthomas committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    fdd1979 View commit details
    Browse the repository at this point in the history

  3. make byte decomposition tables as long as the circuit

    @morganthomas
    morganthomas committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    fce2ddd View commit details
    Browse the repository at this point in the history

  4. label polynomials

    @morganthomas
    morganthomas committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    6358269 View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2023

  1. wip debug logic circuit -> trace conversion

    @morganthomas
    morganthomas committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    eab2789 View commit details
    Browse the repository at this point in the history

  2. wip debug logic circuit -> trace conversion

    @morganthomas
    morganthomas committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    799240a View commit details
    Browse the repository at this point in the history

  3. field property tests

    @morganthomas
    morganthomas committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    6e83360 View commit details
    Browse the repository at this point in the history

  4. logic circuit -> trace type: load from different case bugfixes

    @morganthomas
    morganthomas committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    de85cf6 View commit details
    Browse the repository at this point in the history

  5. logic circuit -> trace type: bugfix assert step type

    @morganthomas
    morganthomas committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    e1ade8a View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2023

  1. refactor lookup trace construction

    @morganthomas
    morganthomas committed Jan 22, 2023
    Configuration menu
    Copy the full SHA
    3f96297 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2023

  1. wip debug logic circuit -> trace conversion

    @morganthomas
    morganthomas committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    d357357 View commit details
    Browse the repository at this point in the history

  2. wip debug logic circuit -> trace conversion

    @morganthomas
    morganthomas committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    d36f081 View commit details
    Browse the repository at this point in the history

  3. wip casper ledger spec

    @morganthomas
    morganthomas committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    19b0cb5 View commit details
    Browse the repository at this point in the history

  4. make casper ledger spec compile

    @morganthomas
    morganthomas committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    e366995 View commit details
    Browse the repository at this point in the history

  5. finish spec

    @morganthomas
    morganthomas committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    b712771 View commit details
    Browse the repository at this point in the history

  6. wip Casper program type

    @morganthomas
    morganthomas committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    6f18f2d View commit details
    Browse the repository at this point in the history

  7. Casper program type

    @morganthomas
    morganthomas committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    b849a01 View commit details
    Browse the repository at this point in the history

  8. fix gas

    @morganthomas
    morganthomas committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    7d497fd View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2023

  1. Merge pull request #30 from CasperAssociation/casper 

    Casper OSL specs
    @morganthomas
    morganthomas authored Jan 24, 2023
    Configuration menu
    Copy the full SHA
    79f97f3 View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2023

  1. Merge pull request #29 from CasperAssociation/fkv 

    FKV: stage 7 (trace type) semantics & argument conversion
    @morganthomas
    morganthomas authored Jan 27, 2023
    Configuration menu
    Copy the full SHA
    a8dafbe View commit details
    Browse the repository at this point in the history

  2. comment out failing stage 7 semantics test

    @morganthomas
    morganthomas committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    2976ab5 View commit details
    Browse the repository at this point in the history

  3. wip generics

    @morganthomas
    morganthomas committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    0c0a7bf View commit details
    Browse the repository at this point in the history

  4. wip generics

    @morganthomas
    morganthomas committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    af5ca29 View commit details
    Browse the repository at this point in the history

  5. wip generics

    @morganthomas
    morganthomas committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    c51ee4a View commit details
    Browse the repository at this point in the history

  6. wip generics

    @morganthomas
    morganthomas committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    d66c749 View commit details
    Browse the repository at this point in the history

  7. wip generics

    @morganthomas
    morganthomas committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    537fc7e View commit details
    Browse the repository at this point in the history

  8. wip generics

    @morganthomas
    morganthomas committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    83ef94b View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2023

  1. wip generics

    @morganthomas
    morganthomas committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    8389460 View commit details
    Browse the repository at this point in the history

  2. generics: records with four fields

    @morganthomas
    morganthomas committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    13c4d31 View commit details
    Browse the repository at this point in the history

  3. generics: time of day test

    @morganthomas
    morganthomas committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    fc2163e View commit details
    Browse the repository at this point in the history

  4. generics: local time test

    @morganthomas
    morganthomas committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    4f068b3 View commit details
    Browse the repository at this point in the history

  5. wip generics

    @morganthomas
    morganthomas committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    0841c49 View commit details
    Browse the repository at this point in the history

  6. GAddToOSLContext class

    @morganthomas
    morganthomas committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    57314c0 View commit details
    Browse the repository at this point in the history

  7. wip GAddToOSLContext newtypes

    @morganthomas
    morganthomas committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    8270c57 View commit details
    Browse the repository at this point in the history

  8. wip Sudoku generics

    @morganthomas
    morganthomas committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    a45f3ff View commit details
    Browse the repository at this point in the history

  9. wip Sudoku generics

    @morganthomas
    morganthomas committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    8ac083b View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2023

  1. wip generics

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    31ef712 View commit details
    Browse the repository at this point in the history

  2. ditch generics; Sudoku type generation

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    07ea5e9 View commit details
    Browse the repository at this point in the history

  3. record type conversion in OSL (de-boilerplated using TH)

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    ae2ddb1 View commit details
    Browse the repository at this point in the history

  4. time of day and local time conversion tests

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    4572231 View commit details
    Browse the repository at this point in the history

  5. transpile enum types

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    dd7f0d4 View commit details
    Browse the repository at this point in the history

  6. wip actus dictionary

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    e078da2 View commit details
    Browse the repository at this point in the history

  7. ormolu

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    dc6966e View commit details
    Browse the repository at this point in the history

  8. lint

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    5b41455 View commit details
    Browse the repository at this point in the history

  9. Merge pull request #31 from CasperAssociation/generics 

    Haskell types to OSL types
    @morganthomas
    morganthomas authored Jan 29, 2023
    Configuration menu
    Copy the full SHA
    dbfc3e2 View commit details
    Browse the repository at this point in the history

  10. wip OSL output formatting

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    bbff74c View commit details
    Browse the repository at this point in the history

  11. add actus-core

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    50c0b50 View commit details
    Browse the repository at this point in the history

  12. wip actus dictionary

    @morganthomas
    morganthomas committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    142f82b View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2023

  1. wip actus dictionary

    @morganthomas
    morganthomas committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    51f2416 View commit details
    Browse the repository at this point in the history

  2. wip actus dictionary

    @morganthomas
    morganthomas committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    4ada0c2 View commit details
    Browse the repository at this point in the history

  3. wip actus dictionary

    @morganthomas
    morganthomas committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    5de4c90 View commit details
    Browse the repository at this point in the history

  4. wip actus dictionary

    @morganthomas
    morganthomas committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    5e4c86b View commit details
    Browse the repository at this point in the history

  5. wip actus dictionary

    @morganthomas
    morganthomas committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    332c446 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into actus

    @morganthomas
    morganthomas committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    ddd1d77 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2023

  1. ormolu

    @morganthomas
    morganthomas committed Jan 31, 2023
    Configuration menu
    Copy the full SHA
    6c83193 View commit details
    Browse the repository at this point in the history

  2. lint

    @morganthomas
    morganthomas committed Jan 31, 2023
    Configuration menu
    Copy the full SHA
    71ec334 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #32 from CasperAssociation/actus 

    Actus dictionary
    @morganthomas
    morganthomas authored Jan 31, 2023
    Configuration menu
    Copy the full SHA
    8bb45c8 View commit details
    Browse the repository at this point in the history

  4. bugfix lookups

    @morganthomas
    morganthomas committed Jan 31, 2023
    Configuration menu
    Copy the full SHA
    987623e View commit details
    Browse the repository at this point in the history

  5. bugfix: add missing byte decompositions

    @morganthomas
    morganthomas committed Jan 31, 2023
    Configuration menu
    Copy the full SHA
    816f1e5 View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2023

  1. wip: bugfix universal table

    @morganthomas
    morganthomas committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    9d070bb View commit details
    Browse the repository at this point in the history

  2. bugfix universal table (stage 6)

    @morganthomas
    morganthomas committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    85c5ccb View commit details
    Browse the repository at this point in the history

  3. rm traces

    @morganthomas
    morganthomas committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    28e4b4b View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2023

  1. bugfix load from different case

    @morganthomas
    morganthomas committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    d8a7313 View commit details
    Browse the repository at this point in the history

  2. stage 7 semantics preservation!

    @morganthomas
    morganthomas committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    db78434 View commit details
    Browse the repository at this point in the history

  3. ormolu

    @morganthomas
    morganthomas committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    138b034 View commit details
    Browse the repository at this point in the history

  4. lint

    @morganthomas
    morganthomas committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    db4bf87 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #33 from CasperAssociation/fkv 

    FKV: Stage 7 (trace types)
    @morganthomas
    morganthomas authored Feb 6, 2023
    Configuration menu
    Copy the full SHA
    94fd383 View commit details
    Browse the repository at this point in the history

  6. wip stage 8 argument conversion

    @morganthomas
    morganthomas committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    4d3a6b9 View commit details
    Browse the repository at this point in the history

  7. wip stage 8 argument conversion

    @morganthomas
    morganthomas committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    f454adc View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2023

  1. wip stage 8 argument conversion

    @morganthomas
    morganthomas committed Feb 7, 2023
    Configuration menu
    Copy the full SHA
    1195601 View commit details
    Browse the repository at this point in the history

  2. wip stage 8 argument conversion

    @morganthomas
    morganthomas committed Feb 7, 2023
    Configuration menu
    Copy the full SHA
    1addd57 View commit details
    Browse the repository at this point in the history

  3. add trace type fixed values

    @morganthomas
    morganthomas committed Feb 7, 2023
    Configuration menu
    Copy the full SHA
    66ca687 View commit details
    Browse the repository at this point in the history

  4. remove old cruft

    @morganthomas
    morganthomas committed Feb 7, 2023
    Configuration menu
    Copy the full SHA
    f53edf4 View commit details
    Browse the repository at this point in the history

  5. wip stage 8 semantics preservation

    @morganthomas
    morganthomas committed Feb 7, 2023
    Configuration menu
    Copy the full SHA
    00a9cb1 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2023

  1. wip stage 8 semantics preservating: gating step types correctly

    @morganthomas
    morganthomas committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    f6ae182 View commit details
    Browse the repository at this point in the history

  2. wip stage 8 semantics preservating: gating step types correctly

    @morganthomas
    morganthomas committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    0c69a01 View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2023

  1. wip stage 8 semantics preservating: gating step types correctly

    @morganthomas
    morganthomas committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    20ce58d View commit details
    Browse the repository at this point in the history

  2. wip stage 8 semantics preservating: gating step types correctly

    @morganthomas
    morganthomas committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    1570f39 View commit details
    Browse the repository at this point in the history

  3. wip stage 8 semantics preservating: gating step types correctly

    @morganthomas
    morganthomas committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    20f0524 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'fkv' of github.com:CasperAssociation/osl into fkv

    @morganthomas
    morganthomas committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    6eb7218 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2023

  1. wip stage 8 semantics preservating: gating step types correctly

    @morganthomas
    morganthomas committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    855d281 View commit details
    Browse the repository at this point in the history

  2. add comments

    @morganthomas
    morganthomas committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    a247f5e View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2023

  1. add comments

    @morganthomas
    morganthomas committed Feb 14, 2023
    Configuration menu
    Copy the full SHA
    767d5a2 View commit details
    Browse the repository at this point in the history

  2. wip stage 8 semantics preservating: gating step types correctly

    @morganthomas
    morganthomas committed Feb 14, 2023
    Configuration menu
    Copy the full SHA
    3a5ecdc View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2023

  1. stage 8 semantics preservation

    @morganthomas
    morganthomas committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    d1de12a View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2023

  1. remove traces

    @morganthomas
    morganthomas committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    e796479 View commit details
    Browse the repository at this point in the history

  2. ormolu

    @morganthomas
    morganthomas committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    c3ab61d View commit details
    Browse the repository at this point in the history

  3. Merge pull request #34 from Polytopoi/fkv 

    FKV: stage 8 argument conversion (trace type -> arithmetic circuit)
    @morganthomas
    morganthomas authored Feb 16, 2023
    Configuration menu
    Copy the full SHA
    6758315 View commit details
    Browse the repository at this point in the history

  4. logic constraint constant folding

    @morganthomas
    morganthomas committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    827cb5b View commit details
    Browse the repository at this point in the history

  5. bypass super strong prenex conversion for reduced row count

    @morganthomas
    morganthomas committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    3ffe640 View commit details
    Browse the repository at this point in the history