leonbohn/ralf

Issues

• Add feature table to top-level documentation/`README.md`

  #53 opened 4 months ago by leonbohn
  0

• Clean `automata-learning` code, enable used, and remove unused tests

  #97 opened 8 months ago by leonbohn
  1

• Combine `TarjanDag` and `SccDecomposition`

  #106 opened 4 months ago by leonbohn
  1

• Restructure crates

  #108 opened 4 months ago by leonbohn
  0

• Bring basic support to python library

  #105 opened 5 months ago by leonbohn
  0

• Settle on and document a process for publishing

  #104 opened 5 months ago by leonbohn
  0

• German/efficient finite word implementation

  #99 opened 7 months ago by leonbohn
  0

• Use `layout` library to render transition systems

  #98 opened 5 months ago by leonbohn
  1

• Implement rendering for `FORC`s

  #42 opened 10 months ago by leonbohn
  1

• Introduce new type for state id

  #73 opened 8 months ago by leonbohn
  1

• Optimize methods on `Scc`

  #81 opened 9 months ago by leonbohn
  0

• Introduce a trait `IntoTS` for constructing a `TS`/`DTS` instance

  #66 opened 8 months ago by leonbohn
  1

• Bug in upw! macro

  #86 opened 8 months ago by fesemeyer
  0

• Bug in `streamline` function

  #79 opened 9 months ago by fesemeyer
  1

• Methods for DPA normalisation

  #75 opened 9 months ago by leonbohn
  0

• Make `hoars` its own crate in a subdirectory

  #71 opened 9 months ago by leonbohn
  0

• Fix `SubsetConstruction`

  #58 opened 9 months ago by leonbohn
  0

• Figure out how to return references instead of owned colors

  #64 opened 9 months ago by leonbohn
  0

• Remove `Show` trait

  #68 opened 9 months ago by leonbohn
  0

• Disable implementations other than `GraphTs` for now

  #63 opened 9 months ago by leonbohn
  1

• Add `petgraph` implementation of `TransitionSystem`

  #55 opened 9 months ago by leonbohn
  0

• Split up the `TransitionSystem` trait into smaller traits

  #65 opened 9 months ago by leonbohn
  0

• Equality of GraphTS

  #61 opened 9 months ago by fesemeyer
  0

• Rework how edges are added in `Sproutable`

  #50 opened 9 months ago by leonbohn
  0

• Other types of acceptance

  #39 opened 9 months ago by leonbohn
  0

• Minor improvements

  #49 opened 9 months ago by leonbohn
  0

• Prepare `0.2` release

  #47 opened 10 months ago by leonbohn
  0

• Readme and crate-level documentation

  #36 opened 10 months ago by leonbohn
  0

• Improve performance of `NormalizedOmegaWord`

  #3 opened 10 months ago by leonbohn
  0

• Remove state operation for `NTS`/`DTS` should be banned

  #41 opened 10 months ago by leonbohn
  1

• Get rid of all `todo!(...)` calls

  #8 opened 10 months ago by leonbohn
  0

• Verify `#[allow(unused)]` annotations

  #9 opened 10 months ago by leonbohn
  0

• HOA input and output

  #37 opened 10 months ago by leonbohn
  0

• Remove `IndexType::first()`

  #5 opened 10 months ago by leonbohn
  0

• Documentation for semantics

  #4 opened 10 months ago by leonbohn
  0

• Use `Box<dyn ...>` inside `TSBuilder` for even more egonomics

  #2 opened 10 months ago by leonbohn
  1

• Override `Show::show_collection` only when applicable and default to trait impl otherwise

  #6 opened 10 months ago by leonbohn
  0

• Rework `Class` and `RightCongruence`

  #7 opened 10 months ago by leonbohn
  1

• Equality of automata

  #25 opened 10 months ago by fesemeyer
  0

• completion of already complete transition systems

  #26 opened a year ago by fesemeyer
  0

• Move some theoretical stuff out to `theory` module

  #17 opened a year ago by leonbohn
  0

• Feature: Computation of Escape Prefixes

  #21 opened a year ago by fesemeyer
  0

• Problem with Debug implementation for Path

  #18 opened a year ago by fesemeyer
  0

• Check that feature gates are correct

  #13 opened a year ago by leonbohn
  1

• Do not use `aarch64` in CI build for windows.

  #15 opened a year ago by leonbohn
  0

• Get rid of `autoimpl` dependency

  #11 opened a year ago by leonbohn
  0

• Disallow unused and enable clippy pedantic lints on the crate-level.

  #10 opened a year ago by leonbohn
  0