2216 Commits (master)
 

Author SHA1 Message Date
Frédéric Tuong 5bfebab420 Merge branch 2017 into devel 3 years ago
Frédéric Tuong 592f6b564a merge 3 years ago
Frédéric Tuong f7dc9e7247 Merge branch 2017 into devel 3 years ago
Frédéric Tuong 8523e81952 Merge branch 2017 into devel 3 years ago
Frédéric Tuong 6212dc4dcd split C_File.command 3 years ago
Frédéric Tuong 89c191a187 clean 3 years ago
Frédéric Tuong 803281d37f fix the Stack_Data_Tree env propagation 3 years ago
Frédéric Tuong 20bd8493ec simplify 3 years ago
Frédéric Tuong fa52135db5 continue 3 years ago
Burkhart Wolff f78b5d310b git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13756 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Frédéric Tuong e1ff1fbf60 simplify 3 years ago
Burkhart Wolff f26c18be82 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13754 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Burkhart Wolff 8ad94194dc git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13753 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Frédéric Tuong b0efb7ab3f add the example 3 years ago
Frédéric Tuong 98f5812eaa add examples 3 years ago
Frédéric Tuong fcfccfacf7 report command positions 3 years ago
Frédéric Tuong 0201eaecd6 add examples 3 years ago
Burkhart Wolff 6beec7b2b2 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13748 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Frédéric Tuong 4a0f8d2d2a update the generated files 3 years ago
Frédéric Tuong 3016f94216 split 3 years ago
Frédéric Tuong e7348a53f2 copy 3 years ago
Frédéric Tuong 45248f33d5 add an new option to navigate to a larger subtree 3 years ago
Burkhart Wolff 3c2bbdd830 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13743 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Burkhart Wolff afb5b60f1b git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13742 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Burkhart Wolff bf8c762659 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13741 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Frédéric Tuong 4edb931cb3 unify shift and reduce evaluation actions 3 years ago
Frédéric Tuong f9c7a6dea5 alpha-rename 3 years ago
Frédéric Tuong 2079449ffa copy 3 years ago
Frédéric Tuong 0f71bd7dba alpha-rename 3 years ago
Burkhart Wolff 04991c5dc1 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13736 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Burkhart Wolff 98e67422b9 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13735 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Burkhart Wolff 2632531c7c git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13734 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Burkhart Wolff 4c561f7652 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13733 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Burkhart Wolff cb55c33422 git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13732 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Burkhart Wolff 3bec8a0d0f git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13731 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Burkhart Wolff 20d9011e1b git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13730 3260e6d1-4efc-4170-b0a7-36055960796d 3 years ago
Frédéric Tuong d424bcc445 add a verbose option 3 years ago
Frédéric Tuong 6f0f65998a copy 3 years ago
Frédéric Tuong ac2d05c334 generalize 3 years ago
Frédéric Tuong e6ae1e8a1f copy 3 years ago
Frédéric Tuong 37b708c2e8 optimize 3 years ago
Frédéric Tuong 79f030d5ad copy 3 years ago
Frédéric Tuong e8eec9e1e6 report error positions 3 years ago
Frédéric Tuong d669878251 report positions 3 years ago
Frédéric Tuong e854617cd7 report positions 3 years ago
Frédéric Tuong 2e2bb71a4d implement the dynamic definition of C commands 3 years ago
Frédéric Tuong 8fa52a4ef4 remove ML antiquotations as being always considered as blank information in C comments 3 years ago
Frédéric Tuong 09faec4800 copy 3 years ago
Frédéric Tuong c392f10f19 simplify 3 years ago
Frédéric Tuong b91ac5ddb6 implement the dynamic definition of C commands 3 years ago