haal-models: Pre-built Mealy automaton models for haal.
A collection of real-world Mealy automaton models (DTLS, MQTT, TCP, TLS) bundled for use with the haal library.
Modules
[Index] [Quick Jump]
- Haal
- Models
- DTLS
- Haal.Models.DTLS.CtinydtlsEcdheCertNone
- Haal.Models.DTLS.CtinydtlsEcdheCertReq
- Haal.Models.DTLS.CtinydtlsPsk
- Haal.Models.DTLS.EtinydtlsEcdheCertNone
- Haal.Models.DTLS.EtinydtlsEcdheCertReq
- Haal.Models.DTLS.EtinydtlsPsk
- Haal.Models.DTLS.GnutlsV3V5V19PskRsaCertNreq
- Haal.Models.DTLS.JsseV12RsaCertNone
- Haal.Models.DTLS.JsseV12RsaCertNreq
- Haal.Models.DTLS.JsseV12RsaCertReq
- Haal.Models.DTLS.MbedtlsAllCertNone
- Haal.Models.DTLS.MbedtlsAllCertNreq
- Haal.Models.DTLS.MbedtlsAllCertReq
- Haal.Models.DTLS.NssV3V6V7DheEcdheRsa
- Haal.Models.DTLS.OpensslV1V1V1bAllCertNoneNreq
- Haal.Models.DTLS.OpensslV1V1V1bAllCertNreq
- Haal.Models.DTLS.OpensslV1V1V1bAllCertReq
- Haal.Models.DTLS.PionEcdheCertNone
- Haal.Models.DTLS.PionEcdheCertNreq
- Haal.Models.DTLS.PionEcdheCertReq
- Haal.Models.DTLS.PionPsk
- Haal.Models.DTLS.ScandiumLatestEcdheCertNone
- Haal.Models.DTLS.ScandiumLatestEcdheCertNreq
- Haal.Models.DTLS.ScandiumLatestEcdheCertReq
- Haal.Models.DTLS.ScandiumLatestPsk
- Haal.Models.DTLS.ScandiumV2V0V0EcdheCertNone
- Haal.Models.DTLS.ScandiumV2V0V0EcdheCertNreq
- Haal.Models.DTLS.ScandiumV2V0V0EcdheCertReq
- Haal.Models.DTLS.ScandiumV2V0V0Psk
- MQTT
- Haal.Models.MQTT.ActiveMQInvalid
- Haal.Models.MQTT.ActiveMQNonClean
- Haal.Models.MQTT.ActiveMQSimple
- Haal.Models.MQTT.ActiveMQSingleClient
- Haal.Models.MQTT.ActiveMQTwoClientWillRetain
- Haal.Models.MQTT.EmqttInvalid
- Haal.Models.MQTT.EmqttNonClean
- Haal.Models.MQTT.EmqttSimple
- Haal.Models.MQTT.EmqttSingleClient
- Haal.Models.MQTT.EmqttTwoClient
- Haal.Models.MQTT.EmqttTwoClientSameId
- Haal.Models.MQTT.EmqttTwoClientWillRetain
- Haal.Models.MQTT.HbmqttInvalid
- Haal.Models.MQTT.HbmqttNonClean
- Haal.Models.MQTT.HbmqttSimple
- Haal.Models.MQTT.HbmqttSingleClient
- Haal.Models.MQTT.HbmqttTwoClient
- Haal.Models.MQTT.HbmqttTwoClientWillRetain
- Haal.Models.MQTT.MosquittoInvalid
- Haal.Models.MQTT.MosquittoMosquitto
- Haal.Models.MQTT.MosquittoNonClean
- Haal.Models.MQTT.MosquittoSingleClient
- Haal.Models.MQTT.MosquittoTwoClient
- Haal.Models.MQTT.MosquittoTwoClientSameId
- Haal.Models.MQTT.MosquittoTwoClientWillRetain
- Haal.Models.MQTT.VerneMQInvalid
- Haal.Models.MQTT.VerneMQNonClean
- Haal.Models.MQTT.VerneMQSimple
- Haal.Models.MQTT.VerneMQSingleClient
- Haal.Models.MQTT.VerneMQTwoClient
- Haal.Models.MQTT.VerneMQTwoClientSameId
- Haal.Models.MQTT.VerneMQTwoClientWillRetain
- TCP
- TLS
- DTLS
- Models
Downloads
- haal-models-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0 |
|---|---|
| Dependencies | base (>=4.18.3 && <5), containers (>=0.6.7 && <0.8), haal [details] |
| License | BSD-3-Clause |
| Copyright | 2025 Stefanos Anagnostou |
| Author | Stefanos Anagnostou |
| Maintainer | steve.anunknown@gmail.com |
| Uploaded | by steve_anunknown at 2026-03-21T17:00:14Z |
| Category | Model Learning |
| Home page | https://github.com/steve-anunknown/haal#readme |
| Bug tracker | https://github.com/steve-anunknown/haal/issues |
| Source repo | head: git clone https://github.com/steve-anunknown/haal |
| Downloads | 0 total (0 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2026-03-21 [all 1 reports] |