ftuong
/
citadelle-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
2,216 Commits 1 Branch 0 Tags 28 MiB
Commit Graph

71 Commits

Author SHA1 Message Date
Frédéric Tuong 0f3157d521 upgrade to Isabelle devel/28f9e9b80c49 and afp-devel 2018-07-18 10:44:10 -04:00
Frédéric Tuong 91d85d974c update headers 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13387 3260e6d1-4efc-4170-b0a7-36055960796d
 2018-05-09 16:20:39 +00:00
Frédéric Tuong 71fa2dbdb2 fix the compilation with the official version of Isabelle 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13326 3260e6d1-4efc-4170-b0a7-36055960796d
 2018-03-15 22:10:00 +00:00
Frédéric Tuong 14a8115069 add the model of C 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13325 3260e6d1-4efc-4170-b0a7-36055960796d
 2018-03-15 19:45:32 +00:00
Frédéric Tuong 208bb30780 upgrade to Isabelle2017 and afp-2017 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13265 3260e6d1-4efc-4170-b0a7-36055960796d
 2018-02-05 14:26:56 +00:00
Frédéric Tuong 045ffa6738 normalize 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13199 3260e6d1-4efc-4170-b0a7-36055960796d
 2018-01-12 15:43:20 +00:00
Frédéric Tuong 79bc927929 clean 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13198 3260e6d1-4efc-4170-b0a7-36055960796d
 2018-01-12 01:32:29 +00:00
Frédéric Tuong 7ba992d0a7 normalize all headers together (except irrelevant theories in archive and compiler_generic) 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13197 3260e6d1-4efc-4170-b0a7-36055960796d
 2018-01-12 01:17:32 +00:00
Frédéric Tuong 06868dfe13 permute and clean 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@12659 3260e6d1-4efc-4170-b0a7-36055960796d
 2016-06-24 16:25:52 +00:00
Frédéric Tuong 9f2e8dc93e back-up 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@12625 3260e6d1-4efc-4170-b0a7-36055960796d
 2016-06-04 14:42:35 +00:00
Frédéric Tuong c9bc09e9a6 augment the new year 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@12424 3260e6d1-4efc-4170-b0a7-36055960796d
 2016-02-10 17:46:46 +00:00
Frédéric Tuong c55d911eb0 continue r12313 
No errors with "isabelle jedit", whereas errors happen with "isabelle build".


git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@12314 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-12-14 15:04:59 +00:00
Frédéric Tuong 028e6755c7 continue r12311 and r12312 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@12313 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-12-14 13:49:24 +00:00
Frédéric Tuong be4e6da312 continue r12225 then continue r12236 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@12237 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-11-18 18:14:03 +00:00
Frédéric Tuong a64b431718 back-up 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@12170 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-10-16 17:09:48 +00:00
Frédéric Tuong f013b068c1 deactivate warnings from pdflatex 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@12156 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-10-14 10:55:17 +00:00
Frédéric Tuong 7e0d92a145 fix the ordering of chapters 
We also mimic the structure of the OCL Standard, e.g., the bibliography is situated on Annex B...


git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@12141 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-10-09 21:45:44 +00:00
Frédéric Tuong 627ada2020 update from another recommended mail of UPSaclay 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@12068 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-09-16 10:49:56 +00:00
Frédéric Tuong f400a418e4 alpha-rename 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11980 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-09-08 14:45:52 +00:00
Frédéric Tuong d306272d81 update from the recommended mail of UPSaclay 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11967 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-09-08 08:51:41 +00:00
Achim D. Brucker f7a05ce0b7 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11769 3260e6d1-4efc-4170-b0a7-36055960796d 2015-07-13 09:13:01 +00:00
Frédéric Tuong 8c6bea96cf compile r11696 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11700 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-06-15 09:26:50 +00:00
Frédéric Tuong d075fd55e9 add a logo 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11696 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-06-12 09:16:08 +00:00
Frédéric Tuong 4ad0bc5305 upgrade from 14 to 15 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11691 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-06-11 12:59:46 +00:00
Frédéric Tuong 5a265f9cbb remove the generated files 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11635 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-05-26 11:43:46 +00:00
Frédéric Tuong 613f8e267a continue 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11557 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-04-23 13:41:44 +00:00
Frédéric Tuong 4552205cf7 continue r11531 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11540 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-04-21 11:03:38 +00:00
Frédéric Tuong 12015a778b continue r11513 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11522 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-04-14 15:11:14 +00:00
Frédéric Tuong 5e2a811220 continue r11264 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11436 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-03-16 12:35:34 +00:00
Frédéric Tuong 4cfa7bd94e continue r11349 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11356 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-02-16 13:36:46 +00:00
Frédéric Tuong 22dcbd49ca draw a railroad class model 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11327 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-02-09 19:10:33 +00:00
Frédéric Tuong 5bc714a283 deactivate fun_quick 
Since Isabelle 2014, extra computations in functions and datatypes are lazily delayed.


git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11293 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-02-03 10:01:37 +00:00
Burkhart Wolff eb89df2795 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11272 3260e6d1-4efc-4170-b0a7-36055960796d 2015-01-29 15:01:56 +00:00
Frédéric Tuong 631dbdad60 continue r11154 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11267 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-01-29 13:17:38 +00:00
Frédéric Tuong d1b8011d39 continue r11264 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11266 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-01-29 13:13:44 +00:00
Burkhart Wolff eb6d492a84 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11264 3260e6d1-4efc-4170-b0a7-36055960796d 2015-01-29 11:13:58 +00:00
Frédéric Tuong a8cb938670 alpha-rename 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11140 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-01-16 19:06:36 +00:00
Frédéric Tuong 6601bbd877 continue r11124 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11139 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-01-16 18:53:20 +00:00
Frédéric Tuong 3a019991ef continue r11133 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11138 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-01-16 18:50:52 +00:00
Frédéric Tuong 0b4dc3af77 continue r11131 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11137 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-01-16 18:48:52 +00:00
Burkhart Wolff 4190b10df5 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11114 3260e6d1-4efc-4170-b0a7-36055960796d 2015-01-14 21:19:55 +00:00
Frédéric Tuong b8b2f1b60e augment the new year 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11045 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-01-05 12:00:54 +00:00
Frédéric Tuong f4374fc995 continue r10729 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@11044 3260e6d1-4efc-4170-b0a7-36055960796d
 2015-01-05 10:30:28 +00:00
Burkhart Wolff 539d145b3b git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@10982 3260e6d1-4efc-4170-b0a7-36055960796d 2014-12-05 17:59:07 +00:00
Frédéric Tuong e1efe9f91b activate the monitoring of most examples by commenting the deep part 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@10887 3260e6d1-4efc-4170-b0a7-36055960796d
 2014-10-27 17:02:25 +00:00
Frédéric Tuong f59cc6b840 continue r10869 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@10873 3260e6d1-4efc-4170-b0a7-36055960796d
 2014-10-24 12:24:43 +00:00
Frédéric Tuong 96093f839b fix syntax errors of pdflatex 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@10869 3260e6d1-4efc-4170-b0a7-36055960796d
 2014-10-23 14:16:58 +00:00
Achim D. Brucker b657433548 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@10760 3260e6d1-4efc-4170-b0a7-36055960796d 2014-09-05 15:43:05 +00:00
Achim D. Brucker 0731a1eab3 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@10743 3260e6d1-4efc-4170-b0a7-36055960796d 2014-09-04 19:54:01 +00:00
Achim D. Brucker 862c04ff0e git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@10712 3260e6d1-4efc-4170-b0a7-36055960796d 2014-09-04 07:17:02 +00:00