Frédéric Tuong
|
5bfebab420
|
Merge branch 2017 into devel
|
2019-04-05 11:03:32 +02:00 |
|
Frédéric Tuong
|
592f6b564a
|
merge
|
2019-04-04 19:37:01 +02:00 |
|
Frédéric Tuong
|
f7dc9e7247
|
Merge branch 2017 into devel
|
2019-04-04 19:34:51 +02:00 |
|
Frédéric Tuong
|
8523e81952
|
Merge branch 2017 into devel
|
2019-04-04 19:19:23 +02:00 |
|
Frédéric Tuong
|
6212dc4dcd
|
split C_File.command
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13761 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-04-03 17:30:55 +00:00 |
|
Frédéric Tuong
|
89c191a187
|
clean
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13760 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-04-03 17:01:17 +00:00 |
|
Frédéric Tuong
|
803281d37f
|
fix the Stack_Data_Tree env propagation
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13759 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-04-03 16:18:09 +00:00 |
|
Frédéric Tuong
|
20bd8493ec
|
simplify
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13758 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-04-01 18:16:10 +00:00 |
|
Frédéric Tuong
|
fa52135db5
|
continue
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13757 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-04-01 16:47:20 +00:00 |
Burkhart Wolff
|
f78b5d310b
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13756 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-31 22:05:28 +00:00 |
|
Frédéric Tuong
|
e1ff1fbf60
|
simplify
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13755 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-31 10:48:01 +00:00 |
|
Burkhart Wolff
|
f26c18be82
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13754 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-31 06:49:29 +00:00 |
|
Burkhart Wolff
|
8ad94194dc
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13753 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-31 06:21:00 +00:00 |
|
Frédéric Tuong
|
b0efb7ab3f
|
add the example
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13752 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-30 21:55:16 +00:00 |
|
Frédéric Tuong
|
98f5812eaa
|
add examples
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13751 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-26 15:33:51 +00:00 |
|
Frédéric Tuong
|
fcfccfacf7
|
report command positions
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13750 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-26 14:38:13 +00:00 |
|
Frédéric Tuong
|
0201eaecd6
|
add examples
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13749 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-26 14:06:02 +00:00 |
|
Burkhart Wolff
|
6beec7b2b2
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13748 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-26 13:10:50 +00:00 |
|
Frédéric Tuong
|
4a0f8d2d2a
|
update the generated files
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13747 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-25 14:19:00 +00:00 |
|
Frédéric Tuong
|
3016f94216
|
split
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13746 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-25 09:22:09 +00:00 |
|
Frédéric Tuong
|
e7348a53f2
|
copy
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13745 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-25 08:54:04 +00:00 |
|
Frédéric Tuong
|
45248f33d5
|
add an new option to navigate to a larger subtree
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13744 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-25 08:52:14 +00:00 |
|
Burkhart Wolff
|
3c2bbdd830
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13743 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-23 11:23:27 +00:00 |
|
Burkhart Wolff
|
afb5b60f1b
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13742 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-23 11:14:09 +00:00 |
|
Burkhart Wolff
|
bf8c762659
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13741 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-23 11:04:04 +00:00 |
|
Frédéric Tuong
|
4edb931cb3
|
unify shift and reduce evaluation actions
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13740 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 18:32:37 +00:00 |
|
Frédéric Tuong
|
f9c7a6dea5
|
alpha-rename
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13739 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 17:19:56 +00:00 |
|
Frédéric Tuong
|
2079449ffa
|
copy
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13738 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 15:40:03 +00:00 |
|
Frédéric Tuong
|
0f71bd7dba
|
alpha-rename
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13737 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 15:39:53 +00:00 |
|
Burkhart Wolff
|
04991c5dc1
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13736 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 12:29:47 +00:00 |
|
Burkhart Wolff
|
98e67422b9
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13735 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 12:15:39 +00:00 |
|
Burkhart Wolff
|
2632531c7c
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13734 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 12:12:40 +00:00 |
|
Burkhart Wolff
|
4c561f7652
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13733 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 12:02:14 +00:00 |
|
Burkhart Wolff
|
cb55c33422
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13732 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 11:54:34 +00:00 |
|
Burkhart Wolff
|
3bec8a0d0f
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13731 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 11:23:13 +00:00 |
|
Burkhart Wolff
|
20d9011e1b
|
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13730 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-22 11:04:53 +00:00 |
|
Frédéric Tuong
|
d424bcc445
|
add a verbose option
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13729 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-21 15:21:38 +00:00 |
|
Frédéric Tuong
|
6f0f65998a
|
copy
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13728 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-21 14:50:15 +00:00 |
|
Frédéric Tuong
|
ac2d05c334
|
generalize
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13727 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-21 14:49:31 +00:00 |
|
Frédéric Tuong
|
e6ae1e8a1f
|
copy
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13726 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-21 11:40:32 +00:00 |
|
Frédéric Tuong
|
37b708c2e8
|
optimize
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13725 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-21 11:39:40 +00:00 |
|
Frédéric Tuong
|
79f030d5ad
|
copy
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13724 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-21 11:01:08 +00:00 |
|
Frédéric Tuong
|
e8eec9e1e6
|
report error positions
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13723 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-21 10:59:36 +00:00 |
|
Frédéric Tuong
|
d669878251
|
report positions
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13722 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-20 18:04:33 +00:00 |
|
Frédéric Tuong
|
e854617cd7
|
report positions
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13721 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-20 18:00:19 +00:00 |
|
Frédéric Tuong
|
2e2bb71a4d
|
implement the dynamic definition of C commands
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13720 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-20 11:41:40 +00:00 |
|
Frédéric Tuong
|
8fa52a4ef4
|
remove ML antiquotations as being always considered as blank information in C comments
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13719 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-20 09:59:52 +00:00 |
|
Frédéric Tuong
|
09faec4800
|
copy
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13718 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-20 08:33:20 +00:00 |
|
Frédéric Tuong
|
c392f10f19
|
simplify
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13717 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-20 08:32:21 +00:00 |
|
Frédéric Tuong
|
b91ac5ddb6
|
implement the dynamic definition of C commands
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13716 3260e6d1-4efc-4170-b0a7-36055960796d
|
2019-03-19 21:41:19 +00:00 |