concuerror

Hex

Concuerror: Stateless Model Checking tool for Erlang programs

Versions collected1

Direct dependencies1From release 0.21.0

Last observed22 Oct, 14:30 UTC

Downloads & popularity

4downloads

1-day window · source-reported counts22 Oct 2026

420

20 Oct22 Oct

hex · 2 observations shown. Missing days are unknown.

View observed values

Date / source period	Value	Observed at
2026-10-22	4	2026-10-22T14:30:55.2564128Z
2026-10-20	4	2026-10-20T18:58:21.8237044Z

Collected releases

Version	Published	Direct dependencies	Open version
0.21.0Registry latest	31 Oct 2020	1

No matching advisories collected

This describes our collected data; it is not a security assessment.

PENDING

Shared repository data · GitHub

Meaningful changes

Current collected state Current

Observed since 20 Oct, 18:58 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

package:b767949b13f8299dcae3c3e74059c581c3091530e65ce3eaf96eab35721efba2