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

Snippets Groups Projects

Jun 28, 2022
- -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 2 years ago
  
  5c7f0842
- fixed a typo · 3c31d61d
  Antonio MATTAR authored 2 years ago
  
  3c31d61d
- -Added a feature to get an infinty of colors! · 4e40d5a5
  Antonio MATTAR authored 2 years ago
  
  4e40d5a5
Jun 23, 2022
- -Added by default no saveImages for arithmetic operations with reductions. · 9a324cb7
  Antonio MATTAR authored 2 years ago
  
  9a324cb7
- -Added more colors // -Fixed the requirements file // - Added a saveImages... · 33652c93
  Antonio MATTAR authored 2 years ago
  33652c93
Jun 22, 2022
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · dd1e3549
  Antonio MATTAR authored 2 years ago
  
  dd1e3549
- -Added the main menu // - Fixed save image to save each type of cmd in a specific folder · 39da3e9a
  Antonio MATTAR authored 2 years ago
  
  39da3e9a
- added more variables · bcfb3ad9
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  bcfb3ad9
- added arithmetic and logic fubctions to app_func · 1eb7d601
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  1eb7d601
- added the file app_functions · 48855d4c
  Tamazouzt AIT ELDJOUDI authored 2 years ago
  
  48855d4c
- -Fixed the beta reduction (alpha-rename issue)// -Fixed the to_string to show... · 2235f4f7
  Antonio MATTAR authored 2 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
- -Added the old_alligator feature. · b48ee57f
  Antonio MATTAR authored 3 years ago
  
  b48ee57f
- -fixed to_string · c149129f
  Antonio MATTAR authored 3 years ago
  
  c149129f
Jun 13, 2022
- -fixed some bugs · 5a6574ad
  Antonio MATTAR authored 3 years ago
  
  5a6574ad
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · 8c43b50f
  Antonio MATTAR authored 3 years ago
  
  8c43b50f
- 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
- -Fixed bugs · 00c56e32
  Antonio MATTAR authored 3 years ago
  
  00c56e32
- -Improved createImage function. · f60dfaa8
  Antonio MATTAR authored 3 years ago
  
  f60dfaa8
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · 844ad77c
  Antonio MATTAR authored 3 years ago
  
  844ad77c
- -Added createImage function in image_maker.py · e15fb9d3
  Antonio MATTAR authored 3 years ago
  
  e15fb9d3
- Delete image.png · 068b1948
  Antonio Mattar authored 3 years ago
  
  068b1948
- -Added many new things · 8fbe3764
  Antonio MATTAR authored 3 years ago
  
  8fbe3764
- -Fixed the buildVar so that we deal with numbers instead of strings · 8bf22911
  Antonio MATTAR authored 3 years ago
  
  8bf22911
Jun 07, 2022
- - Fixed some specific cases where there was 2 points in the lambda term · 4bb2a1fe
  Antonio MATTAR authored 3 years ago
  
  4bb2a1fe
- -Fixed buildTerm · 92ee95c8
  Antonio MATTAR authored 3 years ago
  
  92ee95c8