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

M4GB implementation #7

Draft
wants to merge 60 commits into
base: master
Choose a base branch
from
Draft

M4GB implementation #7

wants to merge 60 commits into from

Commits on Jan 26, 2020

  1. Experimental implementation of M4GB

    @konn
    konn committed Jan 26, 2020
    Configuration menu
    Copy the full SHA
    a8bb7d7 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2020

  1. Updates stack.yaml and CI

    @konn
    konn committed Feb 1, 2020
    Configuration menu
    Copy the full SHA
    fff671b View commit details
    Browse the repository at this point in the history

  2. GIT_STRATEGY

    @konn
    konn committed Feb 1, 2020
    Configuration menu
    Copy the full SHA
    f66baf6 View commit details
    Browse the repository at this point in the history

  3. Untracks every LFS files

    @konn
    konn committed Feb 1, 2020
    Configuration menu
    Copy the full SHA
    e278531 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2020

  1. Stop using LFS

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    3edf172 View commit details
    Browse the repository at this point in the history

  2. Workaround for Ubuntu version difference

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    ce55d22 View commit details
    Browse the repository at this point in the history

  3. Fixes version revisions

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    44dbe92 View commit details
    Browse the repository at this point in the history

  4. Corrects nightly

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    7a70352 View commit details
    Browse the repository at this point in the history

  5. Updates stack version constraints

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    4522f5a View commit details
    Browse the repository at this point in the history

  6. Corrects version range

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    d7abd3d View commit details
    Browse the repository at this point in the history

  7. Fixes version range

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    ab00473 View commit details
    Browse the repository at this point in the history

  8. [ci skip] misc change

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    e417a65 View commit details
    Browse the repository at this point in the history

  9. Workaround for singletons 2.6

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    1946abf View commit details
    Browse the repository at this point in the history

  10. Updates tested-with

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    888aa69 View commit details
    Browse the repository at this point in the history

  11. ci: caches each .stack-work in subdirs as well

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    4b18e84 View commit details
    Browse the repository at this point in the history

  12. ci: corrects yaml

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    fb293dc View commit details
    Browse the repository at this point in the history

  13. Corrects test-cases to specify coefficient

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    d65f61a View commit details
    Browse the repository at this point in the history

  14. Builds test-cases in build phase

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    84c1cd0 View commit details
    Browse the repository at this point in the history

  15. Good bye GHC 8.2

    @konn
    konn committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    739187f View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2020

  1. [ci skip] Adds a reference to the paper

    @konn
    konn committed Feb 5, 2020
    Configuration menu
    Copy the full SHA
    dacf943 View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2020

  1. Updates stackyaml

    @konn
    konn committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    b6cc8ed View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2020

  1. Switches to LTS-15.0 for GHC 8.8

    @konn
    konn committed Feb 17, 2020
    Configuration menu
    Copy the full SHA
    7c2ac45 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2020

  1. HIE.yaml

    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    8b2b9bf View commit details
    Browse the repository at this point in the history

  2. Fixes package.yaml duplicated key

    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    d4ee176 View commit details
    Browse the repository at this point in the history

  3. Corrects the polyToVec definition of Galois field

    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    9941be2 View commit details
    Browse the repository at this point in the history

  4. factorise: Workaround for non-monic polynomials

    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    68f0f3b View commit details
    Browse the repository at this point in the history

  5. Simplifies leadMonom

    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    9e6202a View commit details
    Browse the repository at this point in the history

  6. Corrects the definition of negate

    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    41b56a5 View commit details
    Browse the repository at this point in the history

  7. import Algebra.Prelude instead of :l

    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    f2b92df View commit details
    Browse the repository at this point in the history

  8. More efficient trace polynomial computation

    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    9d62ca3 View commit details
    Browse the repository at this point in the history

  9. Adds remindering by f in for equal-degree splitting during evaluating… 

    … traceCharTwo
    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    4194495 View commit details
    Browse the repository at this point in the history

  10. coefficient handling

    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    1a36d66 View commit details
    Browse the repository at this point in the history

  11. Workaround for GHC <= 8.4

    @konn
    konn committed Jun 20, 2020
    Configuration menu
    Copy the full SHA
    4ede3af View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2020

  1. [ci skip] adds TypeApplications to GHCi flag

    @konn
    konn committed Jun 21, 2020
    Configuration menu
    Copy the full SHA
    745bb5b View commit details
    Browse the repository at this point in the history

  2. Docker files

    @konn
    konn committed Jun 21, 2020
    Configuration menu
    Copy the full SHA
    c290d33 View commit details
    Browse the repository at this point in the history

  3. Dockerfiles for version-wise build

    @konn
    konn committed Jun 21, 2020
    Configuration menu
    Copy the full SHA
    8243aad View commit details
    Browse the repository at this point in the history

  4. ci: Changes to use custom docker images to save building time

    @konn
    konn committed Jun 21, 2020
    Configuration menu
    Copy the full SHA
    0afc00a View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2020

  1. ci: LLVM fix

    @konn
    konn committed Jun 30, 2020
    Configuration menu
    Copy the full SHA
    6e8a9a9 View commit details
    Browse the repository at this point in the history

  2. Changes cache keys

    @konn
    konn committed Jun 30, 2020
    Configuration menu
    Copy the full SHA
    149c677 View commit details
    Browse the repository at this point in the history

  3. No .stack-root hack

    @konn
    konn committed Jun 30, 2020
    Configuration menu
    Copy the full SHA
    64654a6 View commit details
    Browse the repository at this point in the history

  4. Implements factorisation test-cases

    @konn
    konn committed Jun 30, 2020
    Configuration menu
    Copy the full SHA
    c175ae1 View commit details
    Browse the repository at this point in the history

  5. Updates hie.yaml

    @konn
    konn committed Jun 30, 2020
    Configuration menu
    Copy the full SHA
    a6d5d74 View commit details
    Browse the repository at this point in the history

  6. Failing unit-test

    @konn
    konn committed Jun 30, 2020
    Configuration menu
    Copy the full SHA
    ed99dce View commit details
    Browse the repository at this point in the history

  7. Allow GHC 8.4 to fail

    @konn
    konn committed Jun 30, 2020
    Configuration menu
    Copy the full SHA
    cfdda25 View commit details
    Browse the repository at this point in the history

  8. Restructures regression tests and adds simple test-cases for squareFr… 

    …eeDecomp
    @konn
    konn committed Jun 30, 2020
    Configuration menu
    Copy the full SHA
    62251a0 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2020

  1. Utility functions for univariate polynomials

    @konn
    konn committed Jul 2, 2020
    Configuration menu
    Copy the full SHA
    9eca650 View commit details
    Browse the repository at this point in the history

  2. Import-lists

    @konn
    konn committed Jul 2, 2020
    Configuration menu
    Copy the full SHA
    52dd241 View commit details
    Browse the repository at this point in the history

  3. Entire overhaul and debug on square-free decomposition 

    * Splits `yun` method for char 0 polynomials and `squareFreeDecompFiniteField` for finite fields
* Fixes a p-th root of polynomials over finite fields
    @konn
    konn committed Jul 2, 2020
    Configuration menu
    Copy the full SHA
    18ee5eb View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2020

  1. [ci skip] Dockefile update

    @konn
    konn committed Jul 3, 2020
    Configuration menu
    Copy the full SHA
    1c097ec View commit details
    Browse the repository at this point in the history

  2. [ci skip] stack-setup

    @konn
    konn committed Jul 3, 2020
    Configuration menu
    Copy the full SHA
    855ed31 View commit details
    Browse the repository at this point in the history

  3. ci: Updates docker image

    @konn
    konn committed Jul 3, 2020
    Configuration menu
    Copy the full SHA
    94b36b0 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2020

  1. Corrects hie,yaml

    @konn
    konn committed Jul 4, 2020
    Configuration menu
    Copy the full SHA
    3000896 View commit details
    Browse the repository at this point in the history

  2. Changes specs name

    @konn
    konn committed Jul 4, 2020
    Configuration menu
    Copy the full SHA
    b55d8c9 View commit details
    Browse the repository at this point in the history

  3. Removes dead code fragment

    @konn
    konn committed Jul 4, 2020
    Configuration menu
    Copy the full SHA
    d36261e View commit details
    Browse the repository at this point in the history

  4. Restricts maximum success number

    @konn
    konn committed Jul 4, 2020
    Configuration menu
    Copy the full SHA
    1689d7f View commit details
    Browse the repository at this point in the history

  5. singletons-presburger

    @konn
    konn committed Jul 4, 2020
    Configuration menu
    Copy the full SHA
    abcc926 View commit details
    Browse the repository at this point in the history

  6. Refactors and adds regressions to ZeroDimSpec

    @konn
    konn committed Jul 4, 2020
    Configuration menu
    Copy the full SHA
    624c0cb View commit details
    Browse the repository at this point in the history

  7. Corrects implementation of subspMatrix

    @konn
    konn committed Jul 4, 2020
    Configuration menu
    Copy the full SHA
    40b35a7 View commit details
    Browse the repository at this point in the history

  8. Refactors test-cases

    @konn
    konn committed Jul 4, 2020
    Configuration menu
    Copy the full SHA
    6362da9 View commit details
    Browse the repository at this point in the history

  9. Updates ci images

    @konn
    konn committed Jul 4, 2020
    Configuration menu
    Copy the full SHA
    8cac902 View commit details
    Browse the repository at this point in the history