leonbohn/lama issues and pull requests

#69 - Update tabled requirement from 0.15.0 to 0.16.0 in /automata-learning

Pull Request - State: open - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#68 - Update itertools requirement from 0.12 to 0.13 in /automata-learning

Pull Request - State: open - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#67 - Manage dependency automata

Pull Request - State: closed - Opened by fesemeyer 11 months ago - 1 comment

#66 - Switch to git dependency for automata

Pull Request - State: closed - Opened by leonbohn 11 months ago

#65 - Reorganize the whole `automaton` package

Issue - State: open - Opened by leonbohn 11 months ago

#64 - Reorder tuples for transitions

Issue - State: open - Opened by leonbohn 11 months ago

#63 - Add type `Edge` and implement `IsEdge` for it

Pull Request - State: closed - Opened by leonbohn 11 months ago - 1 comment

#62 - Make methods take `Indexes` consistently

Pull Request - State: closed - Opened by leonbohn 11 months ago

#61 - Remove `Idx` type alias and some traits for colored states.

Pull Request - State: closed - Opened by leonbohn 11 months ago

#60 - Name Space Confusion with Idx

Issue - State: closed - Opened by fesemeyer 11 months ago - 1 comment

#59 - Include representation for edges not associated to a transition system

Issue - State: closed - Opened by fesemeyer 11 months ago - 2 comments

#58 - Rename Simple and Reduced

Pull Request - State: closed - Opened by leonbohn 12 months ago

#57 - Implement structural equality for OmegaWord

Pull Request - State: closed - Opened by leonbohn 12 months ago

#56 - Update fixedbitset requirement from 0.4.2 to 0.5.0 in /automata-learning

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies

#55 - Introduce new automaton type

Pull Request - State: closed - Opened by leonbohn 12 months ago

#54 - Comparing Offsets of Omega Words

Issue - State: closed - Opened by fesemeyer 12 months ago - 2 comments

#53 - Unclear naming

Issue - State: closed - Opened by fesemeyer 12 months ago

#52 - 51 recurrent transitions in omega runs

Pull Request - State: closed - Opened by fesemeyer 12 months ago

#51 - Get recurrent transitions for runs of a transition systems on omega words

Issue - State: closed - Opened by fesemeyer almost 1 year ago

#50 - Explain different types of Alphabets

Issue - State: open - Opened by leonbohn about 1 year ago

#49 - Use `Indexes` in methods on `Sproutable`

Pull Request - State: closed - Opened by leonbohn about 1 year ago

#48 - Specialize and rework collection of transition systems

Pull Request - State: closed - Opened by leonbohn about 1 year ago

#47 - Introduce `Void` type to replace unit type `()` wherever possible

Pull Request - State: closed - Opened by leonbohn about 1 year ago

#46 - Introduce a `Void` type for uncolored edges or states

Issue - State: closed - Opened by leonbohn about 1 year ago

#45 - Fix methods to take `Indexes` consistently

Issue - State: closed - Opened by leonbohn about 1 year ago - 4 comments

#44 - Rework congruences and minimal representatives

Issue - State: open - Opened by leonbohn about 1 year ago

#43 - Make builder more ergonomic

Issue - State: open - Opened by leonbohn about 1 year ago

#42 - Added and removed some benchmarks, impl Debug for Path

Pull Request - State: closed - Opened by leonbohn about 1 year ago

#41 - Refactor prelude

Issue - State: open - Opened by leonbohn about 1 year ago

#40 - Remove unused traits

Issue - State: open - Opened by leonbohn about 1 year ago - 1 comment

#39 - Fix and enforce documentation and adapt CI workflow

Pull Request - State: closed - Opened by leonbohn about 1 year ago

#38 - Write benchmarks for common functionality

Issue - State: closed - Opened by leonbohn about 1 year ago

#37 - Specialize and rework collection of transition systems

Issue - State: closed - Opened by leonbohn about 1 year ago - 2 comments

#36 - Fix documentation

Issue - State: closed - Opened by leonbohn about 1 year ago

#35 - Rework Macros for different automata types

Issue - State: closed - Opened by leonbohn about 1 year ago

#34 - Update fastrand requirement from 1 to 2 in /automata

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#33 - Fix tests and satisfy clippy

Pull Request - State: closed - Opened by leonbohn about 1 year ago

#32 - CI build on the three major platforms linux/macos/windows

Pull Request - State: closed - Opened by leonbohn about 1 year ago

#31 - Update owo-colors requirement from 3.5 to 4.0 in /automata

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#30 - Update tabled requirement from 0.14.0 to 0.15.0 in /automata

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#29 - Update owo-colors requirement from 3.5 to 4.0 in /automata-learning

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#28 - Update tabled requirement from 0.14.0 to 0.15.0 in /automata-learning

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#27 - comments regarding beta rust version

Pull Request - State: closed - Opened by leonbohn about 1 year ago

#26 - Implement some operations for DPAs and improve doc

Pull Request - State: closed - Opened by leonbohn about 1 year ago

#25 - New words

Pull Request - State: closed - Opened by leonbohn about 1 year ago

#24 - Update itertools requirement from 0.11.0 to 0.12.0 in /automata-learning

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#23 - Update itertools requirement from 0.11 to 0.12 in /automata

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#22 - Update pprof requirement from 0.12 to 0.13 in /automata-learning

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#21 - Update pprof requirement from 0.12 to 0.13 in /automata

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#20 - can now build sequence of DFAs from MM

Pull Request - State: closed - Opened by leonbohn over 1 year ago

#19 - Add Quotients and DFA minimization through partition refinement

Pull Request - State: closed - Opened by leonbohn over 1 year ago

#18 - Smarter computation of Right congruence

Issue - State: closed - Opened by leonbohn over 1 year ago

#17 - minor QOL and documentation

Pull Request - State: closed - Opened by leonbohn over 1 year ago

#16 - Update impl-tools requirement from 0.9 to 0.10 in /automata

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#15 - Update impl-tools requirement from 0.9.0 to 0.10.0 in /automata-learning

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#14 - Streamline the code and remove unused stuff

Issue - State: closed - Opened by leonbohn over 1 year ago

#13 - Reorganize parts of the code

Pull Request - State: closed - Opened by leonbohn over 1 year ago

#12 - Create dependabot.yml

Pull Request - State: closed - Opened by leonbohn over 1 year ago

#11 - identified optimizable code parts

Pull Request - State: closed - Opened by leonbohn over 1 year ago

#10 - Optimize performance of FORC inference

Issue - State: closed - Opened by leonbohn over 1 year ago

#9 - New faster implementation of Transition system

Pull Request - State: closed - Opened by leonbohn over 1 year ago

#8 - anustart

Pull Request - State: closed - Opened by leonbohn over 1 year ago

#7 - Introduce const generics

Issue - State: open - Opened by leonbohn over 1 year ago

#6 - Improve Words and Rawpresentation

Issue - State: closed - Opened by leonbohn over 1 year ago

#5 - Move stuff over to main branch

Pull Request - State: closed - Opened by leonbohn over 1 year ago

#4 - Regular pull in from dev

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

#3 - Reorganize

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

#2 - Deterministic implementation, documentation and word manipulation

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

#1 - Create .github/workflows/rust.yml

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

GitHub / leonbohn/lama issues and pull requests