Spot

Settings | Report Duplicate

4

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 13 hours ago. based on code collected about 21 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 18, 2023 — Apr 18, 2024 Showing page 1 of 6 Search / Filter on:
* .gitlab-ci.yml: Use CI_JOB_ID instead of CI_PIPELINE_ID.	Alexandre Duret-Lutz	More...				8 days ago
* spot/twaalgos/split.hh: Typo in comment.	Alexandre Duret-Lutz	More...				8 days ago
ltlsynt implement polarity and gequiv after decomposition too	Alexandre Duret-Lutz	More...				14 days ago
man: fix several issues	Alexandre Duret-Lutz	More...				15 days ago
help2man: work around some utf8 issues	Alexandre Duret-Lutz	More...				16 days ago
ltl2tgba_fm: simplify the ratexp_to_dfa interface	Alexandre Duret-Lutz	More...				16 days ago
Small fixes in the man pages	pierreganty	More...				23 days ago
modernize some Python code	Alexandre Duret-Lutz	More...				23 days ago
require python 3.6	Alexandre Duret-Lutz	More...				24 days ago
autfilt: add option --separate-edges	Alexandre Duret-Lutz	More...				25 days ago
* doc/org/tut25.org: Minor corrections.	pierreganty	More...				25 days ago
determinize: speedup on automata with many AP and few labels	Alexandre Duret-Lutz	More...				25 days ago
genaut: add two families of cyclic automata	Alexandre Duret-Lutz	More...				25 days ago
simulation: heuristically use a separated-label approach to rebuild	Alexandre Duret-Lutz	More...				27 days ago
minimize: t acceptance is compatible with wdba-minimization	Alexandre Duret-Lutz	More...				28 days ago
hoa: add option 'b' to build an alias-based basis for all labels	Alexandre Duret-Lutz	More...				28 days ago
acc: work around a Swig 4.2.1 bug	Alexandre Duret-Lutz	More...				28 days ago
org: add an example of conversion to BA format	Alexandre Duret-Lutz	More...				about 1 month ago
powerset: improve tgba_powerset on small automata with large \|AP\|	Alexandre Duret-Lutz	More...				about 1 month ago
remove_alternation: use edge_separator	Alexandre Duret-Lutz	More...				about 1 month ago
split: add separate_edges() and a edge_separator class	Alexandre Duret-Lutz	More...				about 1 month ago
split: factor the code common to both split_edges() versions	Alexandre Duret-Lutz	More...				about 1 month ago
fix previous two patches	Alexandre Duret-Lutz	More...				about 1 month ago
alternation: speed up remove_alternation when few labels are used	Alexandre Duret-Lutz	More...				about 1 month ago
dualize: improve performance on small automata with large \|AP\|	Alexandre Duret-Lutz	More...				about 1 month ago
python: add bindings for BuDDy's minterms_of	Alexandre Duret-Lutz	More...				about 1 month ago
[buddy] add missing typedefs to minterm_iterator	Alexandre Duret-Lutz	More...				about 1 month ago
dualize: should not call cleanup_acceptance_here	Alexandre Duret-Lutz	More...				about 1 month ago
add intersection checks between words and automata	Alexandre Duret-Lutz	More...				about 2 months ago
style: relax the else's body check	Alexandre Duret-Lutz	More...				about 2 months ago

←
1
2
3
4
5
6
→