Commits · f6388793727f30496ae0750885e22145adca2dd3 · Burkhart Wolff / Isabelle_C

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
Nov 04, 2022
- moving converters, closing Position. · 49ca7f76
  Burkhart Wolff authored 2 years ago
  
  49ca7f76
Oct 26, 2022
- Renamed C_Meta · c78fb69b
  Burkhart Wolff authored 2 years ago
  
  c78fb69b
- ... · 248b0ab5
  Burkhart Wolff authored 2 years ago
  
  248b0ab5
Oct 25, 2022
- Merge branch 'ThomasDelpine' of... · 80cf2e8c
  Burkhart Wolff authored 2 years ago
  
  Merge branch 'ThomasDelpine' of https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C into ThomasDelpine
  80cf2e8c
- better example. · 19a4069c
  Burkhart Wolff authored 2 years ago
  
  19a4069c
- parameterized the Clean core for formal variables; adapted the Clean_wrapper... · c7c6d658
  Burkhart Wolff authored 2 years ago
  
  parameterized the Clean core for formal variables; adapted the Clean_wrapper study to cope with sequentially declared C vars.
  c7c6d658
- some intermediate state · 95d7731a
  Burkhart Wolff authored 2 years ago
  
  95d7731a
Oct 12, 2022
- Merge branch 'ThomasDelpine' of... · f56974c2
  Burkhart Wolff authored 2 years ago
  
  Merge branch 'ThomasDelpine' of https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C into ThomasDelpine
  f56974c2
- bricoles pour faire turner global var decls. · 440e7266
  Burkhart Wolff authored 2 years ago
  
  440e7266
Sep 20, 2022
- an interface to C_Annotation and expermiments with the C antiquotation 'text' * · 00c34cf4
  Burkhart Wolff authored 2 years ago
  
  00c34cf4
Aug 17, 2022
- various converters, and very first attempt to put everything together for global vars · 4ea062b7
  Burkhart Wolff authored 2 years ago
  
  4ea062b7
- added explicit signatures · 41ea2351
  Burkhart Wolff authored 2 years ago
  
  41ea2351
- exposed signature of StateMgt module · 0aafbcfd
  Burkhart Wolff authored 2 years ago
  
  0aafbcfd
Aug 05, 2022
- ... · cab6fdfb
  Burkhart Wolff authored 2 years ago
  
  cab6fdfb
Aug 04, 2022
- Merge branch 'ThomasDelpine' of... · 7622e441
  Burkhart Wolff authored 2 years ago
  
  Merge branch 'ThomasDelpine' of https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C into ThomasDelpine
  7622e441
- ... · faaa6970
  Burkhart Wolff authored 2 years ago
  
  faaa6970
Aug 03, 2022
- better access to C_Env · f140a136
  Burkhart Wolff authored 2 years ago
  
  f140a136
Jul 28, 2022
- Debugging. · 2117da50
  Burkhart Wolff authored 2 years ago
  
  2117da50
- Slight revision explanations. · 1b55ab52
  Burkhart Wolff authored 2 years ago
  
  1b55ab52
- Cleanup, debugging is_fun_Cid · 22c9c680
  Burkhart Wolff authored 2 years ago
  
  22c9c680
Jul 27, 2022
- A first implementation with type conversions from C11-AST · 77a9068d
  Burkhart Wolff authored 2 years ago
  
  77a9068d
- Experiments with type conversions fro C11-AST · 75a63cf5
  Burkhart Wolff authored 2 years ago
  
  75a63cf5
Jul 23, 2022
- Added Solutions of THomas Delepine (slightly revised) · 4904e7c2
  Burkhart Wolff authored 2 years ago
  
  4904e7c2
- Fixed CChars0 - Bug. Floatsnow work. · c18c2699
  Burkhart Wolff authored 2 years ago
  
  c18c2699
Jul 15, 2022
- tuning rationale · bece515a
  Burkhart Wolff authored 2 years ago
  
  bece515a
- ... · b77a5fe7
  Burkhart Wolff authored 2 years ago
  
  b77a5fe7
- ... · f3934ea4
  Burkhart Wolff authored 2 years ago
  
  f3934ea4
- added para on the rationale of this example. · fb4a5d44
  Burkhart Wolff authored 2 years ago
  
  fb4a5d44
- added para on the rationale of this example. · 3b801da7
  Burkhart Wolff authored 2 years ago
  
  3b801da7
- revised presentation and motivation for this example. · 34dbbf40
  Burkhart Wolff authored 2 years ago
  
  34dbbf40
- revised section on global structure and websites related to the project. · 55503b3b
  Burkhart Wolff authored 2 years ago
  
  55503b3b
- revised section on AutoCorres. · 40526b27
  Burkhart Wolff authored 2 years ago
  
  40526b27
Jul 13, 2022
- Merge branch C_2021-1 of https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C into C_2021-1 · 2675ef79
  Burkhart Wolff authored 2 years ago
  
  2675ef79
Jul 12, 2022
- adapted the README to the current status: · 46c60f7b
  Burkhart Wolff authored 2 years ago
  
  - ▩‹isabelle build -b -v -d› 🗀‹.› ▩‹Isabelle_C Isabelle_C_examples Isabelle_C_document Clean_document Isabelle_C_AutoCorres_document Isabelle_C_Clean_document Isabelle_C_archive Isabelle_C_README› ... works - sessions Isabelle_C_all Isabelle_C_Advance_examples do not build. Inconsistencies around C_Env.map_stream_hook_excess and C_Env in general.
  46c60f7b
- vain attempt to repair the C18 Frontend. · 93ea7b2e
  Burkhart Wolff authored 2 years ago
  
  93ea7b2e
- eliminated cyclic refs on README.thy · 9182fd78
  Burkhart Wolff authored 2 years ago
  
  9182fd78
- repair in wrt. LATEX: subscripts in attribute names lead to crash · 5e2e5513
  Burkhart Wolff authored 2 years ago
  
  5e2e5513