Commits · ec345f72f54cfdff1ef401968f646d698cf578eb · Bentriou Mahmoud / MarkovProcesses.jl · GitLab

Snippets Groups Projects

Pour des raisons de sécurité, une mise à jour des serveurs Gitlab sera effectuée le lundi 26/05/2025 entre 10:00h et 12:00h. Une interruption de service est à prévoir. Merci de votre compréhension.

Jan 27, 2021
- Creation of automata has been change again to improve performance. Now · 886e9d98
  Bentriou Mahmoud authored 4 years ago
  886e9d98
Jan 25, 2021
- Supplementary checks on automata + small fix on unit tests · b1c40b0f
  Bentriou Mahmoud authored 4 years ago
  
  b1c40b0f
- 1) Detection of a bug when two synchronized models with two different · 00b622f3
  Bentriou Mahmoud authored 4 years ago
  00b622f3
Jan 23, 2021
- 1) LHA now have names. 2) Period automaton executes well and was runned on the... · 575ef324
  Bentriou Mahmoud authored 4 years ago
  575ef324
Jan 16, 2021
- Improvement of the distributed simulation paradigm of the package. · da3146df
  Bentriou Mahmoud authored 4 years ago
  da3146df
Jan 10, 2021
- pretty print lha + better semantic for true inv predicate · b3e1e771
  Bentriou Mahmoud authored 4 years ago
  
  b3e1e771
Dec 22, 2020
- add check of labeling proposition in find_edge_candidates · 608d99b5
  Bentriou Mahmoud authored 4 years ago
  
  608d99b5
Dec 10, 2020
- Speed up performance for LHA core files. · dfcc663d
  Bentriou Mahmoud authored 4 years ago
  dfcc663d
Dec 09, 2020
- Variables, parameters and transitions of models are now represented as · 8fa83b7f
  Bentriou Mahmoud authored 4 years ago
  8fa83b7f
- Change of types: String => Symbol for locations, constants, · c3d6a1f7
  Bentriou Mahmoud authored 4 years ago
  c3d6a1f7
- Some special cases with absorbing states were fixed in the construction · 667eebf5
  Bentriou Mahmoud authored 4 years ago
  667eebf5
Dec 07, 2020
- Automaton G and F works and is statistically tested with Cosmos. · 51eee9c4
  Bentriou Mahmoud authored 4 years ago
  51eee9c4