Commits · 5b526616f27b7fc50e6fa2341279a9d42efa797f · 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.

Mar 02, 2021
- small fix in abc with reject automaton. add of more tests and benchmark · 95c83834
  Bentriou Mahmoud authored 4 years ago
  
  95c83834
Feb 28, 2021
- Small fix in ABC euclideau distance automaton for distributed abc. · 4c4abbfa
  Bentriou Mahmoud authored 4 years ago
  4c4abbfa
- Add of a new automaton related to ABC. · de9fbd7e
  Bentriou Mahmoud authored 4 years ago
  de9fbd7e
- small change about static vectors of euclidean distance automata · e4859870
  Bentriou Mahmoud authored 4 years ago
  
  e4859870
Feb 24, 2021
- small change in flow automata · 4293febb
  Bentriou Mahmoud authored 4 years ago
  
  4293febb
- Finally I managed to improve the performance of function access of LHA. · dc5689b5
  Bentriou Mahmoud authored 4 years ago
  dc5689b5
- Go back to the best performance version of bench/pkg/sim_sync_R6.jl · c5af570e
  Bentriou Mahmoud authored 4 years ago
  
  c5af570e
- I've implemented another way of dispatching check_constraints and · 961bab06
  Bentriou Mahmoud authored 4 years ago
  961bab06
Feb 23, 2021
- I tried to optimize with multiple dispatch and types but it doesn't work. · 0ffb9f9d
  Bentriou Mahmoud authored 4 years ago
  
  0ffb9f9d
Feb 22, 2021
- The new meta paradigm was extended to all automata and models · f98cd441
  Bentriou Mahmoud authored 4 years ago
  f98cd441
Feb 21, 2021
- Fix of the segfault generated by the euclidean automaton test. · dd619a95
  Bentriou Mahmoud authored 4 years ago
  dd619a95
- Meta code generation for next_state! and simulation of synchronized... · 43a3f23f
  Bentriou Mahmoud authored 4 years ago
  43a3f23f
Feb 18, 2021
- Another rewriting of LHA methods. Improves readability and avoid an · 9cf25cea
  Bentriou Mahmoud authored 4 years ago
  9cf25cea
Feb 17, 2021
- Rewriting semantics for functions of a LHA, we change the signature of · b2089a2e
  Bentriou Mahmoud authored 4 years ago
  b2089a2e
Feb 16, 2021
- nothing instead of [nothing] for asynchronous edges transitions is a better semantic · 29d43eec
  Bentriou Mahmoud authored 4 years ago
  
  29d43eec
- add of a new automaton for computing euclidean distances + tests · 119c1c41
  Bentriou Mahmoud authored 4 years ago
  
  119c1c41
Feb 14, 2021
- big fix of period automaton, updates of mean and var were false · f589101f
  Bentriou Mahmoud authored 4 years ago
  
  f589101f
- fix deepcopy model.jl + fix plot oscillatory trajectory + small fix period automaton · 7e6d6ee9
  Bentriou Mahmoud authored 4 years ago
  
  7e6d6ee9
Feb 12, 2021
- fix of an edge with distance for period automaton · c7e07a4d
  Bentriou Mahmoud authored 4 years ago
  
  c7e07a4d
Feb 03, 2021
- small fix g automaton · 282b4f27
  Bentriou Mahmoud authored 4 years ago
  
  282b4f27
- small fix when x0 is absorbing for automaton G F · 4221647a
  Bentriou Mahmoud authored 4 years ago
  
  4221647a
Feb 01, 2021
- All automata were readapted and are in accordance with the last description of... · 8bb99324
  Bentriou Mahmoud authored 4 years ago
  8bb99324
Jan 28, 2021
- performance improvement of euclidean distance automaton · 33f82cc3
  Bentriou Mahmoud authored 4 years ago
  
  33f82cc3
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
- Add of 2 automata: · d4f93e9d
  Bentriou Mahmoud authored 4 years ago
  d4f93e9d
- 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
Dec 03, 2020
- Renaming of fields for more readability · 48a39408
  Bentriou Mahmoud authored 4 years ago
  
  48a39408
Dec 01, 2020
- Test of distance G automaton passes! · f4c41acb
  Bentriou Mahmoud authored 4 years ago
  f4c41acb
Nov 30, 2020
- A major fix in simulation was done, side effect issue, an efficient · c095bee4
  Bentriou Mahmoud authored 4 years ago
  c095bee4
Nov 25, 2020
- Improvement of the simulation core, less memory allocated. · 146e2afa
  Bentriou Mahmoud authored 4 years ago
  
  146e2afa