lasp-lang/types issues and pull requests

#94 - Delete rebar3

Pull Request - State: closed - Opened by getong almost 6 years ago - 3 comments

#93 - provide a usage example

Issue - State: open - Opened by benoitc about 6 years ago

#92 - release?

Issue - State: open - Opened by benoitc about 6 years ago

#91 - add erlang test

Pull Request - State: closed - Opened by getong over 6 years ago - 1 comment

#90 - Fix causal context compression

Pull Request - State: closed - Opened by vitorenesduarte over 6 years ago - 2 comments

#89 - make type representation a tagged tupple

Issue - State: closed - Opened by bryanhuntesl over 6 years ago - 1 comment

#88 - Add GMap join-decomposition recursive definition

Pull Request - State: closed - Opened by vitorenesduarte almost 7 years ago

#87 - Add orset cardinality check.

Pull Request - State: closed - Opened by cmeiklejohn almost 7 years ago - 1 comment

#86 - Support arbitrary CRDTs as GMap values

Pull Request - State: closed - Opened by vitorenesduarte over 7 years ago - 2 comments

#85 - Make CRDTs as simple to use as possible

Issue - State: closed - Opened by goncalotomas over 7 years ago
Labels: question

#84 - Pure op size

Pull Request - State: open - Opened by gyounes over 7 years ago

#83 - Reduce compute time

Pull Request - State: closed - Opened by vitorenesduarte over 7 years ago - 3 comments

#82 - Add crdt_size/1 method to state_type module

Pull Request - State: closed - Opened by vitorenesduarte over 7 years ago

#81 - version bump

Pull Request - State: closed - Opened by tsloughter over 7 years ago

#80 - Simplify data types; implement causal context compression; methods for state-driven and digest-driven

Pull Request - State: closed - Opened by vitorenesduarte over 7 years ago - 7 comments

#79 - Implement digest-driven methods

Pull Request - State: closed - Opened by vitorenesduarte over 7 years ago

#78 - Add filter awset delta mutator

Pull Request - State: closed - Opened by vitorenesduarte over 7 years ago - 4 comments

#77 - Add orddict fetch default method

Pull Request - State: closed - Opened by vitorenesduarte over 7 years ago

#76 - Add awset cardinality check

Pull Request - State: closed - Opened by vitorenesduarte over 7 years ago - 1 comment

#75 - Change state_boolean internal representation: false/true -> 0/1

Pull Request - State: closed - Opened by vitorenesduarte over 7 years ago

#74 - Remove delta tag from state-based data types

Pull Request - State: closed - Opened by vitorenesduarte almost 8 years ago - 4 comments

#73 - add hex metadata

Pull Request - State: closed - Opened by tsloughter almost 8 years ago

#72 - Efficient inflation checks of join-irreducible states

Pull Request - State: closed - Opened by vitorenesduarte almost 8 years ago

#71 - Fix rebar3 dialyzer usage

Pull Request - State: closed - Opened by fishcakez about 8 years ago - 4 comments

#70 - Address ordset:set().

Pull Request - State: closed - Opened by cmeiklejohn about 8 years ago - 1 comment

#69 - Fix unknown type errors

Pull Request - State: closed - Opened by vitorenesduarte about 8 years ago

#68 - More unknown type errors

Issue - State: closed - Opened by seancribbs about 8 years ago - 6 comments

#67 - ORMap with provenance semirings (DO NOT MERGE).

Pull Request - State: closed - Opened by junghunyoo about 8 years ago

#66 - Add MVMap

Pull Request - State: closed - Opened by vitorenesduarte about 8 years ago

#65 - Remove precondition check.

Pull Request - State: closed - Opened by cmeiklejohn about 8 years ago - 6 comments

#64 - Remove precondition check from OR-Set

Issue - State: closed - Opened by cmeiklejohn about 8 years ago - 1 comment

#63 - Make cardinality check.

Pull Request - State: closed - Opened by cmeiklejohn about 8 years ago - 1 comment

#62 - MVRegister query/1: s/list/set

Pull Request - State: closed - Opened by vitorenesduarte about 8 years ago - 2 comments

#61 - Unified API for Registers

Issue - State: closed - Opened by vitorenesduarte about 8 years ago - 4 comments

#60 - Add missing Causal CRDTs and a LWWRegister

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago - 5 comments

#59 - Implement state-based map.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago

#58 - Implement state-based EW flag.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago

#57 - Implement state-based DW flag.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago

#56 - Implement state-based MV-register.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago

#55 - Implement state-based LWW-register.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago

#54 - Add to state_type API: new_delta/0, new_delta/1 and is_delta/1

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#53 - implement all queries for Pure with no compaction + tests

Pull Request - State: closed - Opened by gyounes over 8 years ago - 2 comments

#52 - Remove repeated code of state_type:merge/2 implementations

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#51 - GMap composability - allow pairs as values in the map

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago - 2 comments

#50 - Fix state_type:new for state_pair

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#49 - Remove duplication on reset method

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#48 - Add a common library for state-based causal CRDTs & an add-wins set type

Pull Request - State: closed - Opened by junghunyoo over 8 years ago - 1 comment

#47 - Rename the oorset_ps as the awset_ps

Pull Request - State: closed - Opened by junghunyoo over 8 years ago

#46 - Implementation for the optimsed orset with provenances

Pull Request - State: closed - Opened by junghunyoo over 8 years ago - 1 comment

#45 - Fix deltas on pairs

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#44 - Add Boolean implementation

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#43 - Implementation for the oorset

Pull Request - State: closed - Opened by junghunyoo over 8 years ago

#42 - Fix Unknown type warnings in dialyzer

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#41 - Unknown type warnings in dialyzer

Issue - State: closed - Opened by seancribbs over 8 years ago - 8 comments

#40 - Add is_bottom/1 to state_type API

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#39 - Allow deltas to be used in inflation checking.

Pull Request - State: closed - Opened by cmeiklejohn over 8 years ago

#38 - Add a common library for state-based causal CRDTs & an optimised orset type

Pull Request - State: closed - Opened by junghunyoo over 8 years ago - 3 comments

#37 - Add acronym 'CRDT' to repo description for easier discovery

Issue - State: closed - Opened by oboff over 8 years ago - 1 comment

#36 - Do short circuit evaluation when folding lists to a boolean

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago - 1 comment

#35 - Add pure op-based data types

Pull Request - State: closed - Opened by gyounes over 8 years ago - 3 comments

#34 - Add LexCounter implementation

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#33 - When querying GSet, TwoPSet and OR-Set, we should return set, not list

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago - 1 comment

#32 - Merge up.

Pull Request - State: closed - Opened by cmeiklejohn over 8 years ago

#31 - Add pure op-based data types

Pull Request - State: closed - Opened by gyounes over 8 years ago - 2 comments

#30 - Add TwoPSet implementation

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago - 6 comments

#29 - Add BCounter implementation

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago - 3 comments

#28 - Add GMap implementation

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#27 - More specific behaviours

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#26 - Add MaxInt implementation

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#25 - Merge deltas

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#24 - Add rmv_all operation to ORSet

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#23 - OR-Set should return set, not list

Issue - State: closed - Opened by cmeiklejohn over 8 years ago - 5 comments

#22 - Add add_all operation to ORSet

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#21 - Inflations as joins

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago - 1 comment

#20 - Add ivar implementation

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#19 - Fix pair:new/1

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago - 1 comment

#18 - Add pure op-based CRDTs implementation

Pull Request - State: closed - Opened by gyounes over 8 years ago - 1 comment

#17 - Small corrections on comments

Pull Request - State: closed - Opened by CBaquero over 8 years ago

#16 - Add ORSet with tombstones implementation

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#15 - Add PNCounter implementation

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#14 - Fix delta_mutate signature in pair impl

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#13 - Add GSet and Pair implementations

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#12 - Add GSet implementation

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago - 2 comments

#11 - Interface

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago - 2 comments

#10 - Interface

Pull Request - State: closed - Opened by vitorenesduarte over 8 years ago

#9 - Add prototype iterator.

Pull Request - State: closed - Opened by cmeiklejohn over 8 years ago

#8 - Implement casal add-wins set.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago

#7 - Implement causal counter.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago

#6 - Implement causal pair.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago

#5 - Implement add-wins OR-Set.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago

#4 - Implement Pair.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago - 1 comment

#3 - Implement PN-Counter.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago - 1 comment

#2 - Implement G-Counter.

Issue - State: closed - Opened by cmeiklejohn over 8 years ago - 1 comment

#1 - Prototype interface.

Pull Request - State: closed - Opened by cmeiklejohn over 8 years ago

GitHub / lasp-lang/types issues and pull requests