4
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 21 hours ago. based on code collected 2 days ago.
Mar 27, 2023 — Mar 27, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
autfilt: add option --separate-edges More... 4 days ago
* doc/org/tut25.org: Minor corrections. More... 4 days ago
determinize: speedup on automata with many AP and few labels More... 4 days ago
genaut: add two families of cyclic automata More... 5 days ago
simulation: heuristically use a separated-label approach to rebuild More... 7 days ago
minimize: t acceptance is compatible with wdba-minimization More... 7 days ago
hoa: add option 'b' to build an alias-based basis for all labels More... 7 days ago
acc: work around a Swig 4.2.1 bug More... 8 days ago
org: add an example of conversion to BA format More... 10 days ago
powerset: improve tgba_powerset on small automata with large |AP| More... 11 days ago
remove_alternation: use edge_separator More... 11 days ago
split: add separate_edges() and a edge_separator class More... 11 days ago
split: factor the code common to both split_edges() versions More... 11 days ago
fix previous two patches More... 11 days ago
alternation: speed up remove_alternation when few labels are used More... 12 days ago
dualize: improve performance on small automata with large |AP| More... 12 days ago
python: add bindings for BuDDy's minterms_of More... 18 days ago
[buddy] add missing typedefs to minterm_iterator More... 18 days ago
dualize: should not call cleanup_acceptance_here More... 23 days ago
add intersection checks between words and automata More... 29 days ago
style: relax the else's body check More... about 1 month ago
ltlsynt: fix suggested references More... about 1 month ago
ltlsynt: fix the case where AP removal is disabled and decomp fails More... about 1 month ago
ltlsynt: allow regular expressions in --ins/--outs More... about 1 month ago
* bin/spot-x.cc: Fix some typos. More... about 1 month ago
sccinfo: fix documentation for split_on_sets More... about 2 months ago
python: render <svg> via _repr_html_ More... about 2 months ago
org: fix many errors More... about 2 months ago
more doc handling of prop_universal for fused initial states More... about 2 months ago
tl_simplifier: add more test cases More... about 2 months ago