Commits on Mar 15, 2018
  1. Update README

    KentShikama committed Mar 15, 2018
  2. Update README

    KentShikama committed Mar 15, 2018
Commits on Jul 5, 2017
  1. Update token.rho to have as little syntax errors by current BNFC

    KentShikama committed Jul 5, 2017
    This involves using <> and [] for tuples depending on whether it is a
    PPattern or a process. Primitive map operations cannot be chained
    unless we add parentheses around the first call. This applies a minor
    primitive map operator name change from update to insert.
  2. Implement Tuple of procs in compiler

    KentShikama committed Jul 4, 2017
    Add test that uses list of Procs
  3. Change _amount to amount in token.rho

    KentShikama committed Jul 4, 2017
    Credits to @geoff
    Compact balance_of just like in bb9814f
  4. Implement “method” operator in compiler

    KentShikama committed Jul 4, 2017
    Implement QString in compiler
  5. Add “method” operator to Quantity

    KentShikama committed Jul 4, 2017
    Add a MethodTest.rho to test parser
    Add the String to Quantity
    Allow for [Quantity] to be included in method arguments
Commits on Jul 4, 2017
  1. Remove race conditions by unlocking last

    KentShikama committed Jul 3, 2017
    Convert any indents to spaces (credits to @Jake-Gillberg)
    Change (send ctxt-rtn) -> (ctxt-rtn) as this was
    causing #niv to get returned from the consume call.
Commits on Jul 3, 2017
  1. Add token.rho regular and sugar contract example

    KentShikama committed Jul 3, 2017
    Collaborators: @alex, @glenb, @jos.denmark, @leithaus
Commits on Jun 27, 2017
  1. Ensures produces match only the same channel

    KentShikama committed Jun 27, 2017
    Assume that the channel cannot be in multiple positions in the consume,
    which is not necessarily true.
    Then we can extract the position of the channel in the consume and
    ensure that the produce only tries to match to the channel it was
    sending to.
    Cleans up comments
Commits on Jun 21, 2017
Commits on Jun 20, 2017
  1. Update produce/consume to take multiple channels

    KentShikama committed Jun 20, 2017
    Since there is no support for tables that do partial key lookups in
    Rosette as of now, multiple channels are concatenated into one symbol
    and used as a key. A separate lookup table is used to map concatenated
    channels to their components and vice versa. I first attempted using a
    tuple as a key but that didn’t work as tuples with the same contents do
    not hash to the same value if they are not the same actor in Rosette.
    A potential area to clean up is to delete items in the lookup table as
    they are no longer needed. Currently, new concatenated channels just
    get appended to the existing expanded channel list.
    Minor adjustments to HelloWorld.rbl and HelloWorldProduceFirst.rbl
Commits on Jun 15, 2017
  1. Implement tuplespace policy of first come first serve for singles

    KentShikama committed Jun 15, 2017
    Clean up TODOs
    Add delete-i method: Deletes element at position i in Tuple.
    Refactor HelloWorld.rbl
Commits on Jun 14, 2017
  1. Update tuplespace implementation to take lists of data and ctxts

    KentShikama committed Jun 14, 2017
    Previously any time new data or continuations were added,
    any unmatched data or continuations were overwritten.
Commits on Jun 13, 2017
  1. Implement comparison operator in compiler

    KentShikama committed Jun 13, 2017
    Add ComparisonTest.rho that tests comparison implementation in compiler.
  2. Add comparison operators and var to Quantity in BNFC

    KentShikama committed Jun 13, 2017
    Move Var’s under Quantity and Quantity under Entity in BNFC
    This allows us to do ring operations on vars that are quantities.
    There is no way to differentiate a var that is a quantity
    from a var that is an entity (a value with no natural ring operations defined). Update compiler to reflect changes in BNFC without comparison operators.