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

[RFC 0017] Intensional Store #17

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

[RFC 0017] Intensional Store #17

wants to merge 11 commits into from

Commits on Aug 11, 2017

  1. Intensional Store

    @wmertens
    wmertens committed Aug 11, 2017
    Configuration menu
    Copy the full SHA
    ae6d7e3 View commit details
    Browse the repository at this point in the history

  2. Rename to PR #

    @wmertens
    wmertens committed Aug 11, 2017
    Configuration menu
    Copy the full SHA
    a7b3772 View commit details
    Browse the repository at this point in the history

  3. self-references may not be discoverable by grep

    @veprbl
    veprbl committed Aug 11, 2017
    Configuration menu
    Copy the full SHA
    520e3e2 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2018

  1. Merge pull request #1 from veprbl/patch-1 

    self-references may not be discoverable by grep
    @wmertens
    wmertens committed Apr 18, 2018
    Configuration menu
    Copy the full SHA
    53baec8 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2019

  1. add shepherd team 

    Co-Authored-By: Domen Kožar <[email protected]>
    @wmertens @domenkozar
    wmertens and domenkozar committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    ee3ed3a View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2019

  1. Update rfcs/0017-intensional-store.md 

    Co-Authored-By: Benjamin Staffin <[email protected]>
    @wmertens @benley
    wmertens and benley committed Dec 12, 2019
    Configuration menu
    Copy the full SHA
    3fda171 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2020

  1. 17: complete rework

    @wmertens
    wmertens committed Nov 5, 2020
    Configuration menu
    Copy the full SHA
    1c7f749 View commit details
    Browse the repository at this point in the history

  2. 17: updates from comments

    @wmertens
    wmertens committed Nov 5, 2020
    Configuration menu
    Copy the full SHA
    e9c3340 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2020

  1. 17: add summary and expand on details

    @wmertens
    wmertens committed Nov 8, 2020
    Configuration menu
    Copy the full SHA
    d4ad873 View commit details
    Browse the repository at this point in the history

  2. 17: $cas.m metadata file

    @wmertens
    wmertens committed Nov 8, 2020
    Configuration menu
    Copy the full SHA
    b0362a0 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2020

  1. 17: explain metadata alternatives

    @wmertens
    wmertens committed Nov 9, 2020
    Configuration menu
    Copy the full SHA
    b0b655e View commit details
    Browse the repository at this point in the history