Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: rocq-prover/rocq
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: OpenCoq/openrocq
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 11 commits
  • 26 files changed
  • 3 contributors

Commits on Jul 3, 2025

  1. Initial plan

    Copilot committed Jul 3, 2025
    Configuration menu
    Copy the full SHA
    e370efb View commit details
    Browse the repository at this point in the history

  2. Create core cognitive engine plugin structure with hypergraph, task s… 

    …cheduler, ECAN, reasoning, and metacognition modules

Co-authored-by: drzo <[email protected]>
    @drzo
    Copilot and drzo committed Jul 3, 2025
    Configuration menu
    Copy the full SHA
    b037d79 View commit details
    Browse the repository at this point in the history

  3. Fix module dependencies and namespace issues in cognitive engine plugin 

    Co-authored-by: drzo <[email protected]>
    @drzo
    Copilot and drzo committed Jul 3, 2025
    Configuration menu
    Copy the full SHA
    ca4b74b View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2025

  1. Merge pull request #2 from OpenCoq/copilot/fix-1 

    Add Cognitive Engine Plugin with AtomSpace-inspired Architecture
    @drzo
    drzo authored Jul 11, 2025
    Configuration menu
    Copy the full SHA
    510b1e6 View commit details
    Browse the repository at this point in the history

  2. Initial plan

    Copilot committed Jul 11, 2025
    Configuration menu
    Copy the full SHA
    6051c6b View commit details
    Browse the repository at this point in the history

  3. Fix compilation errors and add comprehensive tests for cognitive engi… 

    …ne plugin

Co-authored-by: drzo <[email protected]>
    @drzo
    Copilot and drzo committed Jul 11, 2025
    Configuration menu
    Copy the full SHA
    93c2fec View commit details
    Browse the repository at this point in the history

  4. Add comprehensive documentation and final verification of cognitive e… 

    …ngine

Co-authored-by: drzo <[email protected]>
    @drzo
    Copilot and drzo committed Jul 11, 2025
    Configuration menu
    Copy the full SHA
    e02dde0 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #3 from OpenCoq/copilot/fix-1-2 

    Fix cognitive engine compilation errors and add comprehensive test suite
    @drzo
    drzo authored Jul 11, 2025
    Configuration menu
    Copy the full SHA
    e8ae0ef View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2025

  1. Initial plan

    Copilot committed Aug 30, 2025
    Configuration menu
    Copy the full SHA
    c9c08de View commit details
    Browse the repository at this point in the history

  2. Implement comprehensive development roadmap for OpenRocq 

    Co-authored-by: drzo <[email protected]>
    @drzo
    Copilot and drzo committed Aug 30, 2025
    Configuration menu
    Copy the full SHA
    5464068 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #5 from OpenCoq/copilot/fix-4 

    Implement comprehensive development roadmap for OpenRocq next steps
    @drzo
    drzo authored Aug 30, 2025
    Configuration menu
    Copy the full SHA
    24333c0 View commit details
    Browse the repository at this point in the history
Loading