Diffusion afp-devel 79e888fe281b

new entry Isabelle_C
79e888fe281b
Actions

Tags

None

Subscribers

None

Description

new entry Isabelle_C

Details

Provenance

Authored on

Parents

rAFP2927c2e59db9: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP79e888fe281b: new entry Isabelle_C.Dec 19 2019, 8:04 AM

Changes (156)
Show All Changes

Very Large Commit

This commit is very large. Load each file individually.

Path

Size

metadata/

C_Appendices.thy

DOF-scholarly_paper.sty

DOF-technical_report.sty

DOF-scholarly_paper.sty

DOF-technical_report.sty

A-C-Source10.png

A-C-Source2.png

A-C-Source3.png

A-C-Source5.png

A-C-Source6.png

A-C-Source7.png

A-C-Source8.png

A-C-Source80.png

A-C-Source9.png

C-export-example.png

C11-Package-Architecture.pdf

document-model1.pdf

document-model2.pdf

markup-demo.png

c_grammar_fun.grm

c_grammar_fun.grm.sig

c_grammar_fun.grm.sml

C_Environment.thy

C_Lexer_Annotation.thy

C_Lexer_Language.thy

C_Parser_Annotation.thy

C_Parser_Language.thy

aligned_struct_c18.c

argument_scope.c

atomic_parenthesis.c

bitfield_declaration_ambiguity.c

bitfield_declaration_ambiguity.fail.c

bitfield_declaration_ambiguity.ok.c

char-literal-printing.c

control-scope.c

dangling_else.c

dangling_else_lookahead.c

dangling_else_lookahead.if.c

dangling_else_misleading.fail.c

declaration_ambiguity.c

declarator_visibility.c

enum_constant_visibility.c

enum_shadows_typedef.c

function-decls.c

function_parameter_scope.c

function_parameter_scope_extends.c

local_typedef.c

long-long-struct.c

no_local_scope.c

parameter_declaration_ambiguity.c

parameter_declaration_ambiguity.test.c

struct-recursion.c

variable_star.c

CISC-Kernel.html

Featherweight_OCL.html

InfPathElimination.html

Isabelle_C.html

Isabelle_Meta_Model.html

TESL_Language.html

UPF_Firewall.html

statistics.html

rAFP79e888fe281b

metadata/metadata

thys/Isabelle_C/C11-FrontEnd/C_Appendices.thy

thys/Isabelle_C/C11-FrontEnd/C_Main.thy

thys/Isabelle_C/C11-FrontEnd/document/DOF-COL.sty

thys/Isabelle_C/C11-FrontEnd/document/DOF-core.sty

thys/Isabelle_C/C11-FrontEnd/document/DOF-scholarly_paper.sty

thys/Isabelle_C/C11-FrontEnd/document/DOF-technical_report.sty

thys/Isabelle_C/C11-FrontEnd/document/figures

thys/Isabelle_C/C11-FrontEnd/document/generated/DOF-COL.sty

thys/Isabelle_C/C11-FrontEnd/document/generated/DOF-core.sty

thys/Isabelle_C/C11-FrontEnd/document/generated/DOF-scholarly_paper.sty

thys/Isabelle_C/C11-FrontEnd/document/generated/DOF-technical_report.sty

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/A-C-Source.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/A-C-Source10.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/A-C-Source2.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/A-C-Source3.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/A-C-Source5.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/A-C-Source6.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/A-C-Source7.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/A-C-Source8.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/A-C-Source80.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/A-C-Source9.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/C-export-example.png

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/C11-Package-Architecture.pdf

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/document-model1.pdf

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/document-model2.pdf

thys/Isabelle_C/C11-FrontEnd/document/generated/figures/markup-demo.png

thys/Isabelle_C/C11-FrontEnd/document/generated/ontologies.tex

thys/Isabelle_C/C11-FrontEnd/document/generated/paper.tex

thys/Isabelle_C/C11-FrontEnd/document/lstisadof.sty

thys/Isabelle_C/C11-FrontEnd/document/ontologies.tex

thys/Isabelle_C/C11-FrontEnd/document/paper.tex

thys/Isabelle_C/C11-FrontEnd/document/preamble.tex

thys/Isabelle_C/C11-FrontEnd/document/root.bib

thys/Isabelle_C/C11-FrontEnd/document/root.tex

thys/Isabelle_C/C11-FrontEnd/examples/C0.thy

thys/Isabelle_C/C11-FrontEnd/examples/C1.thy

thys/Isabelle_C/C11-FrontEnd/examples/C2.thy

thys/Isabelle_C/C11-FrontEnd/examples/C_paper.thy

thys/Isabelle_C/C11-FrontEnd/generated/c_ast.ML

thys/Isabelle_C/C11-FrontEnd/generated/c_grammar_fun.grm

thys/Isabelle_C/C11-FrontEnd/generated/c_grammar_fun.grm.sig

thys/Isabelle_C/C11-FrontEnd/generated/c_grammar_fun.grm.sml

thys/Isabelle_C/C11-FrontEnd/src/C_Ast.thy

thys/Isabelle_C/C11-FrontEnd/src/C_Command.thy

thys/Isabelle_C/C11-FrontEnd/src/C_Document.thy

thys/Isabelle_C/C11-FrontEnd/src/C_Environment.thy

thys/Isabelle_C/C11-FrontEnd/src/C_Eval.thy

thys/Isabelle_C/C11-FrontEnd/src/C_Lexer_Annotation.thy

thys/Isabelle_C/C11-FrontEnd/src/C_Lexer_Language.thy

thys/Isabelle_C/C11-FrontEnd/src/C_Parser_Annotation.thy

thys/Isabelle_C/C11-FrontEnd/src/C_Parser_Language.thy

thys/Isabelle_C/README.md

thys/Isabelle_C/README.thy

thys/Isabelle_C/ROOT

thys/Isabelle_C/src_ext/mlton/LICENSE

thys/Isabelle_C/src_ext/mlton/README.adoc

thys/Isabelle_C/src_ext/mlton/doc/license/MLKit-LICENSE

thys/Isabelle_C/src_ext/mlton/doc/license/MLton-LICENSE

thys/Isabelle_C/src_ext/mlton/doc/license/NEC-LICENSE

thys/Isabelle_C/src_ext/mlton/doc/license/NJ-LICENSE

thys/Isabelle_C/src_ext/mlton/doc/license/README

thys/Isabelle_C/src_ext/mlton/doc/license/gdtoa-LICENSE

thys/Isabelle_C/src_ext/mlton/lib/mlyacc-lib/base.sig

thys/Isabelle_C/src_ext/mlton/lib/mlyacc-lib/join.sml

thys/Isabelle_C/src_ext/mlton/lib/mlyacc-lib/lrtable.sml

thys/Isabelle_C/src_ext/mlton/lib/mlyacc-lib/parser1.sml

thys/Isabelle_C/src_ext/mlton/lib/mlyacc-lib/stream.sml

thys/Isabelle_C/src_ext/mlton/mlyacc/COPYRIGHT

thys/Isabelle_C/src_ext/mlton/mlyacc/README

thys/Isabelle_C/src_ext/mlton/mlyacc/README.MLton

thys/Isabelle_C/src_ext/mlton/mlyacc/src/FILES

thys/Isabelle_C/src_ext/mlton/mlyacc/src/README

thys/Isabelle_C/src_ext/parser_menhir/LICENSE

thys/Isabelle_C/src_ext/parser_menhir/README.md

thys/Isabelle_C/src_ext/parser_menhir/tests/aligned_struct_c18.c

thys/Isabelle_C/src_ext/parser_menhir/tests/argument_scope.c

thys/Isabelle_C/src_ext/parser_menhir/tests/atomic.c

thys/Isabelle_C/src_ext/parser_menhir/tests/atomic_parenthesis.c

thys/Isabelle_C/src_ext/parser_menhir/tests/bitfield_declaration_ambiguity.c

thys/Isabelle_C/src_ext/parser_menhir/tests/bitfield_declaration_ambiguity.fail.c

thys/Isabelle_C/src_ext/parser_menhir/tests/bitfield_declaration_ambiguity.ok.c

thys/Isabelle_C/src_ext/parser_menhir/tests/block_scope.c

thys/Isabelle_C/src_ext/parser_menhir/tests/c-namespace.c

thys/Isabelle_C/src_ext/parser_menhir/tests/c11-noreturn.c

thys/Isabelle_C/src_ext/parser_menhir/tests/c1x-alignas.c

thys/Isabelle_C/src_ext/parser_menhir/tests/char-literal-printing.c

thys/Isabelle_C/src_ext/parser_menhir/tests/control-scope.c

thys/Isabelle_C/src_ext/parser_menhir/tests/dangling_else.c

thys/Isabelle_C/src_ext/parser_menhir/tests/dangling_else_lookahead.c

thys/Isabelle_C/src_ext/parser_menhir/tests/dangling_else_lookahead.if.c

thys/Isabelle_C/src_ext/parser_menhir/tests/dangling_else_misleading.fail.c

thys/Isabelle_C/src_ext/parser_menhir/tests/declaration_ambiguity.c

thys/Isabelle_C/src_ext/parser_menhir/tests/declarator_visibility.c

thys/Isabelle_C/src_ext/parser_menhir/tests/declarators.c

thys/Isabelle_C/src_ext/parser_menhir/tests/designator.c

thys/Isabelle_C/src_ext/parser_menhir/tests/enum-trick.c

thys/Isabelle_C/src_ext/parser_menhir/tests/enum.c

thys/Isabelle_C/src_ext/parser_menhir/tests/enum_constant_visibility.c

thys/Isabelle_C/src_ext/parser_menhir/tests/enum_shadows_typedef.c

thys/Isabelle_C/src_ext/parser_menhir/tests/expressions.c

thys/Isabelle_C/src_ext/parser_menhir/tests/function-decls.c

thys/Isabelle_C/src_ext/parser_menhir/tests/function_parameter_scope.c

thys/Isabelle_C/src_ext/parser_menhir/tests/function_parameter_scope_extends.c

thys/Isabelle_C/src_ext/parser_menhir/tests/if_scopes.c

thys/Isabelle_C/src_ext/parser_menhir/tests/local_scope.c

thys/Isabelle_C/src_ext/parser_menhir/tests/local_typedef.c

thys/Isabelle_C/src_ext/parser_menhir/tests/long-long-struct.c

thys/Isabelle_C/src_ext/parser_menhir/tests/loop_scopes.c

thys/Isabelle_C/src_ext/parser_menhir/tests/namespaces.c

thys/Isabelle_C/src_ext/parser_menhir/tests/no_local_scope.c

thys/Isabelle_C/src_ext/parser_menhir/tests/parameter_declaration_ambiguity.c

thys/Isabelle_C/src_ext/parser_menhir/tests/parameter_declaration_ambiguity.test.c

thys/Isabelle_C/src_ext/parser_menhir/tests/statements.c

thys/Isabelle_C/src_ext/parser_menhir/tests/struct-recursion.c

thys/Isabelle_C/src_ext/parser_menhir/tests/typedef_star.c

thys/Isabelle_C/src_ext/parser_menhir/tests/types.c

thys/Isabelle_C/src_ext/parser_menhir/tests/variable_star.c

thys/ROOTS

web/entries/CISC-Kernel.html

web/entries/Circus.html

web/entries/Clean.html

web/entries/Featherweight_OCL.html

web/entries/HOL-CSP.html

web/entries/InfPathElimination.html

web/entries/Isabelle_C.html

web/entries/Isabelle_Meta_Model.html

web/entries/TESL_Language.html

web/entries/UPF.html

web/entries/UPF_Firewall.html

web/entries/UTP.html

web/index.html

web/rss.xml

web/statistics.html

web/topics.html