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

Snippets Groups Projects

Jun 28, 2022
- 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
May 25, 2022
- -Fixed the substitution and simple beta reduction methods · 7dff4ef6
  Antonio MATTAR authored 3 years ago
  
  7dff4ef6
- Merge branch 'main' of https://gitlab.lis-lab.fr/benjamin.monmege/alligators-python · 223a0f9c
  Antonio MATTAR authored 3 years ago
  
  223a0f9c
May 24, 2022
- modofication de substitute en faisant en sorte à ce qu'elle ne modifie pas le... · 835854af
  Tamazouzt AIT ELDJOUDI authored 3 years ago
  835854af
May 23, 2022
- - Added the tests file where we test all our main functions · 2e1aa28d
  Antonio MATTAR authored 3 years ago
  
  2e1aa28d
- Optimization of all major functions... · 6dcdca37
  Antonio MATTAR authored 3 years ago
  
  6dcdca37