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

Add libmGen, a simple generator for mathematical functions #911

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

Add libmGen, a simple generator for mathematical functions #911

wants to merge 45 commits into from

Commits on May 25, 2022

  1. First hacked version of libm generator, lots of hardcoding and some c… 

    …heats
    @HeikoBecker
    HeikoBecker committed May 25, 2022
    Configuration menu
    Copy the full SHA
    3ba2fd4 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2022

  1. Improve libmGen library with a general theorem

    @HeikoBecker
    HeikoBecker committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    bdca48e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into libm_gen

    @HeikoBecker
    HeikoBecker committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    aa5d381 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2022

  1. Fix a small typo to use the correct function name

    @HeikoBecker
    HeikoBecker committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    df2eed7 View commit details
    Browse the repository at this point in the history

  2. Add a second example file

    @HeikoBecker
    HeikoBecker committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    e050091 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into libm_gen

    @HeikoBecker
    HeikoBecker committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    443a5b3 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2022

  1. Merge branch 'master' into libm_gen

    @HeikoBecker
    HeikoBecker committed Jun 27, 2022
    Configuration menu
    Copy the full SHA
    70f8bca View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2022

  1. Working version of libmGen

    @HeikoBecker
    HeikoBecker committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    0888631 View commit details
    Browse the repository at this point in the history

  2. Simplify some proofs

    @HeikoBecker
    HeikoBecker committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    1a9f3a6 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2022

  1. Remove dandelion subrepo

    @HeikoBecker
    HeikoBecker committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    0dd1cd4 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2022

  1. Minor changes to libm generation, add dandelion proper

    @HeikoBecker
    HeikoBecker committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    e7661e0 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2022

  1. Merge branch 'master' into libm_gen

    @HeikoBecker
    HeikoBecker committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    3d6ef52 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2022

  1. Merge branch 'master' into libm_gen

    @HeikoBecker
    HeikoBecker committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    9d26d77 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2022

  1. Make libmGen compatible with latest changes in HOL4

    @HeikoBecker
    HeikoBecker committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    0e96452 View commit details
    Browse the repository at this point in the history

  2. Add libmGen to build sequence

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

  3. Add readme to tools folder

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

  4. Fix more errors related to README.gen

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

Commits on Oct 7, 2022

  1. Fix canle permsScript

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

  2. Fix some repl proofs

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

Commits on Oct 12, 2022

  1. Fix missing case in inferScript for RealFromIntProd

    @HeikoBecker
    HeikoBecker committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    b264b82 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2022

  1. Fix alt_semantics missing a case

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

Commits on Nov 9, 2022

  1. Fix do_app_ok proof

    @HeikoBecker
    HeikoBecker committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    1661429 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2022

  1. Fix build-sequence, move fp related tools to separate folder

    @HeikoBecker
    HeikoBecker committed Nov 11, 2022
    Configuration menu
    Copy the full SHA
    7c856c8 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2022

  1. Fix do_app_thm in pull_words

    @HeikoBecker
    HeikoBecker committed Nov 15, 2022
    Configuration menu
    Copy the full SHA
    fd0b08a View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2022

  1. Add sollya as a tool to the floating-point implementation for regress… 

    …ion testing
    @HeikoBecker
    HeikoBecker committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    c4c296d View commit details
    Browse the repository at this point in the history

  2. Fix sollya build

    @HeikoBecker
    HeikoBecker committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    4dafbea View commit details
    Browse the repository at this point in the history

  3. Fix errors in Holmakefile preventing README.md build

    @HeikoBecker
    HeikoBecker committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    f27e832 View commit details
    Browse the repository at this point in the history

  4. Fix a bug related to README.md generation

    @HeikoBecker
    HeikoBecker committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    40e9400 View commit details
    Browse the repository at this point in the history

  5. Fix another bug related to readme_gen

    @HeikoBecker
    HeikoBecker committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    b1f0888 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2022

  1. Fix a minor annoyance in Holmakefile

    @HeikoBecker
    HeikoBecker committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    eab9fb4 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2022

  1. Tweak Holmakefile more to build proper README's

    @HeikoBecker
    HeikoBecker committed Dec 5, 2022
    Configuration menu
    Copy the full SHA
    30067de View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2022

  1. Merge branch 'master' into libm_gen

    @HeikoBecker
    HeikoBecker committed Dec 6, 2022
    Configuration menu
    Copy the full SHA
    29121bf View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2022

  1. Fix some bugs in build process, move build earlier in sequence

    @HeikoBecker
    HeikoBecker committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    623518e View commit details
    Browse the repository at this point in the history

  2. Add missing README files, forgotten in last commit

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

  3. Delete readmePrefix

    @HeikoBecker
    HeikoBecker authored Dec 8, 2022
    Configuration menu
    Copy the full SHA
    05e6061 View commit details
    Browse the repository at this point in the history

  4. Update .hol_preexec to not copy Holmakefile

    @HeikoBecker
    HeikoBecker authored Dec 8, 2022
    Configuration menu
    Copy the full SHA
    5204c4c View commit details
    Browse the repository at this point in the history

  5. Next try fixing readme_gen

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

  6. Remove readmePrefix dependency for subdirs in dandelion

    @HeikoBecker
    HeikoBecker committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    0bce440 View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2022

  1. Fix missing dependency in Holmakefile

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

  2. Merge branch 'libm_gen' of github.com:CakeML/cakeml into libm_gen

    @HeikoBecker
    HeikoBecker committed Dec 9, 2022
    Configuration menu
    Copy the full SHA
    66344cb View commit details
    Browse the repository at this point in the history

  3. Fix realZeroLib not using proper directories

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

Commits on Dec 10, 2022

  1. Fix bug with realZeroLib not picking up sollya

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

  2. Fix typo in sollya filepath

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

  3. Reenable Sollya build

    @HeikoBecker
    HeikoBecker committed Dec 10, 2022
    Configuration menu
    Copy the full SHA
    00c06db View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2022

  1. Minor update to README of Dandelion

    @HeikoBecker
    HeikoBecker authored Dec 12, 2022
    Configuration menu
    Copy the full SHA
    d37da9f View commit details
    Browse the repository at this point in the history