Spot

Settings | Report Duplicate

4

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 9 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 24, 2023 — Apr 24, 2024 Showing page 1 of 221 Search / Filter on:
* NEWS: Fix some typos.	Alexandre Duret-Lutz	More...				6 days ago
* tests/sanity/style.test: Fix spurious failure.	Alexandre Duret-Lutz	More...				6 days ago
Rename split_independant_formulas	Florian Renkin	More...				9 days ago
Rename minimize_obligation_garanteed_to_work	Florian Renkin	More...				9 days ago
Fix typos in doc, comments and messages	Florian Renkin	More...				9 days ago
* .gitlab-ci.yml: Use CI_JOB_ID instead of CI_PIPELINE_ID.	Alexandre Duret-Lutz	More...				15 days ago
* spot/twaalgos/split.hh: Typo in comment.	Alexandre Duret-Lutz	More...				15 days ago
ltlsynt implement polarity and gequiv after decomposition too	Alexandre Duret-Lutz	More...				20 days ago
man: fix several issues	Alexandre Duret-Lutz	More...				21 days ago
help2man: work around some utf8 issues	Alexandre Duret-Lutz	More...				22 days ago
ltl2tgba_fm: simplify the ratexp_to_dfa interface	Alexandre Duret-Lutz	More...				22 days ago
Small fixes in the man pages	pierreganty	More...				29 days ago
modernize some Python code	Alexandre Duret-Lutz	More...				30 days ago
require python 3.6	Alexandre Duret-Lutz	More...				30 days ago
autfilt: add option --separate-edges	Alexandre Duret-Lutz	More...				about 1 month ago
* doc/org/tut25.org: Minor corrections.	pierreganty	More...				about 1 month ago
determinize: speedup on automata with many AP and few labels	Alexandre Duret-Lutz	More...				about 1 month ago
genaut: add two families of cyclic automata	Alexandre Duret-Lutz	More...				about 1 month ago
simulation: heuristically use a separated-label approach to rebuild	Alexandre Duret-Lutz	More...				about 1 month ago
minimize: t acceptance is compatible with wdba-minimization	Alexandre Duret-Lutz	More...				about 1 month ago
hoa: add option 'b' to build an alias-based basis for all labels	Alexandre Duret-Lutz	More...				about 1 month ago
acc: work around a Swig 4.2.1 bug	Alexandre Duret-Lutz	More...				about 1 month 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

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