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

Extended syntax: merging master #118

Merged
merged 153 commits into from
Nov 14, 2020
Merged

Extended syntax: merging master #118

merged 153 commits into from
Nov 14, 2020

Commits on Feb 9, 2019

  1. Repinned and refactored nix files such that nix can actually build grin.

    @LSLeary
    LSLeary committed Feb 9, 2019
    Configuration menu
    Copy the full SHA
    193f916 View commit details
    Browse the repository at this point in the history

  2. Migrate megaparsec from 6.5 to 7.

    @LSLeary
    LSLeary committed Feb 9, 2019
    Configuration menu
    Copy the full SHA
    64dffc8 View commit details
    Browse the repository at this point in the history

  3. Migrate QuickCheck from 2.11 to 2.12.

    @LSLeary
    LSLeary committed Feb 9, 2019
    Configuration menu
    Copy the full SHA
    c0ceacc View commit details
    Browse the repository at this point in the history

  4. Misc.

    @LSLeary
    LSLeary committed Feb 9, 2019
    Configuration menu
    Copy the full SHA
    60fce1c View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2019

  1. Get building with stack too (partial work).

    @LSLeary
    LSLeary committed Feb 10, 2019
    Configuration menu
    Copy the full SHA
    9927dcd View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Jun 23, 2019
    Configuration menu
    Copy the full SHA
    f0117f1 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2019

  1. Update LICENSE file.

    @andorp
    andorp committed Jun 27, 2019
    Configuration menu
    Copy the full SHA
    4fb44d3 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2019

  1. Update BACKERS.md

    @csabahruska
    csabahruska authored Jun 28, 2019
    Configuration menu
    Copy the full SHA
    291bc2b View commit details
    Browse the repository at this point in the history

  2. update backers [skip ci]

    @csabahruska
    csabahruska authored Jun 28, 2019
    Configuration menu
    Copy the full SHA
    efe9eed View commit details
    Browse the repository at this point in the history

  3. update backers [skip ci]

    @csabahruska
    csabahruska authored Jun 28, 2019
    Configuration menu
    Copy the full SHA
    e4aa663 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Jun 29, 2019
    Configuration menu
    Copy the full SHA
    68e4ba0 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Jun 30, 2019
    Configuration menu
    Copy the full SHA
    8108e6a View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2019

  1. simple dead function elimination strips unused externals

    @csabahruska
    csabahruska committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    4579287 View commit details
    Browse the repository at this point in the history

  2. test external stripping

    @csabahruska
    csabahruska committed Jul 4, 2019
    Configuration menu
    Copy the full SHA
    69869e3 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2019

  1. Merge pull request #33 from grin-compiler/strip_externals 

    Strip externals
    @csabahruska
    csabahruska authored Jul 5, 2019
    Configuration menu
    Copy the full SHA
    b148dc5 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2019

  1. Fix the LLVM-7 install instructions for macOS 

    The install instructions via brew used an incorrect formula name
    @nickwanninger
    nickwanninger authored Jul 12, 2019
    Configuration menu
    Copy the full SHA
    7a1ebc2 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2019

  1. Merge pull request #31 from Anabra/master 

    Proper effect tracking for LVA
    @csabahruska
    csabahruska authored Jul 13, 2019
    Configuration menu
    Copy the full SHA
    dab57b5 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2019

  1. Revert "Reverted CSE test changes" 

    This reverts commit a72259d.
    @Anabra
    Anabra committed Jul 14, 2019
    Configuration menu
    Copy the full SHA
    c5c1345 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2019

  1. Merge pull request #35 from nickwanninger/patch-1 

    Fix llvm-7 install instructions for macOS
    @csabahruska
    csabahruska authored Jul 16, 2019
    Configuration menu
    Copy the full SHA
    a29648c View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2019

  1. New HPC method.

    @andorp
    andorp committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    eb5d87e View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2019

  1. End-to-end test discovery.

    @andorp
    andorp committed Jul 21, 2019
    Configuration menu
    Copy the full SHA
    a6b469c View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2019

  1. Add prim-ops and runtime options to the CLI.

    @andorp
    andorp committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    99eb579 View commit details
    Browse the repository at this point in the history

  2. Do not render newline when print string literal in simple interpreter.

    @andorp
    andorp committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    107771b View commit details
    Browse the repository at this point in the history

  3. Compiler tests: bisecting.

    @andorp
    andorp committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    a3d25d6 View commit details
    Browse the repository at this point in the history

  4. Compiler test: expected files can be any text file.

    @andorp
    andorp committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    d95f5e0 View commit details
    Browse the repository at this point in the history

  5. Compiler test: check against user defined output filenames.

    @andorp
    andorp committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    c403598 View commit details
    Browse the repository at this point in the history

  6. Compiler test: Add an example binary test case.

    @andorp
    andorp committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    fbde5e8 View commit details
    Browse the repository at this point in the history

  7. Add BisectM to support testing.

    @andorp
    andorp committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    74c1acd View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2019

  1. Compiler test: Test for bisecting logic.

    @andorp
    andorp committed Jul 27, 2019
    Configuration menu
    Copy the full SHA
    ed0552a View commit details
    Browse the repository at this point in the history

  2. Coveralls: Fix after repo rename.

    @andorp
    andorp committed Jul 27, 2019
    Configuration menu
    Copy the full SHA
    03e9082 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Jul 28, 2019
    Configuration menu
    Copy the full SHA
    d43a9a4 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2019

  1. Add haddock for EndToEnd code.

    @andorp
    andorp committed Jul 31, 2019
    Configuration menu
    Copy the full SHA
    d6b8366 View commit details
    Browse the repository at this point in the history

  2. Turn back to test suite.

    @andorp
    andorp committed Jul 31, 2019
    Configuration menu
    Copy the full SHA
    d74db04 View commit details
    Browse the repository at this point in the history

  3. Add documentation for EndToEnd test functions.

    @andorp
    andorp committed Jul 31, 2019
    Configuration menu
    Copy the full SHA
    2986790 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Aug 16, 2019
    Configuration menu
    Copy the full SHA
    912c9fd View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2019

  1. Handle C files via -C option.

    @andorp
    andorp committed Aug 18, 2019
    Configuration menu
    Copy the full SHA
    6120979 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #39 from grin-compiler/38-end-to-end-tests 

    End to end tests
    @andorp
    andorp authored Aug 18, 2019
    Configuration menu
    Copy the full SHA
    cc4062e View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Sep 8, 2019
    Configuration menu
    Copy the full SHA
    6e08473 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2019

  1. Runtime error function in runtime.c 

    Implicit runtime error is necessary as a debugging tool, for the
generated LLVM code. Previously the prim_int_print used to report
errors, but as the non-used externals are removed from the generated
code, this bug was releived and a quick fix is to have an explicit
runime_error function in the runtime.c module.

This should be optional at the final form of the llvm codegen.
    @andorp
    andorp committed Sep 10, 2019
    Configuration menu
    Copy the full SHA
    babd2f0 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2019

  1. Merge branch 'master' of https://github.com/grin-tech/grin

    @Anabra
    Anabra committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    68eba16 View commit details
    Browse the repository at this point in the history

  2. Revert "Revert "Reverted CSE test changes"" 

    This reverts commit c5c1345.

There was an accidental push to the remote master branch.
This commit is the only difference between the two branches.
    @Anabra
    Anabra committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    66da2a5 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Oct 12, 2019
    Configuration menu
    Copy the full SHA
    b44ca1d View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2019

  1. Update TypeEnv before code generation.

    @andorp
    andorp committed Oct 19, 2019
    Configuration menu
    Copy the full SHA
    ed7bacf View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Oct 21, 2019
    Configuration menu
    Copy the full SHA
    8caf45e View commit details
    Browse the repository at this point in the history

  2. revert [skip ci]

    @csabahruska
    csabahruska authored Oct 21, 2019
    Configuration menu
    Copy the full SHA
    0c4faf5 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Nov 27, 2019
    Configuration menu
    Copy the full SHA
    6f2a8cc View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Nov 30, 2019
    Configuration menu
    Copy the full SHA
    e46c280 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2019

  1. Update MemoryManagement.md

    @csabahruska
    csabahruska authored Dec 1, 2019
    Configuration menu
    Copy the full SHA
    b65381a View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2019

  1. Merge branch 'master' into update-nix-setup

    Luc Tielen committed Dec 7, 2019
    Configuration menu
    Copy the full SHA
    9ac2ec7 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2019

  1. Add end2end test output to gitignore

    Luc Tielen committed Dec 8, 2019
    Configuration menu
    Copy the full SHA
    044f864 View commit details
    Browse the repository at this point in the history

  2. Pin to newer nixpkgs commit

    Luc Tielen committed Dec 8, 2019
    Configuration menu
    Copy the full SHA
    9aceda4 View commit details
    Browse the repository at this point in the history

  3. Add clang-7 as dependency

    Luc Tielen committed Dec 8, 2019
    Configuration menu
    Copy the full SHA
    d2ff162 View commit details
    Browse the repository at this point in the history

  4. Add more files to gitignore

    Luc Tielen committed Dec 8, 2019
    Configuration menu
    Copy the full SHA
    08e0bd3 View commit details
    Browse the repository at this point in the history

  5. Update Diff dependency

    Luc Tielen committed Dec 8, 2019
    Configuration menu
    Copy the full SHA
    a2dfd1c View commit details
    Browse the repository at this point in the history

  6. Use GHC865 with nix, point to same llvm-hs fork as stack

    Luc Tielen committed Dec 8, 2019
    Configuration menu
    Copy the full SHA
    8356786 View commit details
    Browse the repository at this point in the history

  7. Always use same compiler in shell.nix and default.nix

    Luc Tielen committed Dec 8, 2019
    Configuration menu
    Copy the full SHA
    0784573 View commit details
    Browse the repository at this point in the history

  8. Provide cabal and ghcid when in nix-shell

    Luc Tielen committed Dec 8, 2019
    Configuration menu
    Copy the full SHA
    16fc9ee View commit details
    Browse the repository at this point in the history

  9. Point to lts-14.16 stackage version

    Luc Tielen committed Dec 8, 2019
    Configuration menu
    Copy the full SHA
    692329a View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2019

  1. Update dependency versions

    Luc Tielen committed Dec 10, 2019
    Configuration menu
    Copy the full SHA
    70625b8 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2019

  1. Use haskell.nix to keep stack and nix approaches in sync

    Luc Tielen committed Dec 11, 2019
    Configuration menu
    Copy the full SHA
    a730ec1 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2019

  1. Allow specifying llvm tooling via env vars

    Luc Tielen committed Dec 14, 2019
    Configuration menu
    Copy the full SHA
    90a7093 View commit details
    Browse the repository at this point in the history

  2. Migrate megaparsec from 6.5 to 7.

    @LSLeary
    LSLeary authored and Luc Tielen committed Dec 14, 2019
    Configuration menu
    Copy the full SHA
    1dfb597 View commit details
    Browse the repository at this point in the history

  3. Migrate QuickCheck from 2.11 to 2.12.

    @LSLeary
    LSLeary authored and Luc Tielen committed Dec 14, 2019
    Configuration menu
    Copy the full SHA
    9df4657 View commit details
    Browse the repository at this point in the history

  4. Point to lts-14.16 stackage version

    Luc Tielen committed Dec 14, 2019
    Configuration menu
    Copy the full SHA
    a3f84ae View commit details
    Browse the repository at this point in the history

  5. Remove unneeded bounds on some dependencies in cabal file

    Luc Tielen committed Dec 14, 2019
    Configuration menu
    Copy the full SHA
    9f5f165 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2019

  1. Merge pull request #58 from luc-tielen/update-packages 

    Update packages
    @csabahruska
    csabahruska authored Dec 15, 2019
    Configuration menu
    Copy the full SHA
    cefe5f2 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2019

  1. Merge branch 'master' into update-nix-setup

    Luc Tielen committed Dec 16, 2019
    Configuration menu
    Copy the full SHA
    b894e2d View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2019

  1. Minor cleanups to cabal file

    Luc Tielen committed Dec 17, 2019
    Configuration menu
    Copy the full SHA
    fa7d5a2 View commit details
    Browse the repository at this point in the history

  2. End to end tests.

    @andorp
    andorp committed Dec 17, 2019
    Configuration menu
    Copy the full SHA
    fb083ae View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2019

  1. Merge pull request #56 from luc-tielen/update-nix-setup 

    Update nix setup
    @andorp
    andorp authored Dec 23, 2019
    Configuration menu
    Copy the full SHA
    6b7dd3d View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2019

  1. fix: add __runtime_error to the hardwired JIT FFI

    @csabahruska
    csabahruska committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    a1ac1ce View commit details
    Browse the repository at this point in the history

  2. fix grin external ffi/primop pretty printer + test

    @csabahruska
    csabahruska committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    d940211 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2019

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Dec 28, 2019
    Configuration menu
    Copy the full SHA
    79467ce View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2019

  1. Merge pull request #62 from grin-compiler/jit/bugfix01/hardwired_ffi 

    fix: add __runtime_error to the hardwired JIT FFI
    @andorp
    andorp authored Dec 29, 2019
    Configuration menu
    Copy the full SHA
    454fdd0 View commit details
    Browse the repository at this point in the history

  2. Frontend specific PrimOps.

    @andorp
    andorp committed Dec 29, 2019
    Configuration menu
    Copy the full SHA
    4c747d1 View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2019

  1. Merge pull request #61 from grin-compiler/grin/bugfix/external_ffi_pr… 

    …etty

Grin/bugfix/external ffi pretty
    @csabahruska
    csabahruska authored Dec 31, 2019
    Configuration menu
    Copy the full SHA
    2ca0fb6 View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2020

  1. Remove RTVal parameter.

    @andorp
    andorp committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    7a9742e View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2020

  1. Merge pull request #65 from grin-compiler/andorp/63-modular-primops-1 

    Frontend specific PrimOps.
    @andorp
    andorp authored Jan 4, 2020
    Configuration menu
    Copy the full SHA
    39a47bf View commit details
    Browse the repository at this point in the history

  2. Merge pull request #60 from grin-compiler/andorp/end-to-end-tests 

    More end-to-end tests generated by the Idris-GRIN backend.
    @andorp
    andorp authored Jan 4, 2020
    Configuration menu
    Copy the full SHA
    b86f61d View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2020

  1. Improve error reporting.

    @andorp
    andorp committed Jan 5, 2020
    Configuration menu
    Copy the full SHA
    133441c View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2020

  1. Merge pull request #66 from grin-compiler/andorp/improve-type-error-m… 

    …essage

Improve error reporting.
    @andorp
    andorp authored Jan 6, 2020
    Configuration menu
    Copy the full SHA
    9a297c8 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2020

  1. Improve Simple Dead Parameter Elimination.

    @andorp
    andorp committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    13604d7 View commit details
    Browse the repository at this point in the history

  2. Update grin/src/Transformations/Optimising/SimpleDeadParameterElimina… 

    …tion.hs

Co-Authored-By: Peter Podlovics <[email protected]>
    @andorp @Anabra
    andorp and Anabra authored Jan 21, 2020
    Configuration menu
    Copy the full SHA
    59fbdb3 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #69 from grin-compiler/andorp/dead-parameter-elim 

    Improve Simple Dead Parameter Elimination.
    @andorp
    andorp authored Jan 21, 2020
    Configuration menu
    Copy the full SHA
    2976a99 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2020

  1. Eval statistics.

    @andorp
    andorp committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    963a4d3 View commit details
    Browse the repository at this point in the history

  2. Add --continue-on-lint option.

    @andorp
    andorp committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    ac15cc7 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2020

  1. Merge pull request #77 from grin-compiler/andorp/eval-stat 

    Eval statistics.
    @andorp
    andorp authored Feb 12, 2020
    Configuration menu
    Copy the full SHA
    219727c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into andorp/issue-76

    @andorp
    andorp committed Feb 12, 2020
    Configuration menu
    Copy the full SHA
    add6ead View commit details
    Browse the repository at this point in the history

  3. #76: Rename to --continue-on-failed-lint

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

  4. Merge pull request #78 from grin-compiler/andorp/issue-76 

    Add --continue-on-lint option.
    @andorp
    andorp authored Feb 12, 2020
    Configuration menu
    Copy the full SHA
    b48adc1 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2020

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Feb 16, 2020
    Configuration menu
    Copy the full SHA
    537aae4 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2020

  1. update paper link [skip ci]

    @csabahruska
    csabahruska authored Feb 20, 2020
    Configuration menu
    Copy the full SHA
    27cd500 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2020

  1. Lint: Node pattern match uses subtype instead of type equality.

    @andorp
    andorp committed Feb 22, 2020
    Configuration menu
    Copy the full SHA
    6ac09ec View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2020

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Feb 26, 2020
    Configuration menu
    Copy the full SHA
    15fdfe6 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2020

  1. Merge branch 'master' into 32-test-merge-with-master-2

    @Anabra
    Anabra committed Mar 2, 2020
    Configuration menu
    Copy the full SHA
    113f8de View commit details
    Browse the repository at this point in the history

  2. ES: fixed dependency API issues

    @Anabra
    Anabra committed Mar 2, 2020
    Configuration menu
    Copy the full SHA
    d945e86 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2020

  1. Merge branch '32-bugfixes' into 32-test-merge-with-master-2

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    e15b0cc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into 32-ES-to-master

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    50f02e0 View commit details
    Browse the repository at this point in the history

  3. ES: API changes of Megaparsec and QC

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    093f2e6 View commit details
    Browse the repository at this point in the history

  4. Merge branch '32-bugfixes' into 32-test-merge-with-master-2

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    8020b10 View commit details
    Browse the repository at this point in the history

  5. Update grin/test/LintSpec.hs 

    Co-Authored-By: Peter Podlovics <[email protected]>
    @andorp @Anabra
    andorp and Anabra authored Mar 3, 2020
    Configuration menu
    Copy the full SHA
    db3849f View commit details
    Browse the repository at this point in the history

  6. Update grin/test/LintSpec.hs 

    Co-Authored-By: Peter Podlovics <[email protected]>
    @andorp @Anabra
    andorp and Anabra authored Mar 3, 2020
    Configuration menu
    Copy the full SHA
    81c973c View commit details
    Browse the repository at this point in the history

  7. Update grin/src/Grin/Lint.hs 

    Co-Authored-By: Peter Podlovics <[email protected]>
    @andorp @Anabra
    andorp and Anabra authored Mar 3, 2020
    Configuration menu
    Copy the full SHA
    1ca9791 View commit details
    Browse the repository at this point in the history

  8. ES: moved test data

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    d12e500 View commit details
    Browse the repository at this point in the history

  9. Merge pull request #79 from grin-compiler/andorp/lint-subtype-impr 

    Lint: Node pattern match uses sub-type instead of type equality.
    @Anabra
    Anabra authored Mar 3, 2020
    Configuration menu
    Copy the full SHA
    bc14718 View commit details
    Browse the repository at this point in the history

  10. ES: updated DFE

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    e7032e8 View commit details
    Browse the repository at this point in the history

  11. ES: updated DVE tests

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    01871a7 View commit details
    Browse the repository at this point in the history

  12. ES: added an extra test to IDFE

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    cea1203 View commit details
    Browse the repository at this point in the history

  13. Merge branch 'master' into 32-ES-to-master

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    0974c35 View commit details
    Browse the repository at this point in the history

  14. ES: added CLI.Lib

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    e1119ad View commit details
    Browse the repository at this point in the history

  15. ES: fixed CLI.Lib

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    1972df6 View commit details
    Browse the repository at this point in the history

  16. ES: updated Pipeline

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    bdf4d66 View commit details
    Browse the repository at this point in the history

  17. ES: update Reducer.Base

    @Anabra
    Anabra committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    73efa67 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2020

  1. ES: updated Reducer.Pure

    @Anabra
    Anabra committed Mar 8, 2020
    Configuration menu
    Copy the full SHA
    940d902 View commit details
    Browse the repository at this point in the history

  2. ES: updated Reducer.PureSpec

    @Anabra
    Anabra committed Mar 8, 2020
    Configuration menu
    Copy the full SHA
    94caa1d View commit details
    Browse the repository at this point in the history

  3. ES: added E2E tests

    @Anabra
    Anabra committed Mar 8, 2020
    Configuration menu
    Copy the full SHA
    c35524c View commit details
    Browse the repository at this point in the history

  4. ES: updated E2E tests

    @Anabra
    Anabra committed Mar 8, 2020
    Configuration menu
    Copy the full SHA
    f65da6c View commit details
    Browse the repository at this point in the history

  5. ES: modified test-data-es file names

    @Anabra
    Anabra committed Mar 8, 2020
    Configuration menu
    Copy the full SHA
    75907c8 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2020

  1. update backers list [skip ci]

    @csabahruska
    csabahruska authored Mar 10, 2020
    Configuration menu
    Copy the full SHA
    ff45be9 View commit details
    Browse the repository at this point in the history

  2. update patreon section [skip ci]

    @csabahruska
    csabahruska authored Mar 10, 2020
    Configuration menu
    Copy the full SHA
    eb40a69 View commit details
    Browse the repository at this point in the history

  3. adjust supporters section [skip ci]

    @csabahruska
    csabahruska authored Mar 10, 2020
    Configuration menu
    Copy the full SHA
    6c466ef View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2020

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Mar 12, 2020
    Configuration menu
    Copy the full SHA
    93e0f3b View commit details
    Browse the repository at this point in the history

  2. fix typo in backers list [skip ci]

    @csabahruska
    csabahruska authored Mar 12, 2020
    Configuration menu
    Copy the full SHA
    02a7b73 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2020

  1. update backers [skip ci]

    @csabahruska
    csabahruska authored Mar 13, 2020
    Configuration menu
    Copy the full SHA
    086387d View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2020

  1. Merge pull request #81 from grin-compiler/32-ES-to-master 

    Early merge of new syntax to master
    @Anabra
    Anabra authored Mar 22, 2020
    Configuration menu
    Copy the full SHA
    d0c1a12 View commit details
    Browse the repository at this point in the history

  2. ES: fixed IDPE test data

    @Anabra
    Anabra committed Mar 22, 2020
    Configuration menu
    Copy the full SHA
    06f99fc View commit details
    Browse the repository at this point in the history

  3. ES: fixed IDDE test-data

    @Anabra
    Anabra committed Mar 22, 2020
    Configuration menu
    Copy the full SHA
    c05b575 View commit details
    Browse the repository at this point in the history

  4. ES: moved CLI to ES

    @Anabra
    Anabra committed Mar 22, 2020
    Configuration menu
    Copy the full SHA
    a7e6a5b View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2020

  1. ES: merge __runtime_error hotfix

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    136373a View commit details
    Browse the repository at this point in the history

  2. ES: switch to with-external printing option for --save-grin

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    0f3c59c View commit details
    Browse the repository at this point in the history

  3. ES: add c11/09 idris test

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    478daf8 View commit details
    Browse the repository at this point in the history

  4. ES: merged external printing fix

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    574947c View commit details
    Browse the repository at this point in the history

  5. ES: add minor fix for external handling

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    246f211 View commit details
    Browse the repository at this point in the history

  6. ES: add c01 idris tests

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    eaed3ac View commit details
    Browse the repository at this point in the history

  7. ES: add c02 idris tests

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    285db00 View commit details
    Browse the repository at this point in the history

  8. ES: add c03 idris tests

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    981cc45 View commit details
    Browse the repository at this point in the history

  9. ES: add c06 idris tests

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    7107c77 View commit details
    Browse the repository at this point in the history

  10. ES: add c07 idris tests

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    b6ebea7 View commit details
    Browse the repository at this point in the history

  11. ES: add c08 idris tests

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    ffd4fa5 View commit details
    Browse the repository at this point in the history

  12. ES: add c09 idris tests

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    1a7bc07 View commit details
    Browse the repository at this point in the history

  13. ES: add c10 idris tests

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    34d1329 View commit details
    Browse the repository at this point in the history

  14. ES: add c11 idris tests

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    414e58a View commit details
    Browse the repository at this point in the history

  15. ES: readd .grin instead of .grin-x

    @Anabra
    Anabra committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    aa01688 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2020

  1. ES: redirect E2E tests input directory

    @Anabra
    Anabra committed Apr 5, 2020
    Configuration menu
    Copy the full SHA
    43ea82f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into 32-test-merge-with-master-2

    @Anabra
    Anabra committed Apr 5, 2020
    Configuration menu
    Copy the full SHA
    0ea1554 View commit details
    Browse the repository at this point in the history

  3. ES: merge Lint fixes

    @Anabra
    Anabra committed Apr 5, 2020
    Configuration menu
    Copy the full SHA
    2a48881 View commit details
    Browse the repository at this point in the history

  4. ES: remove indented new lines from primop printing

    @Anabra
    Anabra committed Apr 5, 2020
    Configuration menu
    Copy the full SHA
    40c5946 View commit details
    Browse the repository at this point in the history

  5. ES: with-externals is the default pretty printing

    @Anabra
    Anabra committed Apr 5, 2020
    Configuration menu
    Copy the full SHA
    02e7c48 View commit details
    Browse the repository at this point in the history

  6. ES: fix some regressions

    @Anabra
    Anabra committed Apr 5, 2020
    Configuration menu
    Copy the full SHA
    10a6377 View commit details
    Browse the repository at this point in the history

  7. ES: fix travis script

    @Anabra
    Anabra committed Apr 5, 2020
    Configuration menu
    Copy the full SHA
    4144f5d View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2020

  1. ES: fix bug in LLVM codegen

    @Anabra
    Anabra committed Apr 11, 2020
    Configuration menu
    Copy the full SHA
    32de2ee View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2020

  1. temporarily remove building/testing from travis 

    This is because the Travis job times out at 50 minutes. We will need to revert this once the stack artifacts are cached.
    @Anabra
    Anabra authored Nov 14, 2020
    Configuration menu
    Copy the full SHA
    1ef4a21 View commit details
    Browse the repository at this point in the history

  2. Revert "temporarily remove building/testing from travis " 

    This reverts commit 1ef4a21.
    @Anabra
    Anabra committed Nov 14, 2020
    Configuration menu
    Copy the full SHA
    a918f6e View commit details
    Browse the repository at this point in the history