Commits · 881c3792210805d8593d88e645b0b4e7c4ce331d · Benjamin Monmege / Alligators-python · GitLab

Snippets Groups Projects

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