Spot

Settings | Report Duplicate

4

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 8 hours ago. based on code collected about 20 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 04, 2023 — May 04, 2024 Showing page 2 of 221 Search / Filter on:
split: add separate_edges() and a edge_separator class	Alexandre Duret-Lutz	More...				about 2 months ago
split: factor the code common to both split_edges() versions	Alexandre Duret-Lutz	More...				about 2 months ago
fix previous two patches	Alexandre Duret-Lutz	More...				about 2 months ago
alternation: speed up remove_alternation when few labels are used	Alexandre Duret-Lutz	More...				about 2 months ago
dualize: improve performance on small automata with large \|AP\|	Alexandre Duret-Lutz	More...				about 2 months ago
python: add bindings for BuDDy's minterms_of	Alexandre Duret-Lutz	More...				about 2 months ago
[buddy] add missing typedefs to minterm_iterator	Alexandre Duret-Lutz	More...				about 2 months ago
dualize: should not call cleanup_acceptance_here	Alexandre Duret-Lutz	More...				about 2 months ago
add intersection checks between words and automata	Alexandre Duret-Lutz	More...				2 months ago
style: relax the else's body check	Alexandre Duret-Lutz	More...				3 months ago
ltlsynt: fix suggested references	Alexandre Duret-Lutz	More...				3 months ago
ltlsynt: fix the case where AP removal is disabled and decomp fails	Alexandre Duret-Lutz	More...				3 months ago
ltlsynt: allow regular expressions in --ins/--outs	Alexandre Duret-Lutz	More...				3 months ago
* bin/spot-x.cc: Fix some typos.	Alexandre Duret-Lutz	More...				3 months ago
sccinfo: fix documentation for split_on_sets	Alexandre Duret-Lutz	More...				3 months ago
python: render <svg> via _repr_html_	Alexandre Duret-Lutz	More...				3 months ago
org: fix many errors	Alexandre Duret-Lutz	More...				3 months ago
more doc handling of prop_universal for fused initial states	Alexandre Duret-Lutz	More...				3 months ago
tl_simplifier: add more test cases	Alexandre Duret-Lutz	More...				3 months ago
* NEWS: Fix some typos.	Alexandre Duret-Lutz	More...				3 months ago
tl: fix detection of goto	Alexandre Duret-Lutz	More...				3 months ago
work around some Swig 4.2 change	Alexandre Duret-Lutz	More...				3 months ago
fix some preprocessor directive	Alexandre Duret-Lutz	More...				3 months ago
postproc: fix default for acd and interaction with colored	Alexandre Duret-Lutz	More...				3 months ago
ltlsynt: fix --global-equiv	Alexandre Duret-Lutz	More...				3 months ago
remove_alternation: option to return nullptr if too many sets needed	Alexandre Duret-Lutz	More...				3 months ago
bump copyright to 2024	Alexandre Duret-Lutz	More...				4 months ago
* spot/twaalgos/aiger.cc: Work around gcc snapshot diagnostics.	Alexandre Duret-Lutz	More...				5 months ago
* spot/bricks/brick-assert: include <cstdint>.	Alexandre Duret-Lutz	More...				5 months ago
strength: generalize is_safety_automaton to any type of automata	Alexandre Duret-Lutz	More...				5 months ago

←
1
2
3
4
5
6
7
8
9
…
220
221
→