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.

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

Updating split-C-code branch with the current version of master #210

Open
wants to merge 144 commits into
base: split-C-code
Choose a base branch
from

Commits on Sep 20, 2022

  1. Configuration menu
    Copy the full SHA
    e756992 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    3094e44 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b684a36 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2022

  1. Configuration menu
    Copy the full SHA
    70ae1dc View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2022

  1. Merge pull request #129 from minhhung123/fix-typo-variables-mutability

    Fix small typo in variables and mutability documentation
    miguelis authored Nov 24, 2022
    Configuration menu
    Copy the full SHA
    d83136d View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2022

  1. Configuration menu
    Copy the full SHA
    3a550f7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f137904 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2022

  1. Configuration menu
    Copy the full SHA
    d35e4fd View commit details
    Browse the repository at this point in the history

Commits on Dec 25, 2022

  1. Configuration menu
    Copy the full SHA
    a8c7e49 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2023

  1. Updated background.md

    Please refer to this issue: #137
    abhik-wil authored Jan 5, 2023
    Configuration menu
    Copy the full SHA
    8b2995f View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2023

  1. Fix broken link

    ermyas committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    d27b1e9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b2c24b0 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2023

  1. Configuration menu
    Copy the full SHA
    90b8fb5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7015e32 View commit details
    Browse the repository at this point in the history
  3. Fixing a problem with the use of integer division and ===, <== operat…

    …ors. If an integer division is involved in the expression of one of these operators, then we consider the expression as no quadratic.
    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    93fc176 View commit details
    Browse the repository at this point in the history
  4. Updating the releases file

    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    68f3273 View commit details
    Browse the repository at this point in the history
  5. updating version to 2.1.3

    clararod9 committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    1dadb4a View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2023

  1. Configuration menu
    Copy the full SHA
    18529d0 View commit details
    Browse the repository at this point in the history
  2. initialise pointers to NULL

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

Commits on Feb 7, 2023

  1. Merge pull request #142 from eduadiez/fix_release_memory_component

    fix generate_function_release_memory_component function
    alrubio authored Feb 7, 2023
    Configuration menu
    Copy the full SHA
    088024a View commit details
    Browse the repository at this point in the history
  2. Improving: syntax sugar remover, underscored substitution and tags pr…

    …opagation intermediate signals
    clararod9 committed Feb 7, 2023
    Configuration menu
    Copy the full SHA
    c7432b4 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6035538 View commit details
    Browse the repository at this point in the history
  4. fixing minors

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

Commits on Feb 10, 2023

  1. Configuration menu
    Copy the full SHA
    e9b75cb View commit details
    Browse the repository at this point in the history
  2. Merge pull request #145 from iden3/improving_underscore_syntax_sugar_…

    …tags
    
    Release 2.1.4: improving --O1 simplification, inherence of tags and syntax sugar remover
    clararod9 authored Feb 10, 2023
    Configuration menu
    Copy the full SHA
    c52cb5a View commit details
    Browse the repository at this point in the history
  3. Update RELEASES.md

    miguelis authored Feb 10, 2023
    Configuration menu
    Copy the full SHA
    cbda75d View commit details
    Browse the repository at this point in the history
  4. updating version to 2.1.4

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

Commits on Feb 13, 2023

  1. Configuration menu
    Copy the full SHA
    7b50264 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2023

  1. Configuration menu
    Copy the full SHA
    c263ea9 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2023

  1. Configuration menu
    Copy the full SHA
    5cd2828 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2023

  1. Configuration menu
    Copy the full SHA
    e5248da View commit details
    Browse the repository at this point in the history
  2. Update lang.lalrpop

    miguelis authored Feb 23, 2023
    Configuration menu
    Copy the full SHA
    774332c View commit details
    Browse the repository at this point in the history
  3. Adding more info to semicolon error

    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Feb 23, 2023
    Configuration menu
    Copy the full SHA
    50dcbdf View commit details
    Browse the repository at this point in the history
  4. Fusion

    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Feb 23, 2023
    Configuration menu
    Copy the full SHA
    48e4caf View commit details
    Browse the repository at this point in the history
  5. setting maxThreads to 32

    clararod9 committed Feb 23, 2023
    Configuration menu
    Copy the full SHA
    fb30606 View commit details
    Browse the repository at this point in the history
  6. Merge pull request #153 from iden3/improving_parallel

    Improving parallel
    clararod9 authored Feb 23, 2023
    Configuration menu
    Copy the full SHA
    f43f6a6 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2023

  1. Parser errors

    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Feb 24, 2023
    Configuration menu
    Copy the full SHA
    ffab26c View commit details
    Browse the repository at this point in the history
  2. Parser errors

    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Feb 24, 2023
    Configuration menu
    Copy the full SHA
    af0a9e5 View commit details
    Browse the repository at this point in the history
  3. Handling parser errors

    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Feb 24, 2023
    Configuration menu
    Copy the full SHA
    fdc1819 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2023

  1. Improving error messages

    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Feb 26, 2023
    Configuration menu
    Copy the full SHA
    1752787 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2023

  1. Showing warnings when errors are found.

    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    6ec5f3b View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2023

  1. Update code-assertion.md

    miguelis authored Mar 6, 2023
    Configuration menu
    Copy the full SHA
    b02c5f3 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2023

  1. Merge pull request #115 from remind-me-later/master

    Better parser error recovery
    miguelis authored Mar 7, 2023
    Configuration menu
    Copy the full SHA
    82b0a78 View commit details
    Browse the repository at this point in the history
  2. Update code-assertion.md

    miguelis authored Mar 7, 2023
    Configuration menu
    Copy the full SHA
    3f93f4b View commit details
    Browse the repository at this point in the history
  3. working on version v2.1.5: improving --inspect, allowing signal and c…

    …omponent declarations in ifs, improving error handling and messages, solving bug x**x, solving bug log in functions, improving efficiency writing
    clararod9 committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    368503e View commit details
    Browse the repository at this point in the history
  4. Update RELEASES.md

    miguelis authored Mar 7, 2023
    Configuration menu
    Copy the full SHA
    30e14cd View commit details
    Browse the repository at this point in the history
  5. Update signals.md

    miguelis authored Mar 7, 2023
    Configuration menu
    Copy the full SHA
    9e6647e View commit details
    Browse the repository at this point in the history
  6. Update include.md

    miguelis authored Mar 7, 2023
    Configuration menu
    Copy the full SHA
    f4be4fe View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    8dc5bd3 View commit details
    Browse the repository at this point in the history
  8. Update signals.md

    miguelis authored Mar 7, 2023
    Configuration menu
    Copy the full SHA
    9510006 View commit details
    Browse the repository at this point in the history
  9. Update scoping.md

    miguelis authored Mar 7, 2023
    Configuration menu
    Copy the full SHA
    d397136 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2023

  1. Update RELEASES.md

    miguelis authored Mar 8, 2023
    Configuration menu
    Copy the full SHA
    52f5e92 View commit details
    Browse the repository at this point in the history
  2. Update scoping.md

    miguelis authored Mar 8, 2023
    Configuration menu
    Copy the full SHA
    26ba685 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e2b48a2 View commit details
    Browse the repository at this point in the history
  4. Update inspect.md

    miguelis authored Mar 8, 2023
    Configuration menu
    Copy the full SHA
    af6606c View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    dc0f9bc View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2023

  1. working on x**x treatment

    clararod9 committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    62b0ea2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f549480 View commit details
    Browse the repository at this point in the history
  3. Update inspect.md

    miguelis authored Mar 9, 2023
    Configuration menu
    Copy the full SHA
    0ed2276 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2023

  1. minor improvement --inspect

    clararod9 committed Mar 10, 2023
    Configuration menu
    Copy the full SHA
    3997a9a View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2023

  1. fix typo of doc

    spartucus committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    a4f65f5 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2023

  1. Update unknowns.md

    miguelis authored Mar 14, 2023
    Configuration menu
    Copy the full SHA
    871a970 View commit details
    Browse the repository at this point in the history
  2. Update code-assertion.md

    miguelis authored Mar 14, 2023
    Configuration menu
    Copy the full SHA
    b589275 View commit details
    Browse the repository at this point in the history
  3. Update inspect.md

    miguelis authored Mar 14, 2023
    Configuration menu
    Copy the full SHA
    70be83a View commit details
    Browse the repository at this point in the history
  4. Update inspect.md

    miguelis authored Mar 14, 2023
    Configuration menu
    Copy the full SHA
    399b81f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    b782567 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    436ddbd View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    6dd88c1 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    48361d4 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2023

  1. Configuration menu
    Copy the full SHA
    bff78aa View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f024f43 View commit details
    Browse the repository at this point in the history
  3. Update inspect.md

    alrubio authored Mar 15, 2023
    Configuration menu
    Copy the full SHA
    a430fae View commit details
    Browse the repository at this point in the history
  4. Update inspect.md

    alrubio authored Mar 15, 2023
    Configuration menu
    Copy the full SHA
    3d80b1f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    248b8d9 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    c29bca5 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    e626e6d View commit details
    Browse the repository at this point in the history
  8. Update RELEASES.md

    clararod9 authored Mar 15, 2023
    Configuration menu
    Copy the full SHA
    d19d870 View commit details
    Browse the repository at this point in the history
  9. Merge pull request #163 from iden3/in_work

    Adding changes of version 2.1.5: improving error messages, --inspect checks, efficiency and solving minor bugs
    clararod9 authored Mar 15, 2023
    Configuration menu
    Copy the full SHA
    bd6c4b7 View commit details
    Browse the repository at this point in the history
  10. updating version to v2.1.5

    clararod9 committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    127414e View commit details
    Browse the repository at this point in the history
  11. Update mkdocs.yml

    miguelis authored Mar 15, 2023
    Configuration menu
    Copy the full SHA
    5425db3 View commit details
    Browse the repository at this point in the history
  12. Update mkdocs.yml

    miguelis authored Mar 15, 2023
    Configuration menu
    Copy the full SHA
    bfd4d1b View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2023

  1. fix: Report visibility

    rubydusa committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    62c36cd View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2023

  1. Update tags.md

    clararod9 authored Mar 24, 2023
    Configuration menu
    Copy the full SHA
    8637d68 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    20c50af View commit details
    Browse the repository at this point in the history
  3. Update mkdocs.yml

    clararod9 authored Mar 24, 2023
    Configuration menu
    Copy the full SHA
    d1c76a2 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2023

  1. Configuration menu
    Copy the full SHA
    846bdae View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2023

  1. Updating lalrpop dependencies upto version 0.19.9

    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    436dd41 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2023

  1. Configuration menu
    Copy the full SHA
    eb6b5f8 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2023

  1. Configuration menu
    Copy the full SHA
    3536636 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2023

  1. Configuration menu
    Copy the full SHA
    e8b9db2 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2023

  1. Merge pull request #173 from hecmas/new-primes-info

    Added documentation about missing primes and minor typos fixed
    miguelis authored Apr 24, 2023
    Configuration menu
    Copy the full SHA
    c2482ec View commit details
    Browse the repository at this point in the history
  2. Merge pull request #172 from yoyoismee/patch-1

    fix tap in templates-and-components.md
    miguelis authored Apr 24, 2023
    Configuration menu
    Copy the full SHA
    1c59991 View commit details
    Browse the repository at this point in the history
  3. Merge pull request #162 from spartucus/master

    fix typo of doc
    miguelis authored Apr 24, 2023
    Configuration menu
    Copy the full SHA
    33a6749 View commit details
    Browse the repository at this point in the history
  4. Merge pull request #139 from ermyas/master

    Fix broken link in docs
    miguelis authored Apr 24, 2023
    Configuration menu
    Copy the full SHA
    7670cb5 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    09b11a7 View commit details
    Browse the repository at this point in the history
  6. Merge pull request #138 from abhik-wil/patch-1

    Updated background.md
    miguelis authored Apr 24, 2023
    Configuration menu
    Copy the full SHA
    a0e95d0 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2023

  1. Merge pull request #165 from rubydusa/master

    fix: Report visibility
    miguelis authored Apr 25, 2023
    Configuration menu
    Copy the full SHA
    de47e12 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2023

  1. Configuration menu
    Copy the full SHA
    b19199e View commit details
    Browse the repository at this point in the history

Commits on May 11, 2023

  1. Configuration menu
    Copy the full SHA
    9276273 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c60f8f2 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    2f5dee0 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    023bafe View commit details
    Browse the repository at this point in the history

Commits on May 12, 2023

  1. Merge pull request #179 from iden3/adding_primes

    Adding primes: pallas, vesta, grumpkin
    clararod9 authored May 12, 2023
    Configuration menu
    Copy the full SHA
    ce903c6 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2023

  1. Configuration menu
    Copy the full SHA
    729717b View commit details
    Browse the repository at this point in the history

Commits on May 31, 2023

  1. Update inspect.md

    aviggiano authored May 31, 2023
    Configuration menu
    Copy the full SHA
    8377836 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2023

  1. Configuration menu
    Copy the full SHA
    262c267 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. Configuration menu
    Copy the full SHA
    678780f View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. Update tags.md

    typo
    fasteater authored Jun 20, 2023
    Configuration menu
    Copy the full SHA
    8a657a5 View commit details
    Browse the repository at this point in the history
  2. Update tags.md

    typo
    fasteater authored Jun 20, 2023
    Configuration menu
    Copy the full SHA
    4741b45 View commit details
    Browse the repository at this point in the history
  3. Update tags.md

    typo and grammar
    fasteater authored Jun 20, 2023
    Configuration menu
    Copy the full SHA
    331baf8 View commit details
    Browse the repository at this point in the history
  4. Update anonymous-components-and-tuples.md

    typo and grammar
    fasteater authored Jun 20, 2023
    Configuration menu
    Copy the full SHA
    3a2bdb0 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    30ae83c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    928e979 View commit details
    Browse the repository at this point in the history
  7. Update code-assertion.md

    typo
    fasteater authored Jun 20, 2023
    Configuration menu
    Copy the full SHA
    8ac7684 View commit details
    Browse the repository at this point in the history
  8. improving code generation of operations inside array accesses: removi…

    …ng unexpected behaviors when overflows and increasing efficiency
    clararod9 committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    c32cd83 View commit details
    Browse the repository at this point in the history
  9. improving parser of anonymous components: solving bugs when parsing u…

    …sing <==, forbiding using <--
    clararod9 committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    2ab3964 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    eca96f3 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2023

  1. Configuration menu
    Copy the full SHA
    d5ae530 View commit details
    Browse the repository at this point in the history
  2. Update RELEASES.md

    miguelis authored Jun 21, 2023
    Configuration menu
    Copy the full SHA
    5aa228a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b0b4a67 View commit details
    Browse the repository at this point in the history
  4. Update tags.md

    miguelis authored Jun 21, 2023
    Configuration menu
    Copy the full SHA
    b455ec2 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2023

  1. Relase notes revision

    alrubio authored Jun 22, 2023
    Configuration menu
    Copy the full SHA
    c30cf6b View commit details
    Browse the repository at this point in the history
  2. Merge pull request #194 from iden3/in_work

    Merging release 2.1.6
    clararod9 authored Jun 22, 2023
    Configuration menu
    Copy the full SHA
    ca1b7d4 View commit details
    Browse the repository at this point in the history
  3. updating version to v2.1.6

    clararod9 committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    77b36a9 View commit details
    Browse the repository at this point in the history
  4. checking forbidden names when generating c files and error in --> che…

    …cking in anonymous components with multiple outputs
    clararod9 committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    29ea1ac View commit details
    Browse the repository at this point in the history
  5. Update RELEASES.md

    clararod9 authored Jun 22, 2023
    Configuration menu
    Copy the full SHA
    57b18f6 View commit details
    Browse the repository at this point in the history
  6. Update RELEASES.md

    clararod9 authored Jun 22, 2023
    Configuration menu
    Copy the full SHA
    878d675 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2023

  1. Configuration menu
    Copy the full SHA
    15aa2ea View commit details
    Browse the repository at this point in the history
  2. Merge pull request #193 from fasteater/master

    typos and grammar
    miguelis authored Jun 23, 2023
    Configuration menu
    Copy the full SHA
    85a7760 View commit details
    Browse the repository at this point in the history
  3. Merge pull request #186 from aviggiano/master

    Fix inconsistencies on inspect.md markdown format
    miguelis authored Jun 23, 2023
    Configuration menu
    Copy the full SHA
    cb1a2b2 View commit details
    Browse the repository at this point in the history
  4. Merge pull request #177 from tim-hoffman/readme-typos-20230426

    Correct minor typos in README.md
    miguelis authored Jun 23, 2023
    Configuration menu
    Copy the full SHA
    e01efb6 View commit details
    Browse the repository at this point in the history
  5. Merge pull request #184 from rubydusa/NonCompatibleBranchTypes-fix

    bug fix: cover NonCompatibleBranchTypes
    clararod9 authored Jun 23, 2023
    Configuration menu
    Copy the full SHA
    d188d2c View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. Merge pull request #187 from iden3/fix-counter-decrease-in-assert

    Move subcomponent counter decrease operation outside of assert
    clararod9 authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    ac099d3 View commit details
    Browse the repository at this point in the history
  2. Merge pull request #135 from gr8den/master

    fix c++ witness code producer on macos with clang 14.0.0
    miguelis authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    92bd35e View commit details
    Browse the repository at this point in the history
  3. Update fr.hpp

    miguelis authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    e0df715 View commit details
    Browse the repository at this point in the history
  4. Update fr.hpp

    miguelis authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    23bdcb3 View commit details
    Browse the repository at this point in the history
  5. Update fr.hpp

    miguelis authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    328feac View commit details
    Browse the repository at this point in the history
  6. Update fr.hpp

    miguelis authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    4f270f4 View commit details
    Browse the repository at this point in the history
  7. Merge pull request #190 from aliatiia/patch-3

    Update anonymous-components-and-tuples.md
    miguelis authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    e60c4ab View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    608ed82 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2023

  1. Merge pull request #197 from grgustaf/fix-typos

    Fix minor documentation typos
    miguelis authored Jul 6, 2023
    Configuration menu
    Copy the full SHA
    d218488 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. Configuration menu
    Copy the full SHA
    6e4e44e View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. Fixing problem with the compilation user

    Miguel Isabel Márquez authored and Miguel Isabel Márquez committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    827adce View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. Configuration menu
    Copy the full SHA
    0dd4a93 View commit details
    Browse the repository at this point in the history