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 8 of 219 Search / Filter on:
use bdd_restrict more	Alexandre Duret-Lutz	More...				about 2 years ago
stats: add options to count unreachable states and transitions	Alexandre Duret-Lutz	More...				about 2 years ago
* bin/common_aoutput.cc: Missing space in doc string.	Alexandre Duret-Lutz	More...				about 2 years ago
add a .mailmap for git	Alexandre Duret-Lutz	More...				about 2 years ago
reduce_parity: expose the internal vectors of colors	Alexandre Duret-Lutz	More...				over 2 years ago
reduce_parity: add layered option	Alexandre Duret-Lutz	More...				over 2 years ago
* .gitlab-ci.yml (debian-unstable-gcc-coverage): Disable devel mode.	Alexandre Duret-Lutz	More...				over 2 years ago
relabel: fix handling of concat and fusion	Alexandre Duret-Lutz	More...				over 2 years ago
* doc/org/init.el.in: Typo in comment.	Alexandre Duret-Lutz	More...				over 2 years ago
* NEWS: Add news entry for previous fix.	Alexandre Duret-Lutz	More...				over 2 years ago
substitute @LIBSPOT_PTHREAD@ in spot/libspot.pc	Alexandre Duret-Lutz	More...				over 2 years ago
* .gitlab-ci.yml: Fail if coverage goes below 90.7%.	Alexandre Duret-Lutz	More...				over 2 years ago
org: work around newer org-mode not displaying SVG as <object>	Alexandre Duret-Lutz	More...				over 2 years ago
fix some typos	Alexandre Duret-Lutz	More...				over 2 years ago
replace bdd_relprod by bdd_restrict	Alexandre Duret-Lutz	More...				over 2 years ago
* NEWS, configure.ac: Bump version to 2.11.1.dev.	Alexandre Duret-Lutz	More...				over 2 years ago
Release Spot 2.11.1	Alexandre Duret-Lutz	More...				over 2 years ago
CI: fix upload of stable Debian packages for amd64	Alexandre Duret-Lutz	More...				over 2 years ago
org: mention "make check" and the new GPG key	Alexandre Duret-Lutz	More...				over 2 years ago
hoa: add missing include	Alexandre Duret-Lutz	More...				over 2 years ago
* NEWS, configure.ac: Bump version to 2.11.0.dev.	Alexandre Duret-Lutz	More...				over 2 years ago
Release Spot 2.11	Alexandre Duret-Lutz	More...				over 2 years ago
* .gitlab-ci.yml (publish-unstable): Publish both amd64 and i386.	Alexandre Duret-Lutz	More...				over 2 years ago
CI: work around GIT_STRATEGY=none not cleaning the build dir	Alexandre Duret-Lutz	More...				over 2 years ago
* tests/Makefile.am (.ipynb.html): Use classic template.	Alexandre Duret-Lutz	More...				over 2 years ago
lazy eval for sat mealy minimization	Philipp Schlehuber-Caissier	More...				over 2 years ago
fix previous patch	Alexandre Duret-Lutz	More...				over 2 years ago
translate, postproc: improve parity output	Alexandre Duret-Lutz	More...				over 2 years ago
Update troubleshouting instruction for Python bindings	Alexandre Duret-Lutz	More...				over 2 years ago
toparity: cover more options	Alexandre Duret-Lutz	More...				over 2 years ago

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