Frédéric Tuong
|
1874d47d1b
|
update the generated files
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13607 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 18:06:44 +00:00 |
|
Frédéric Tuong
|
8a0ed5b58f
|
update the generated files
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13606 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 18:05:55 +00:00 |
|
Frédéric Tuong
|
561f9cd04b
|
synchronize together
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13605 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 18:02:01 +00:00 |
Burkhart Wolff
|
98ef020c72
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13604 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 16:31:04 +00:00 |
|
Burkhart Wolff
|
3f94f2626d
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13603 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 16:09:48 +00:00 |
|
Burkhart Wolff
|
36994209e1
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13602 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 15:29:54 +00:00 |
|
Burkhart Wolff
|
95982c0220
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13601 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 15:29:41 +00:00 |
|
Frédéric Tuong
|
d33fe8905a
|
update the generated files
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13600 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 15:20:20 +00:00 |
|
Frédéric Tuong
|
71111d4ac2
|
implement hooks in comments
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13599 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 15:15:37 +00:00 |
|
Burkhart Wolff
|
c24922d580
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13598 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 14:59:19 +00:00 |
|
Burkhart Wolff
|
7252871a5e
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13597 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 14:59:08 +00:00 |
|
Burkhart Wolff
|
b3c85a4382
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13596 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 14:58:25 +00:00 |
|
Burkhart Wolff
|
ffd66f63bb
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13595 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 14:58:10 +00:00 |
|
Burkhart Wolff
|
7d1baaabee
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13594 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 14:57:37 +00:00 |
|
Frédéric Tuong
|
75ac871687
|
update
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13593 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 14:56:03 +00:00 |
|
Frédéric Tuong
|
f341305457
|
copy
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13592 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 14:55:00 +00:00 |
|
Frédéric Tuong
|
7f40a5b4cf
|
update the generated files
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13591 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 14:43:58 +00:00 |
|
Burkhart Wolff
|
1f200ffdb9
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13588 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 14:34:32 +00:00 |
|
Burkhart Wolff
|
450a7583bb
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13587 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 14:08:10 +00:00 |
|
Burkhart Wolff
|
8b08eb18aa
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13586 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 13:57:37 +00:00 |
|
Frédéric Tuong
|
b70adde5ad
|
fix the closing of comments
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13585 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 13:23:12 +00:00 |
|
Frédéric Tuong
|
c298c9b033
|
alpha-rename
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13584 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 13:19:37 +00:00 |
|
Frédéric Tuong
|
00f7ae70ce
|
permute some paragraphs
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13583 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-13 13:10:35 +00:00 |
|
Frédéric Tuong
|
9ac72714c9
|
alpha-rename
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13582 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 15:52:02 +00:00 |
|
Frédéric Tuong
|
2720839d82
|
bind lexing and parsing
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13581 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 15:45:22 +00:00 |
|
Frédéric Tuong
|
7dca352fdb
|
update the generated
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13580 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 15:34:05 +00:00 |
|
Frédéric Tuong
|
15ee3faacc
|
continue
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13579 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 15:33:12 +00:00 |
|
Frédéric Tuong
|
b1967fb892
|
continue
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13578 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 15:21:04 +00:00 |
|
Frédéric Tuong
|
078648d8b5
|
implement antiquotations in commands
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13577 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 13:56:26 +00:00 |
|
Frédéric Tuong
|
e9db264b99
|
report positions at the precise group level to take into account blank tokens which can occur unsorted (and then give wrong position information at a more global Directive level)
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13576 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 13:43:27 +00:00 |
|
Frédéric Tuong
|
208abf7be6
|
hold in a buffer blanks and comments until all directives are completely parsed and treated
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13575 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 13:30:40 +00:00 |
|
Frédéric Tuong
|
fb87a5666c
|
fix the computing for line positions (in files)
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13574 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 13:17:40 +00:00 |
|
Frédéric Tuong
|
ffe08fd304
|
detect not printable characters
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13573 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 13:11:27 +00:00 |
|
Frédéric Tuong
|
4dc566573a
|
permute some paragraphs
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13572 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-08 13:07:43 +00:00 |
|
Frédéric Tuong
|
4db0464878
|
continue
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13571 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-05 18:29:55 +00:00 |
|
Frédéric Tuong
|
0292068db7
|
continue
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13570 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-05 18:27:19 +00:00 |
|
Frédéric Tuong
|
04a77764f4
|
implement conditional directives
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13569 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-05 17:03:04 +00:00 |
|
Frédéric Tuong
|
03a9b79899
|
implement conditional directives
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13568 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-05 16:54:20 +00:00 |
|
Frédéric Tuong
|
9a942cc72e
|
fix
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13567 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-05 15:36:38 +00:00 |
|
Frédéric Tuong
|
da52d7d9ef
|
continue
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13566 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-05 15:28:15 +00:00 |
|
Frédéric Tuong
|
fc4d04347b
|
implement antiquotations in commands
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13565 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-05 15:25:15 +00:00 |
|
Frédéric Tuong
|
58f22034f9
|
permute some paragraphs
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13564 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-05 13:23:19 +00:00 |
|
Frédéric Tuong
|
0be2cc8740
|
permute some paragraphs
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13563 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-02-05 13:17:40 +00:00 |
|
Frédéric Tuong
|
a7f2d8a118
|
copy
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13562 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-01-31 14:41:21 +00:00 |
|
Frédéric Tuong
|
8aab23805b
|
simplify
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13561 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-01-31 14:38:50 +00:00 |
|
Frédéric Tuong
|
50556fdd8a
|
copy
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13560 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-01-29 15:17:27 +00:00 |
|
Frédéric Tuong
|
485dd4f972
|
restore the default treatment of flags
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13559 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-01-29 15:04:49 +00:00 |
|
Frédéric Tuong
|
54c2d474e5
|
implement C_file
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13558 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-01-28 16:12:40 +00:00 |
|
Frédéric Tuong
|
247e8533a7
|
add a skeleton for supporting directives
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13557 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-01-28 16:07:47 +00:00 |
|
Frédéric Tuong
|
86980d81b5
|
support backslash newlines
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13556 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-01-28 15:55:38 +00:00 |