Commits · 6edb6c472a5811f62b0c20e8ab5caa3870e8a509 · Benjamin Monmege / Alligators-python · GitLab

Snippets Groups Projects

Jun 30, 2022
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · 6edb6c47
  Antonio MATTAR authored 2 years ago
  
  6edb6c47
- -Added the stars to the reductors // -Added the comptability of the clear cmd... · 0026f5bb
  Antonio MATTAR authored 2 years ago
  0026f5bb
- changed the (Y/n) and added the prints in beta_red · cefb1fa3
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  cefb1fa3
Jun 29, 2022
- readme and requirements · b08c4840
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  b08c4840
- readme · b313d09a
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  b313d09a
- readme · 881c3792
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  881c3792
- readme · 7ff04a30
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  7ff04a30
- readme · 0c47758f
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  0c47758f
- readme · 2f59921c
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  2f59921c
- readme · cc0f405d
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  cc0f405d
- readme · ca346d01
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  ca346d01
- the beginning of the readme · 5783d388
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  5783d388
- added the infinite term · a1e03b9f
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  a1e03b9f
Jun 28, 2022
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · 9ff64882
  Antonio MATTAR authored 2 years ago
  
  9ff64882
- -Fixed the variables letters problem // -Added operations execution possibilty · be76f1d7
  Antonio MATTAR authored 2 years ago
  
  be76f1d7
- added arithmetic functions to the menu and app_functions, added the infinite beta reduction · 5890c3d1
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  5890c3d1
- -Added required modules to requirements file // -Fixed a bug in main.py · ea904a3a
  Antonio MATTAR authored 2 years ago
  
  ea904a3a
- -Added the feature of directly deleting the temp file after using it. · c20ce2dc
  Antonio MATTAR authored 2 years ago
  
  c20ce2dc
- -Added the good save option // -Added stars next to the alligators that are... · d3e70745
  Antonio MATTAR authored 2 years ago
  d3e70745
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · df3c4d43
  Antonio MATTAR authored 2 years ago
  
  df3c4d43
Jun 27, 2022
- added arithmetic expressions to app functions and main · f39ab522
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  f39ab522
- -Added save images option to beta_reduction · 1c0cd91f
  Antonio MATTAR authored 2 years ago
  
  1c0cd91f
Jun 24, 2022
- -Added the SUB-AND-OR-NOT operators // -Added 2 parameters for date and counter in captureImage · 5c7f0842
  Antonio MATTAR authored 3 years ago
  
  5c7f0842
- fixed a typo · 3c31d61d
  Antonio MATTAR authored 3 years ago
  
  3c31d61d
- -Added a feature to get an infinty of colors! · 4e40d5a5
  Antonio MATTAR authored 3 years ago
  
  4e40d5a5
Jun 23, 2022
- -Added by default no saveImages for arithmetic operations with reductions. · 9a324cb7
  Antonio MATTAR authored 3 years ago
  
  9a324cb7
- -Added more colors // -Fixed the requirements file // - Added a saveImages... · 33652c93
  Antonio MATTAR authored 3 years ago
  33652c93
Jun 22, 2022
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · dd1e3549
  Antonio MATTAR authored 3 years ago
  
  dd1e3549
- -Added the main menu // - Fixed save image to save each type of cmd in a specific folder · 39da3e9a
  Antonio MATTAR authored 3 years ago
  
  39da3e9a
- added more variables · bcfb3ad9
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  bcfb3ad9
- added arithmetic and logic fubctions to app_func · 1eb7d601
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  1eb7d601
- added the file app_functions · 48855d4c
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  48855d4c
- -Fixed the beta reduction (alpha-rename issue)// -Fixed the to_string to show... · 2235f4f7
  Antonio MATTAR authored 3 years ago
  2235f4f7
Jun 21, 2022
- -Added a cleanReductions function · 993b6bc9
  Antonio MATTAR authored 3 years ago
  
  993b6bc9
Jun 20, 2022
- -Fixed the counter error · a5a0974b
  Antonio MATTAR authored 3 years ago
  
  a5a0974b
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · 6b62d7b8
  Antonio MATTAR authored 3 years ago
  
  6b62d7b8
- fixed beta_reduction_choice_n · 91b1e2ff
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  91b1e2ff
Jun 17, 2022
- added beta_reduction_interactive and beta-reduction_interactive_totale and fixed to_String · aa02cfe2
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  aa02cfe2
- added "annotated_to_string" function · 2b4992ea
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  2b4992ea
- -Added the annotated_beta_reduction · 2bc43de6
  Antonio MATTAR authored 3 years ago
  
  2bc43de6