kasiamarek/tyre issues and pull requests

#53 - Add a license

Issue - State: closed - Opened by yellowsquid about 1 year ago - 1 comment

#52 - README for performance tests

Pull Request - State: open - Opened by kasiaMarek almost 2 years ago

#51 - Single-character matching partial evaluation

Pull Request - State: open - Opened by ohad almost 2 years ago - 3 comments

#50 - added pretty printer

Pull Request - State: open - Opened by kasiaMarek almost 2 years ago

#49 - Rename: NextStateType -> TransitionRelation

Pull Request - State: closed - Opened by ohad almost 2 years ago - 1 comment

#48 - Change Stack's constructor name to (:<) so we may use snoc-list notation

Pull Request - State: closed - Opened by ohad almost 2 years ago

#47 - Refactor InitStatesType t

Pull Request - State: closed - Opened by ohad almost 2 years ago

#46 - Add conversion functions to structural desc of disjoint matches

Pull Request - State: open - Opened by ohad almost 2 years ago

#45 - Refactor in routines for readibility snoc list

Pull Request - State: closed - Opened by kasiaMarek about 2 years ago

#44 - Refactor in routines for readibility

Pull Request - State: closed - Opened by kasiaMarek about 2 years ago

#43 - Feature: additions to smart constructors

Pull Request - State: closed - Opened by kasiaMarek about 2 years ago

#42 - deleted corere

Pull Request - State: closed - Opened by kasiaMarek about 2 years ago

#41 - Typed Moore machine

Pull Request - State: closed - Opened by kasiaMarek about 2 years ago

#40 - Typed Moore machine

Pull Request - State: closed - Opened by kasiaMarek about 2 years ago

#39 - Various suggestions

Issue - State: closed - Opened by ohad about 2 years ago

#38 - Greedy

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago - 1 comment

#37 - files moved to top-level TyRE module

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago

#36 - Substitute implementation

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago

#35 - files moved to top-level TyRE module

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago

#34 - List

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago

#33 - Create a TyRE module hierarchy

Issue - State: closed - Opened by ohad over 2 years ago

#32 - swap blist and elist

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago

#31 - replace implementation

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago

#30 - Group min + keep syntax for RE + `Conv` agr order change

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago - 1 comment

#29 - Added Keep syntax

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago - 1 comment

#28 - Minimisation for group

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago

#27 - Examples

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago

#26 - Add logo files

Pull Request - State: closed - Opened by ohad over 2 years ago

#25 - New thompson

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago

#24 - single and state + proof for group

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago

#23 - derot - updates for new Idris version

Pull Request - State: closed - Opened by kasiaMarek over 2 years ago