Commits · main · Baudoin Solal / atmbanque

Feb 03, 2025
- Modification du readme.md · 454c0560
  Halil Amazigh authored 2 months ago
  
  454c0560
- correction du testcase ATM · bb36155b
  De Bourgoing Nicolas authored 2 months ago
  
  bb36155b
- final readme · 700ace35
  Halil Amazigh authored 2 months ago
  
  700ace35
- Merge branch 'main' of https://gitlab-student.centralesupelec.fr/solal.baudoin/atmbanque · 88384c31
  Halil Amazigh authored 2 months ago
  
  88384c31
- clarification de syntaxe · b76ac13f
  Halil Amazigh authored 2 months ago
  
  b76ac13f
- Merge branch 'main' of https://gitlab-student.centralesupelec.fr/solal.baudoin/atmbanque · f64a7bfa
  Baudoin Solal authored 2 months ago
  
  f64a7bfa
- final touches · f075756c
  Baudoin Solal authored 2 months ago
  
  f075756c
- Readapting output format for the test · 9b1104b4
  Halil Amazigh authored 2 months ago
  
  9b1104b4
- smol cleanup · c22ef0b0
  Baudoin Solal authored 2 months ago
  
  c22ef0b0
- fix dataclass (lol) · e9f2f219
  Baudoin Solal authored 2 months ago
  
  e9f2f219
- Merge branch 'main' of https://gitlab-student.centralesupelec.fr/solal.baudoin/atmbanque · 814326e4
  Baudoin Solal authored 2 months ago
  
  814326e4
- fix randomness issues, clean up pycache · 923e7bba
  Baudoin Solal authored 2 months ago
  
  923e7bba
- débug final de l'ajout des transitions, ça marche · 08c4fa82
  De Bourgoing Nicolas authored 2 months ago
  
  08c4fa82
- Merge branch 'main' of https://gitlab-student.centralesupelec.fr/solal.baudoin/atmbanque · 35339811
  De Bourgoing Nicolas authored 2 months ago
  
  35339811
- Update 21 files · 2dba0b1c
  Halil Amazigh authored 2 months ago
  
  - /example_testcases/testcases_ABS.json - /example_testcases/testcases_platoonJoinMS.json - /example_testcases/testcases_platoonJoinRS.json - /example_testcases/testcases_washMachine.json - /IOSM_guards.py - /oracle_guards.py - /multigraph_guards.py - /test_bip.py - /IOSMS/ATM_MODIFIED.xlia - /IOSMS/BANK_MODIFIED.xlia - /IOSMS/coffeemachine.xlia - /automatic_test_multigraph.py - /manual_test_multigraph.py - /Temporized_IOSMs (incomplete)/IOSM_guards.py - /Temporized_IOSMs (incomplete)/oracle_guards.py - /Temporized_IOSMs (incomplete)/multigraph_guards.py - /IOSMS/Parallelizable_ATM.xlia - /IOSMS/Parallelizable_Bank.xlia - /IOSMS/SodaMachine.xlia - /automatic_test.py - /deprecated/manual_test.py
  2dba0b1c
- Merge branch 'main' of https://gitlab-student.centralesupelec.fr/solal.baudoin/atmbanque · b15d940b
  De Bourgoing Nicolas authored 2 months ago
  
  b15d940b
- Add new directory · 353b591d
  Halil Amazigh authored 2 months ago
  
  353b591d
- Merge branch 'revert-fc205cd8 ' into 'main' · 36a67e5b
  Halil Amazigh authored 2 months ago
  
  Revert "Delete oracle_guards.py" See merge request !3
  36a67e5b
- Revert "Delete oracle_guards.py" · 12677bd1
  Halil Amazigh authored 2 months ago
  
  This reverts commit fc205cd8
  12677bd1
- Delete oracle_guards.py · fc205cd8
  Halil Amazigh authored 2 months ago
  
  fc205cd8
- Delete test_bb.py · 4916614f
  Halil Amazigh authored 2 months ago
  
  4916614f
- Merge branch 'main' of https://gitlab-student.centralesupelec.fr/solal.baudoin/atmbanque · 471aab0b
  De Bourgoing Nicolas authored 2 months ago
  
  471aab0b
- màj débuggage de distr_to_iosm · 29cd1dac
  De Bourgoing Nicolas authored 2 months ago
  
  29cd1dac
Feb 02, 2025
- started writing README · ef51cef4
  Ayadi Mahdi authored 2 months ago
  
  ef51cef4
Jan 31, 2025
- Merge branch 'main' of https://gitlab-student.centralesupelec.fr/solal.baudoin/atmbanque · a9f40d95
  Halil Amazigh authored 2 months ago
  
  a9f40d95
- Beaucoup de petits changements un peu partout, début d'implémentation de... · cc745234
  Halil Amazigh authored 2 months ago
  
  Beaucoup de petits changements un peu partout, début d'implémentation de fonctions avec des guards elles bug pas mais la fonction clean_condition dans IOSM ne fait pas correctement son travail
  cc745234
- complétion et correction de distr_to_IOSM · be1d24ee
  De Bourgoing Nicolas authored 2 months ago
  
  be1d24ee
Jan 30, 2025
- Ajout de distr_to_IOSM · 3c5e0e7f
  De Bourgoing Nicolas authored 2 months ago
  
  3c5e0e7f
- maj de l'oracle pour récupérer les variables émises · 6d805353
  Baudoin Solal authored 2 months ago
  
  6d805353
- Merge branch 'main' of https://gitlab-student.centralesupelec.fr/solal.baudoin/atmbanque · 3bc16dc5
  Baudoin Solal authored 2 months ago
  
  3bc16dc5
- manual_test_multigraph fixed · 9e887c8b
  Ayadi Mahdi authored 2 months ago
  
  9e887c8b
- cleanup · 11d95f7f
  Baudoin Solal authored 2 months ago
  
  11d95f7f
- début de travail sur le test automatique · 4c540037
  Baudoin Solal authored 2 months ago
  
  4c540037
- Merge branch 'main' of https://gitlab-student.centralesupelec.fr/solal.baudoin/atmbanque · 9a7f3adc
  Halil Amazigh authored 2 months ago
  
  9a7f3adc
- Ajout d'attribut pour multigraph · ae4a21c7
  Halil Amazigh authored 2 months ago
  
  ae4a21c7
Jan 29, 2025
- cleanup · e46c2966
  Baudoin Solal authored 2 months ago
  
  e46c2966
- upload blackboxes du groupe modélisation · a36771db
  Baudoin Solal authored 2 months ago
  
  a36771db
- Merge branch 'main' of https://gitlab-student.centralesupelec.fr/solal.baudoin/atmbanque · a44cabd4
  Baudoin Solal authored 2 months ago
  
  a44cabd4
- retirer le readme de base, ajouter le premier algo (sans multigraphe pour la référence) · cab91261
  Baudoin Solal authored 2 months ago
  
  cab91261
- dernière version parser · e6e40ca8
  Baudoin Solal authored 2 months ago
  
  e6e40ca8