-
- Downloads
add an option to specify if the code generated by 'language' should be...
add an option to specify if the code generated by 'language' should be understood as being a generator of meta-commands, and then automatically executed in the latter case git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13502 3260e6d1-4efc-4170-b0a7-36055960796d
Showing
- Citadelle/src/compiler/Generator_dynamic_concurrent.thy 2 additions, 1 deletionCitadelle/src/compiler/Generator_dynamic_concurrent.thy
- Citadelle/src/compiler/Generator_dynamic_export_testing.thy 1 addition, 1 deletionCitadelle/src/compiler/Generator_dynamic_export_testing.thy
- Citadelle/src/compiler/Generator_dynamic_sequential.thy 2 additions, 1 deletionCitadelle/src/compiler/Generator_dynamic_sequential.thy
- Citadelle/src/compiler/core/Floor1_haskabelle.thy 6 additions, 2 deletionsCitadelle/src/compiler/core/Floor1_haskabelle.thy
- Citadelle/src/compiler/meta/Meta_HKB.thy 2 additions, 0 deletionsCitadelle/src/compiler/meta/Meta_HKB.thy
- Citadelle/src/compiler/meta/Parser_HKB.thy 1 addition, 0 deletionsCitadelle/src/compiler/meta/Parser_HKB.thy
Loading
Please register or sign in to comment