Commits · 140f98497c541d1bce97bc52e7f8c2dada011a90 · Burkhart Wolff / Isabelle_C

Aug 28, 2024
- installation hints for 2021 brach · 140f9849
  Burkhart Wolff authored 7 months ago
  
  140f9849
- Merge branch 'C_2021-1' of https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C into C_2021-1 · a49c4a8c
  Burkhart Wolff authored 7 months ago
  
  a49c4a8c
- ... · 85f41a36
  Burkhart Wolff authored 7 months ago
  
  85f41a36
Sep 06, 2023
- liufting some results from Optics on lists ... · ea0d413f
  Burkhart Wolff authored 1 year ago
  
  ea0d413f
Sep 04, 2023
- first conversion Isabelle C env to Isabelle Clean Env · 4d999405
  Burkhart Wolff authored 1 year ago
  
  4d999405
Aug 29, 2023
- different forms of array accesses tested. · f17e60e2
  Burkhart Wolff authored 1 year ago
  
  f17e60e2
Aug 28, 2023
- code cleanup; and first experiments on array accesses. · ef109ef8
  Burkhart Wolff authored 1 year ago
  
  ef109ef8
- cleanup. · f8a0f723
  Burkhart Wolff authored 1 year ago
  
  f8a0f723
- lhs naming bug fixed. · a607e26b
  Burkhart Wolff authored 1 year ago
  
  a607e26b
- revised local and global variable access. · ba98d99a
  Burkhart Wolff authored 1 year ago
  
  ba98d99a
Aug 25, 2023
- separation of Env_AEnv ... Problem detected: inheritance on global vars does not work. · 3fa8b597
  Burkhart Wolff authored 1 year ago
  
  3fa8b597
- separated AAEnv Env Related Stuff from test set · e8029112
  Burkhart Wolff authored 1 year ago
  
  e8029112
- renamed Test Cases according convention · 1a2fe1b2
  Burkhart Wolff authored 1 year ago
  
  1a2fe1b2
- repaired reference bug in many boolean expressions. · 0e8c5019
  Burkhart Wolff authored 1 year ago
  
  0e8c5019
- eliminated convertStmt_raw, renamed convertStmt_raw_ident to official convertStmt · 6686e198
  Burkhart Wolff authored 1 year ago
  
  6686e198
- renamed convertExpr_raw_ident to official convertExpr · 7c30855c
  Burkhart Wolff authored 1 year ago
  
  7c30855c
- eliminated convertExpr_raw, improved Coder_Examples accordingly · 08174a76
  Burkhart Wolff authored 1 year ago
  
  08174a76
Aug 24, 2023
- restructuring · 1c5a40fb
  Burkhart Wolff authored 1 year ago
  
  1c5a40fb
Aug 23, 2023
- Highlighting the structure · f2c83445
  Burkhart Wolff authored 1 year ago
  
  f2c83445
- Pradana Aumars conceptual code added · 481d04a6
  Burkhart Wolff authored 1 year ago
  
  481d04a6
Jun 30, 2023
- substantial improvement of the CAst_lib resulting simplifications in examples · 8529903a
  Burkhart Wolff authored 1 year ago
  
  8529903a
- merge · 06abc8b2
  Burkhart Wolff authored 1 year ago
  
  06abc8b2
- little things. · 59a86ef9
  Burkhart Wolff authored 1 year ago
  
  59a86ef9
- added get_abr_string_from_Ident in the experimental part of C1. · 46194a14
  Burkhart Wolff authored 1 year ago
  
  46194a14
Jun 29, 2023
- merge C-2021-1 into main · 13fcf81c
  Burkhart Wolff authored 1 year ago
  
  13fcf81c
- some experiment for recapture the C_Ast.SS ... · dd274af0
  Burkhart Wolff authored 1 year ago
  
  dd274af0
Jun 28, 2023
- Code-Search and some findings. · f62b5f98
  Burkhart Wolff authored 1 year ago
  
  f62b5f98
Jun 26, 2023
- updated syntax · 599d917c
  Burkhart Wolff authored 1 year ago
  
  599d917c
- Many little things · 21bb4b7a
  Burkhart Wolff authored 1 year ago
  
  21bb4b7a
Jun 05, 2023
- another little example · a160e896
  Burkhart Wolff authored 1 year ago
  
  a160e896
Jun 02, 2023
- A nice new example · 2eb517eb
  Burkhart Wolff authored 1 year ago
  
  2eb517eb
May 17, 2023
- merge · fdc01658
  Burkhart Wolff authored 1 year ago
  
  fdc01658
- ... · 7490f6c1
  Burkhart Wolff authored 1 year ago
  
  7490f6c1
Feb 08, 2023
- cancelling out examples of C18 that do not work · 8b8d3d37
  Burkhart Wolff authored 2 years ago
  
  8b8d3d37
Jan 26, 2023
- fixed IfC Bug, improved typing · 9de82a6e
  Burkhart Wolff authored 2 years ago
  
  9de82a6e
Jan 24, 2023
- syntactical improvements · fee1a3dd
  Burkhart Wolff authored 2 years ago
  
  fee1a3dd
Jan 22, 2023
- a number of obvious improvements; better typing. · c5dfb830
  Burkhart Wolff authored 2 years ago
  
  c5dfb830
Jan 21, 2023
- breakthrough in statement translation / typing remains to do. · f6388793
  Burkhart Wolff authored 2 years ago
  
  f6388793
Jan 19, 2023
- Merge of main branch with Delepiune Branch. Eliminated C_Meta. Roughly tested · 789d0914
  Burkhart Wolff authored 2 years ago
  
  789d0914
- various stuff · b8ceb055
  Burkhart Wolff authored 2 years ago
  
  b8ceb055