Commits · e22454a571c107b08194bb829e71628f00b4d05f · Benjamin Monmege / Alligators-python · GitLab

Snippets Groups Projects

Jun 30, 2022
- -Added the stars to the reductors // -Added the comptability of the clear cmd... · 0026f5bb
  Antonio MATTAR authored 3 years ago
  0026f5bb
- changed the (Y/n) and added the prints in beta_red · cefb1fa3
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  cefb1fa3
Jun 29, 2022
- added the infinite term · a1e03b9f
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  a1e03b9f
Jun 28, 2022
- -Fixed the variables letters problem // -Added operations execution possibilty · be76f1d7
  Antonio MATTAR authored 3 years ago
  
  be76f1d7
- added arithmetic functions to the menu and app_functions, added the infinite beta reduction · 5890c3d1
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  5890c3d1
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · df3c4d43
  Antonio MATTAR authored 3 years ago
  
  df3c4d43
Jun 27, 2022
- added arithmetic expressions to app functions and main · f39ab522
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  f39ab522
- -Added save images option to beta_reduction · 1c0cd91f
  Antonio MATTAR authored 3 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
Jun 23, 2022
- -Added more colors // -Fixed the requirements file // - Added a saveImages... · 33652c93
  Antonio MATTAR authored 3 years ago
  33652c93
Jun 22, 2022
- -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
- -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
Jun 15, 2022
- -Fixed .split(' ') error and replaced it with new function · acd7dc37
  Antonio MATTAR authored 3 years ago
  
  acd7dc37
Jun 14, 2022
- -fixed to_string · c149129f
  Antonio MATTAR authored 3 years ago
  
  c149129f
Jun 13, 2022
- l · e5e9e1cb
  Antonio MATTAR authored 3 years ago
  
  e5e9e1cb
- Adding the class My_image and fixing the size of the eggs · 79b2e948
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  79b2e948
Jun 09, 2022
- -Fixed bugs and added image capture at each reduction. · 426d9c34
  Antonio MATTAR authored 3 years ago
  
  426d9c34
Jun 08, 2022
- -Added createImage function in image_maker.py · e15fb9d3
  Antonio MATTAR authored 3 years ago
  
  e15fb9d3
- -Added many new things · 8fbe3764
  Antonio MATTAR authored 3 years ago
  
  8fbe3764
Jun 03, 2022
- -Added the toString function. · 090c0cca
  Antonio MATTAR authored 3 years ago
  
  090c0cca
Jun 02, 2022
- -Added beta_reduction_totale function · 22d5f15f
  Antonio MATTAR authored 3 years ago
  
  22d5f15f
Jun 01, 2022
- -Fixed bugs · 7a3d0582
  Antonio MATTAR authored 3 years ago
  
  7a3d0582
- Fixed Beta reduction recursivity · 037aceb2
  Antonio MATTAR authored 3 years ago
  
  037aceb2
May 31, 2022
- fonction beta_reduction corrigée · 860a2a1a
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  860a2a1a
- beta_reduction function · a1147699
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  a1147699
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · d20c997a
  Antonio MATTAR authored 3 years ago
  
  d20c997a
- Added the function freshVar that creates fresh variables and edited new_var · bc506fc2
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  bc506fc2
May 30, 2022
- test · f422cc5d
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  
  f422cc5d
- -Added the getBoundVariables function · a9665155
  Antonio MATTAR authored 3 years ago
  
  a9665155
- Added simple_beta_reduction · 085a73ad
  Antonio MATTAR authored 3 years ago
  
  085a73ad
- Added simple_beta_reduction · 07178453
  Antonio MATTAR authored 3 years ago
  
  07178453
- Removed the simple_beta_reduction function which is not complete yet. · a558685e
  Antonio MATTAR authored 3 years ago
  
  a558685e