openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
Spot
Settings
|
Report Duplicate
4
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Moderate Activity
Commits
: Listings
Analyzed
about 21 hours
ago. based on code collected
2 days
ago.
Mar 27, 2023 — Mar 27, 2024
Showing page 1 of 221
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
autfilt: add option --separate-edges
Alexandre Duret-Lutz
More...
4 days ago
* doc/org/tut25.org: Minor corrections.
pierreganty
More...
4 days ago
determinize: speedup on automata with many AP and few labels
Alexandre Duret-Lutz
More...
4 days ago
genaut: add two families of cyclic automata
Alexandre Duret-Lutz
More...
5 days ago
simulation: heuristically use a separated-label approach to rebuild
Alexandre Duret-Lutz
More...
7 days ago
minimize: t acceptance is compatible with wdba-minimization
Alexandre Duret-Lutz
More...
7 days ago
hoa: add option 'b' to build an alias-based basis for all labels
Alexandre Duret-Lutz
More...
7 days ago
acc: work around a Swig 4.2.1 bug
Alexandre Duret-Lutz
More...
8 days ago
org: add an example of conversion to BA format
Alexandre Duret-Lutz
More...
10 days ago
powerset: improve tgba_powerset on small automata with large |AP|
Alexandre Duret-Lutz
More...
11 days ago
remove_alternation: use edge_separator
Alexandre Duret-Lutz
More...
11 days ago
split: add separate_edges() and a edge_separator class
Alexandre Duret-Lutz
More...
11 days ago
split: factor the code common to both split_edges() versions
Alexandre Duret-Lutz
More...
11 days ago
fix previous two patches
Alexandre Duret-Lutz
More...
11 days ago
alternation: speed up remove_alternation when few labels are used
Alexandre Duret-Lutz
More...
12 days ago
dualize: improve performance on small automata with large |AP|
Alexandre Duret-Lutz
More...
12 days ago
python: add bindings for BuDDy's minterms_of
Alexandre Duret-Lutz
More...
18 days ago
[buddy] add missing typedefs to minterm_iterator
Alexandre Duret-Lutz
More...
18 days ago
dualize: should not call cleanup_acceptance_here
Alexandre Duret-Lutz
More...
23 days ago
add intersection checks between words and automata
Alexandre Duret-Lutz
More...
29 days ago
style: relax the else's body check
Alexandre Duret-Lutz
More...
about 1 month ago
ltlsynt: fix suggested references
Alexandre Duret-Lutz
More...
about 1 month ago
ltlsynt: fix the case where AP removal is disabled and decomp fails
Alexandre Duret-Lutz
More...
about 1 month ago
ltlsynt: allow regular expressions in --ins/--outs
Alexandre Duret-Lutz
More...
about 1 month ago
* bin/spot-x.cc: Fix some typos.
Alexandre Duret-Lutz
More...
about 1 month ago
sccinfo: fix documentation for split_on_sets
Alexandre Duret-Lutz
More...
about 2 months ago
python: render <svg> via _repr_html_
Alexandre Duret-Lutz
More...
about 2 months ago
org: fix many errors
Alexandre Duret-Lutz
More...
about 2 months ago
more doc handling of prop_universal for fused initial states
Alexandre Duret-Lutz
More...
about 2 months ago
tl_simplifier: add more test cases
Alexandre Duret-Lutz
More...
about 2 months ago
←
1
2
3
4
5
6
7
8
9
…
220
221
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree