Spot

Settings | Report Duplicate

4

I Use This!

Activity Not Available

Commits : Listings

Analyzed 12 months ago. based on code collected 12 months ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 18, 2023 — Jan 18, 2024 Showing page 1 of 219 Search / Filter on:
bump copyright to 2024	Alexandre Duret-Lutz	More...				12 months ago
* spot/twaalgos/aiger.cc: Work around gcc snapshot diagnostics.	Alexandre Duret-Lutz	More...				about 1 year ago
* spot/bricks/brick-assert: include <cstdint>.	Alexandre Duret-Lutz	More...				about 1 year ago
strength: generalize is_safety_automaton to any type of automata	Alexandre Duret-Lutz	More...				about 1 year ago
* spot/tl/hierarchy.cc: Typo in comment.	Alexandre Duret-Lutz	More...				about 1 year ago
python: add get_highlight_state and get_highlight_edge	Alexandre Duret-Lutz	More...				about 1 year ago
twa: guard against highlighting of non-existing edges and states	Alexandre Duret-Lutz	More...				about 1 year ago
twa: fix issue #555 better	Alexandre Duret-Lutz	More...				about 1 year ago
remove many useless includes	Alexandre Duret-Lutz	More...				about 1 year ago
* HACKING: Mention bear, to build compile_commands.json.	Alexandre Duret-Lutz	More...				about 1 year ago
auts_to_aiger: Fix output name index	Florian Renkin	More...				about 1 year ago
work around some gcc 9.4 warnings	Alexandre Duret-Lutz	More...				about 1 year ago
hoa: do not output empty highlighting maps	Alexandre Duret-Lutz	More...				about 1 year ago
twagraph: fix highlight-edges in defrag_states	Alexandre Duret-Lutz	More...				about 1 year ago
python: add easy ways to remove highlights	Alexandre Duret-Lutz	More...				about 1 year ago
hoa: improve the diagnostic for unregistered propositions	Alexandre Duret-Lutz	More...				about 1 year ago
acc: improve the "too many acceptance sets used" message	Alexandre Duret-Lutz	More...				about 1 year ago
stength: fix detection of terminal automata	Alexandre Duret-Lutz	More...				about 1 year ago
Upgrade the Copyright strings to point to AUTHORS and drop years	Alexandre Duret-Lutz	More...				about 1 year ago
parity: don't change_parity to the same acceptance	Alexandre Duret-Lutz	More...				about 1 year ago
never iterate on the edge_vector()	Alexandre Duret-Lutz	More...				about 1 year ago
translate: fix #551	Alexandre Duret-Lutz	More...				about 1 year ago
translate: fix relabel-overlap setting	Alexandre Duret-Lutz	More...				about 1 year ago
sccfilter: some inherently-weak automata should have t acceptance	Alexandre Duret-Lutz	More...				about 1 year ago
autfilt: fix a typo in the --help output	Alexandre Duret-Lutz	More...				about 1 year ago
ltsmin: make it easier to find the README	Alexandre Duret-Lutz	More...				about 1 year ago
* .gitlab-ci.yml (rpm-pkg): Start from the make-dist tarball.	Alexandre Duret-Lutz	More...				about 1 year ago
parseaut: allow false edges to not be dropped	Alexandre Duret-Lutz	More...				about 1 year ago
parseaut: update highlight-edges when edges are dropped/added	Alexandre Duret-Lutz	More...				about 1 year ago
gfguarante: update citation	Alexandre Duret-Lutz	More...				about 1 year ago

←
1
2
3
4
5
6
7
8
9
…
218
219
→