Commits · C · Burkhart Wolff / Isabelle_C

Jul 05, 2021
- Added IsPrime into documentation. · 3641d035
  Burkhart Wolff authored 3 years ago
  
  3641d035
May 18, 2021
- erasinfg comments · 6aaf158c
  Burkhart Wolff authored 3 years ago
  
  6aaf158c
- port to isabelle2021 - merge to main branch · fcea1f4b
  Burkhart Wolff authored 3 years ago
  
  fcea1f4b
Sep 25, 2020
- hoisting more wrapper code · 70498e60
  Burkhart Wolff authored 4 years ago
  
  70498e60
- hoisting wrapper code , introducing hook · a36fa748
  Burkhart Wolff authored 4 years ago
  
  a36fa748
Sep 14, 2020
- Add LICENSE · 7b3881ef
  Burkhart Wolff authored 4 years ago
  
  7b3881ef
Aug 19, 2020
- substantially improved iterator over C11 Syntax · 03c0aeec
  bu authored 4 years ago
  
  03c0aeec
Aug 17, 2020
- A wee bit more abstract proof. · e654f071
  bu authored 4 years ago
  
  e654f071
Aug 01, 2020
- slightly improved hylo. · cd9ffb98
  bu authored 4 years ago
  
  cd9ffb98
Jul 23, 2020
- status before holydays - more on iterators, toString's, ... · 0ada1770
  bu authored 4 years ago
  
  0ada1770
Jul 18, 2020
- resision of library - added type sstructs. · dfea05d8
  bu authored 4 years ago
  
  dfea05d8
Jul 17, 2020
- Improved C_Ast_library. · c4f8f1f0
  bu authored 4 years ago
  
  c4f8f1f0
- First Version of C11_Ast_Lib · df875f3b
  bu authored 4 years ago
  
  df875f3b
Jul 09, 2020
- pushing down noew code into Init.thy (the heart of the wrapper). · ec1f0e03
  bu authored 4 years ago
  
  ec1f0e03
- cleanup. · 5b4e93b4
  bu authored 4 years ago
  
  5b4e93b4
- again modified interfaces for stored anno expressions : binding to label added. · fd5adb82
  bu authored 4 years ago
  
  fd5adb82
- Interface changes for a more general format of Annotation Data. · 133c41c5
  bu authored 4 years ago
  
  133c41c5
Jul 08, 2020
- New example and ana for Isabelle_C_AutoCorres Antiquotation commands · a0897794
  bu authored 4 years ago
  
  a0897794
Jul 04, 2020
- no message · c12ee730
  bu authored 4 years ago
  
  c12ee730
- ref to Isabelle_C Home added. · 72628967
  bu authored 4 years ago
  
  72628967
Jul 03, 2020
- sdf · 0511b9a6
  bu authored 4 years ago
  
  0511b9a6
- renaming · 7693b1af
  bu authored 4 years ago
  
  7693b1af
- Improved GCD Example · 9f53fdee
  bu authored 4 years ago
  
  9f53fdee
Jul 02, 2020
- Working out the GCD example · 1508a2b0
  bu authored 4 years ago
  
  1508a2b0
- Added Fred's B gcd example. Slight modifs in sqrt_CASS for pedagogical reasons · 47d3017e
  bu authored 4 years ago
  
  47d3017e
May 28, 2020
- typos · 95e637ee
  bu authored 4 years ago
  
  95e637ee
- Commenting. Erasing superfluous stuff. · e2030593
  bu authored 4 years ago
  
  e2030593
- updated copyright notices in order to avoid ambiguity. · 0c6f9b54
  bu authored 4 years ago
  
  0c6f9b54
- repaired Check_Sequence. · 97d5b6df
  bu authored 4 years ago
  
  97d5b6df
- Polished the main part. Adapted the documentation. · 35463fe2
  bu authored 4 years ago
  
  35463fe2
- cleanups inv_preserved finished. · 668cd168
  bu authored 4 years ago
  
  668cd168
- first cleanups inv_preserved0 · 5f23fd62
  bu authored 4 years ago
  
  5f23fd62
- first sorry-free, complete solution (but not yet cleaned up). · abc9ac81
  bu authored 4 years ago
  
  abc9ac81
- merge · 535ea708
  bu authored 4 years ago
  
  535ea708
- reduced to 2 sorries only. · 8abaa9e9
  bu authored 4 years ago
  
  8abaa9e9
May 23, 2020
- update the generated files · fbb64f84
  Frédéric Tuong authored 4 years ago
  
  fbb64f84
- report C99 parsing errors · b59fd689
  Frédéric Tuong authored 4 years ago
  
  b59fd689
- Merge branch 'C' of lri-git:ftuong/isabelle_c into C · ca5b1c1b
  Frédéric Tuong authored 4 years ago
  
  ca5b1c1b
- Merge branch 'citadelle_2019_2020' into C · 9f19502e
  Frédéric Tuong authored 4 years ago
  
  9f19502e
- continue r14195 · eca9c0b2
  Frédéric Tuong authored 4 years ago
  
  git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14200 3260e6d1-4efc-4170-b0a7-36055960796d
  eca9c0b2