Commits · master · Frédéric Tuong / isabelle_contrib

Jan 03, 2022
- simplify · 2a06b7d8
  Frédéric Tuong authored 3 years ago
  
  2a06b7d8
- continue d0106679 · 47d6cb3c
  Frédéric Tuong authored 3 years ago
  
  47d6cb3c
Jan 02, 2022
- synchronize with afp-devel · d468cde3
  Frédéric Tuong authored 3 years ago
  
  d468cde3
- document · c749fc03
  Frédéric Tuong authored 3 years ago
  
  c749fc03
- permute some paragraphs · 15d9486a
  Frédéric Tuong authored 3 years ago
  
  15d9486a
Dec 28, 2021
- update links · a2f3872f
  Frédéric Tuong authored 3 years ago
  
  a2f3872f
- synchronize with afp-devel · 9707464d
  Frédéric Tuong authored 3 years ago
  
  9707464d
- synchronize with 1a42ddd5dbbc... · e56a5dfc
  Frédéric Tuong authored 3 years ago
  
  synchronize with 1a42ddd5dbbc https://foss.heptapod.net/isa-afp/afp-devel/-/commit/8602a88cf34434831f86066f12241a398aff3c13
  e56a5dfc
Dec 27, 2021
- upgrade to Isabelle2021-1 · 7f4a1558
  Frédéric Tuong authored 3 years ago
  
  7f4a1558
- upgrade to Isabelle2021-1 · cdf11e47
  Frédéric Tuong authored 3 years ago
  
  cdf11e47
- fix cbb96cf3 · 292c71b0
  Frédéric Tuong authored 3 years ago
  
  292c71b0
Dec 26, 2021
- upgrade to Isabelle2021 · cbb96cf3
  Frédéric Tuong authored 3 years ago
  
  cbb96cf3
- upgrade to Isabelle2021 · 0325e84b
  Frédéric Tuong authored 3 years ago
  
  0325e84b
Dec 25, 2021
- upgrade to Isabelle2020 · 9dfa80f6
  Frédéric Tuong authored 3 years ago
  
  9dfa80f6
May 23, 2020

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14200 3260e6d1-4efc-4170-b0a7-36055960796d

eca9c0b2

add an example · 21ad7d5b

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14199 3260e6d1-4efc-4170-b0a7-36055960796d

21ad7d5b

report UTF-8 strings · 9e201351

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14198 3260e6d1-4efc-4170-b0a7-36055960796d

9e201351

support new space symbols, possibly non-standard · 4fa6d378

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14197 3260e6d1-4efc-4170-b0a7-36055960796d

4fa6d378

report UTF-8 idents · e434c3c2

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14196 3260e6d1-4efc-4170-b0a7-36055960796d

e434c3c2

simplify · 5107fbec

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14195 3260e6d1-4efc-4170-b0a7-36055960796d

5107fbec

May 22, 2020

git-svn-id:... · 61922e23

Burkhart Wolff authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14194 3260e6d1-4efc-4170-b0a7-36055960796d

61922e23

May 18, 2020

git-svn-id:... · 61707336

Burkhart Wolff authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14193 3260e6d1-4efc-4170-b0a7-36055960796d

61707336

May 16, 2020

git-svn-id:... · ad5c3fb3

Burkhart Wolff authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14192 3260e6d1-4efc-4170-b0a7-36055960796d

ad5c3fb3

May 10, 2020

upgrade to Isabelle2020 · 3eec3480

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14191 3260e6d1-4efc-4170-b0a7-36055960796d

3eec3480

May 09, 2020

continue r14189 · 74a91e6f

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14190 3260e6d1-4efc-4170-b0a7-36055960796d

74a91e6f

move sessions to a separate directory · 51fb5875

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14189 3260e6d1-4efc-4170-b0a7-36055960796d

51fb5875

move sessions to a separate directory · ccbfd749

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14188 3260e6d1-4efc-4170-b0a7-36055960796d

ccbfd749

update the generated files · 229c570d

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14187 3260e6d1-4efc-4170-b0a7-36055960796d

229c570d

move sessions to a separate directory · 95db9204

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14186 3260e6d1-4efc-4170-b0a7-36055960796d

95db9204

move sessions to a separate directory · cc5a1e5f

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14185 3260e6d1-4efc-4170-b0a7-36055960796d

cc5a1e5f

move sessions to a separate directory · e2770c48

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14184 3260e6d1-4efc-4170-b0a7-36055960796d

e2770c48

move sessions to a separate directory · 058c49a5

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14183 3260e6d1-4efc-4170-b0a7-36055960796d

058c49a5

cancel some part of r11412 · 404ae69c

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14182 3260e6d1-4efc-4170-b0a7-36055960796d

404ae69c

move sessions to a separate directory · b50825e7

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14181 3260e6d1-4efc-4170-b0a7-36055960796d

b50825e7

move sessions to a separate directory · 3e7c41bc

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14180 3260e6d1-4efc-4170-b0a7-36055960796d

3e7c41bc

May 06, 2020

fix r13918 · ad38a5b3

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14178 3260e6d1-4efc-4170-b0a7-36055960796d

ad38a5b3

May 05, 2020

update the generated files · bde97113

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14177 3260e6d1-4efc-4170-b0a7-36055960796d

bde97113

synchronize with compiler/core/Floor2_examp.thy · 8dedf86f

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14176 3260e6d1-4efc-4170-b0a7-36055960796d

8dedf86f

May 04, 2020

synchronize with gitlab.lri.fr:ftuong/isabelle_c · 6649b4c0

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14175 3260e6d1-4efc-4170-b0a7-36055960796d

6649b4c0

maximize the evaluation for annotations · ceb18a86

Frédéric Tuong authored 4 years ago

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14174 3260e6d1-4efc-4170-b0a7-36055960796d

ceb18a86