]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commit
projects / pkg-cerco / acc-trusted.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Imported Upstream version 0.1
authorEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:07:59 +0000 (11:07 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:07:59 +0000 (11:07 +0200)
commit69b6010f0016bba47bc7e74ad8e1f3fa473f259f
tree3789494ab95d064fc67ed159f0426677849201c5tree | snapshot
Imported Upstream version 0.1
389 files changed:
ASMPrinter.ml [new file with mode: 0644] blob
ASMPrinter.mli [new file with mode: 0644] blob
IntelHex.ml [new file with mode: 0644] blob
IntelHex.mli [new file with mode: 0644] blob
acc.ml [new file with mode: 0644] blob
build [new file with mode: 0755] blob
clightFromC.ml [new file with mode: 0644] blob
clightParser.ml [new file with mode: 0644] blob
clightParser.mli [new file with mode: 0644] blob
clightPrinter.ml [new file with mode: 0644] blob
clightPrinter.mli [new file with mode: 0644] blob
error.ml [new file with mode: 0644] blob
extracted/MODIFIED_BY_HAND [new file with mode: 0644] blob
extracted/PROBLEMS [new file with mode: 0644] blob
extracted/aSM.ml [new file with mode: 0644] blob
extracted/aSM.mli [new file with mode: 0644] blob
extracted/aSMCosts.ml [new file with mode: 0644] blob
extracted/aSMCosts.mli [new file with mode: 0644] blob
extracted/aSMCostsSplit.ml [new file with mode: 0644] blob
extracted/aSMCostsSplit.mli [new file with mode: 0644] blob
extracted/aST.ml [new file with mode: 0644] blob
extracted/aST.mli [new file with mode: 0644] blob
extracted/abstractStatus.ml [new file with mode: 0644] blob
extracted/abstractStatus.mli [new file with mode: 0644] blob
extracted/arithmetic.ml [new file with mode: 0644] blob
extracted/arithmetic.mli [new file with mode: 0644] blob
extracted/assembly.ml [new file with mode: 0644] blob
extracted/assembly.mli [new file with mode: 0644] blob
extracted/assocList.ml [new file with mode: 0644] blob
extracted/assocList.mli [new file with mode: 0644] blob
extracted/bEMem.ml [new file with mode: 0644] blob
extracted/bEMem.mli [new file with mode: 0644] blob
extracted/backEndOps.ml [new file with mode: 0644] blob
extracted/backEndOps.mli [new file with mode: 0644] blob
extracted/bigops.ml [new file with mode: 0644] blob
extracted/bigops.mli [new file with mode: 0644] blob
extracted/bindLists.ml [new file with mode: 0644] blob
extracted/bindLists.mli [new file with mode: 0644] blob
extracted/bind_new.ml [new file with mode: 0644] blob
extracted/bind_new.mli [new file with mode: 0644] blob
extracted/bitVector.ml [new file with mode: 0644] blob
extracted/bitVector.mli [new file with mode: 0644] blob
extracted/bitVectorTrie.ml [new file with mode: 0644] blob
extracted/bitVectorTrie.mli [new file with mode: 0644] blob
extracted/bitVectorTrieSet.ml [new file with mode: 0644] blob
extracted/bitVectorTrieSet.mli [new file with mode: 0644] blob
extracted/bitVectorZ.ml [new file with mode: 0644] blob
extracted/bitVectorZ.mli [new file with mode: 0644] blob
extracted/blocks.ml [new file with mode: 0644] blob
extracted/blocks.mli [new file with mode: 0644] blob
extracted/bool.ml [new file with mode: 0644] blob
extracted/bool.mli [new file with mode: 0644] blob
extracted/build [new file with mode: 0755] blob
extracted/byteValues.ml [new file with mode: 0644] blob
extracted/byteValues.mli [new file with mode: 0644] blob
extracted/casts.ml [new file with mode: 0644] blob
extracted/casts.mli [new file with mode: 0644] blob
extracted/cexec.ml [new file with mode: 0644] blob
extracted/cexec.mli [new file with mode: 0644] blob
extracted/cexecInd.ml [new file with mode: 0644] blob
extracted/cexecInd.mli [new file with mode: 0644] blob
extracted/cexecSound.ml [new file with mode: 0644] blob
extracted/cexecSound.mli [new file with mode: 0644] blob
extracted/classifyOp.ml [new file with mode: 0644] blob
extracted/classifyOp.mli [new file with mode: 0644] blob
extracted/clight_abstract.ml [new file with mode: 0644] blob
extracted/clight_abstract.mli [new file with mode: 0644] blob
extracted/clight_classified_system.ml [new file with mode: 0644] blob
extracted/clight_classified_system.mli [new file with mode: 0644] blob
extracted/cminor_abstract.ml [new file with mode: 0644] blob
extracted/cminor_abstract.mli [new file with mode: 0644] blob
extracted/cminor_classified_system.ml [new file with mode: 0644] blob
extracted/cminor_classified_system.mli [new file with mode: 0644] blob
extracted/cminor_semantics.ml [new file with mode: 0644] blob
extracted/cminor_semantics.mli [new file with mode: 0644] blob
extracted/cminor_syntax.ml [new file with mode: 0644] blob
extracted/cminor_syntax.mli [new file with mode: 0644] blob
extracted/compiler.ml [new file with mode: 0644] blob
extracted/compiler.mli [new file with mode: 0644] blob
extracted/coqlib.ml [new file with mode: 0644] blob
extracted/coqlib.mli [new file with mode: 0644] blob
extracted/core_notation.ml [new file with mode: 0644] blob
extracted/core_notation.mli [new file with mode: 0644] blob
extracted/costCheck.ml [new file with mode: 0644] blob
extracted/costCheck.mli [new file with mode: 0644] blob
extracted/costInj.ml [new file with mode: 0644] blob
extracted/costInj.mli [new file with mode: 0644] blob
extracted/costLabel.ml [new file with mode: 0644] blob
extracted/costLabel.mli [new file with mode: 0644] blob
extracted/costMisc.ml [new file with mode: 0644] blob
extracted/costMisc.mli [new file with mode: 0644] blob
extracted/costSpec.ml [new file with mode: 0644] blob
extracted/costSpec.mli [new file with mode: 0644] blob
extracted/csem.ml [new file with mode: 0644] blob
extracted/csem.mli [new file with mode: 0644] blob
extracted/csyntax.ml [new file with mode: 0644] blob
extracted/csyntax.mli [new file with mode: 0644] blob
extracted/deqsets.ml [new file with mode: 0644] blob
extracted/deqsets.mli [new file with mode: 0644] blob
extracted/deqsets_extra.ml [new file with mode: 0644] blob
extracted/deqsets_extra.mli [new file with mode: 0644] blob
extracted/div_and_mod.ml [new file with mode: 0644] blob
extracted/div_and_mod.mli [new file with mode: 0644] blob
extracted/division.ml [new file with mode: 0644] blob
extracted/division.mli [new file with mode: 0644] blob
extracted/eRTL.ml [new file with mode: 0644] blob
extracted/eRTL.mli [new file with mode: 0644] blob
extracted/eRTLToLTL.ml [new file with mode: 0644] blob
extracted/eRTLToLTL.mli [new file with mode: 0644] blob
extracted/eRTL_printer.ml [new file with mode: 0644] blob
extracted/eRTL_printer.mli [new file with mode: 0644] blob
extracted/eRTL_semantics.ml [new file with mode: 0644] blob
extracted/eRTL_semantics.mli [new file with mode: 0644] blob
extracted/errorMessages.ml [new file with mode: 0644] blob
extracted/errorMessages.mli [new file with mode: 0644] blob
extracted/errors.ml [new file with mode: 0644] blob
extracted/errors.mli [new file with mode: 0644] blob
extracted/events.ml [new file with mode: 0644] blob
extracted/events.mli [new file with mode: 0644] blob
extracted/executions.ml [new file with mode: 0644] blob
extracted/executions.mli [new file with mode: 0644] blob
extracted/exp.ml [new file with mode: 0644] blob
extracted/exp.mli [new file with mode: 0644] blob
extracted/extraGlobalenvs.ml [new file with mode: 0644] blob
extracted/extraGlobalenvs.mli [new file with mode: 0644] blob
extracted/extraMonads.ml [new file with mode: 0644] blob
extracted/extraMonads.mli [new file with mode: 0644] blob
extracted/extra_bool.ml [new file with mode: 0644] blob
extracted/extra_bool.mli [new file with mode: 0644] blob
extracted/extralib.ml [new file with mode: 0644] blob
extracted/extralib.mli [new file with mode: 0644] blob
extracted/extranat.ml [new file with mode: 0644] blob
extracted/extranat.mli [new file with mode: 0644] blob
extracted/fetch.ml [new file with mode: 0644] blob
extracted/fetch.mli [new file with mode: 0644] blob
extracted/fixpoints.ml [new file with mode: 0644] blob
extracted/fixpoints.mli [new file with mode: 0644] blob
extracted/foldStuff.ml [new file with mode: 0644] blob
extracted/foldStuff.mli [new file with mode: 0644] blob
extracted/fresh.ml [new file with mode: 0644] blob
extracted/fresh.mli [new file with mode: 0644] blob
extracted/frontEndMem.ml [new file with mode: 0644] blob
extracted/frontEndMem.mli [new file with mode: 0644] blob
extracted/frontEndOps.ml [new file with mode: 0644] blob
extracted/frontEndOps.mli [new file with mode: 0644] blob
extracted/frontEndVal.ml [new file with mode: 0644] blob
extracted/frontEndVal.mli [new file with mode: 0644] blob
extracted/frontend_misc.ml [new file with mode: 0644] blob
extracted/frontend_misc.mli [new file with mode: 0644] blob
extracted/genMem.ml [new file with mode: 0644] blob
extracted/genMem.mli [new file with mode: 0644] blob
extracted/globalenvs.ml [new file with mode: 0644] blob
extracted/globalenvs.mli [new file with mode: 0644] blob
extracted/graphs.ml [new file with mode: 0644] blob
extracted/graphs.mli [new file with mode: 0644] blob
extracted/hide.ml [new file with mode: 0644] blob
extracted/hide.mli [new file with mode: 0644] blob
extracted/hints_declaration.ml [new file with mode: 0644] blob
extracted/hints_declaration.mli [new file with mode: 0644] blob
extracted/i8051.ml [new file with mode: 0644] blob
extracted/i8051.mli [new file with mode: 0644] blob
extracted/i8051bis.ml [new file with mode: 0644] blob
extracted/i8051bis.mli [new file with mode: 0644] blob
extracted/iO.ml [new file with mode: 0644] blob
extracted/iO.mli [new file with mode: 0644] blob
extracted/iOMonad.ml [new file with mode: 0644] blob
extracted/iOMonad.mli [new file with mode: 0644] blob
extracted/identifiers.ml [new file with mode: 0644] blob
extracted/identifiers.mli [new file with mode: 0644] blob
extracted/initialisation.ml [new file with mode: 0644] blob
extracted/initialisation.mli [new file with mode: 0644] blob
extracted/integers.ml [new file with mode: 0644] blob
extracted/integers.mli [new file with mode: 0644] blob
extracted/interference.ml [new file with mode: 0644] blob
extracted/interference.mli [new file with mode: 0644] blob
extracted/interpret.ml [new file with mode: 0644] blob
extracted/interpret.mli [new file with mode: 0644] blob
extracted/interpret2.ml [new file with mode: 0644] blob
extracted/interpret2.mli [new file with mode: 0644] blob
extracted/jmeq.ml [new file with mode: 0644] blob
extracted/jmeq.mli [new file with mode: 0644] blob
extracted/joint.ml [new file with mode: 0644] blob
extracted/joint.mli [new file with mode: 0644] blob
extracted/joint_LTL_LIN.ml [new file with mode: 0644] blob
extracted/joint_LTL_LIN.mli [new file with mode: 0644] blob
extracted/joint_LTL_LIN_semantics.ml [new file with mode: 0644] blob
extracted/joint_LTL_LIN_semantics.mli [new file with mode: 0644] blob
extracted/joint_fullexec.ml [new file with mode: 0644] blob
extracted/joint_fullexec.mli [new file with mode: 0644] blob
extracted/joint_printer.ml [new file with mode: 0644] blob
extracted/joint_printer.mli [new file with mode: 0644] blob
extracted/joint_semantics.ml [new file with mode: 0644] blob
extracted/joint_semantics.mli [new file with mode: 0644] blob
extracted/lIN.ml [new file with mode: 0644] blob
extracted/lIN.mli [new file with mode: 0644] blob
extracted/lINToASM.ml [new file with mode: 0644] blob
extracted/lINToASM.mli [new file with mode: 0644] blob
extracted/lIN_printer.ml [new file with mode: 0644] blob
extracted/lIN_printer.mli [new file with mode: 0644] blob
extracted/lIN_semantics.ml [new file with mode: 0644] blob
extracted/lIN_semantics.mli [new file with mode: 0644] blob
extracted/lTL.ml [new file with mode: 0644] blob
extracted/lTL.mli [new file with mode: 0644] blob
extracted/lTLToLIN.ml [new file with mode: 0644] blob
extracted/lTLToLIN.mli [new file with mode: 0644] blob
extracted/lTL_printer.ml [new file with mode: 0644] blob
extracted/lTL_printer.mli [new file with mode: 0644] blob
extracted/lTL_semantics.ml [new file with mode: 0644] blob
extracted/lTL_semantics.mli [new file with mode: 0644] blob
extracted/label.ml [new file with mode: 0644] blob
extracted/label.mli [new file with mode: 0644] blob
extracted/labelledObjects.ml [new file with mode: 0644] blob
extracted/labelledObjects.mli [new file with mode: 0644] blob
extracted/linearise.ml [new file with mode: 0644] blob
extracted/linearise.mli [new file with mode: 0644] blob
extracted/list.ml [new file with mode: 0644] blob
extracted/list.mli [new file with mode: 0644] blob
extracted/listb.ml [new file with mode: 0644] blob
extracted/listb.mli [new file with mode: 0644] blob
extracted/listb_extra.ml [new file with mode: 0644] blob
extracted/listb_extra.mli [new file with mode: 0644] blob
extracted/lists.ml [new file with mode: 0644] blob
extracted/lists.mli [new file with mode: 0644] blob
extracted/liveness.ml [new file with mode: 0644] blob
extracted/liveness.mli [new file with mode: 0644] blob
extracted/logic.ml [new file with mode: 0644] blob
extracted/logic.mli [new file with mode: 0644] blob
extracted/measurable.ml [new file with mode: 0644] blob
extracted/measurable.mli [new file with mode: 0644] blob
extracted/memProperties.ml [new file with mode: 0644] blob
extracted/memProperties.mli [new file with mode: 0644] blob
extracted/memoryInjections.ml [new file with mode: 0644] blob
extracted/memoryInjections.mli [new file with mode: 0644] blob
extracted/monad.ml [new file with mode: 0644] blob
extracted/monad.mli [new file with mode: 0644] blob
extracted/nat.ml [new file with mode: 0644] blob
extracted/nat.mli [new file with mode: 0644] blob
extracted/option.ml [new file with mode: 0644] blob
extracted/option.mli [new file with mode: 0644] blob
extracted/order.ml [new file with mode: 0644] blob
extracted/order.mli [new file with mode: 0644] blob
extracted/pointers.ml [new file with mode: 0644] blob
extracted/pointers.mli [new file with mode: 0644] blob
extracted/policy.ml [new file with mode: 0644] blob
extracted/policy.mli [new file with mode: 0644] blob
extracted/policyFront.ml [new file with mode: 0644] blob
extracted/policyFront.mli [new file with mode: 0644] blob
extracted/policyStep.ml [new file with mode: 0644] blob
extracted/policyStep.mli [new file with mode: 0644] blob
extracted/positive.ml [new file with mode: 0644] blob
extracted/positive.mli [new file with mode: 0644] blob
extracted/positiveMap.ml [new file with mode: 0644] blob
extracted/positiveMap.mli [new file with mode: 0644] blob
extracted/preIdentifiers.ml [new file with mode: 0644] blob
extracted/preIdentifiers.mli [new file with mode: 0644] blob
extracted/preamble.ml [new file with mode: 0644] blob
extracted/proper.ml [new file with mode: 0644] blob
extracted/proper.mli [new file with mode: 0644] blob
extracted/pts.ml [new file with mode: 0644] blob
extracted/pts.mli [new file with mode: 0644] blob
extracted/rTL.ml [new file with mode: 0644] blob
extracted/rTL.mli [new file with mode: 0644] blob
extracted/rTLToERTL.ml [new file with mode: 0644] blob
extracted/rTLToERTL.mli [new file with mode: 0644] blob
extracted/rTL_printer.ml [new file with mode: 0644] blob
extracted/rTL_printer.mli [new file with mode: 0644] blob
extracted/rTL_semantics.ml [new file with mode: 0644] blob
extracted/rTL_semantics.mli [new file with mode: 0644] blob
extracted/rTLabsToRTL.ml [new file with mode: 0644] blob
extracted/rTLabsToRTL.mli [new file with mode: 0644] blob
extracted/rTLabs_abstract.ml [new file with mode: 0644] blob
extracted/rTLabs_abstract.mli [new file with mode: 0644] blob
extracted/rTLabs_classified_system.ml [new file with mode: 0644] blob
extracted/rTLabs_classified_system.mli [new file with mode: 0644] blob
extracted/rTLabs_semantics.ml [new file with mode: 0644] blob
extracted/rTLabs_semantics.mli [new file with mode: 0644] blob
extracted/rTLabs_syntax.ml [new file with mode: 0644] blob
extracted/rTLabs_syntax.mli [new file with mode: 0644] blob
extracted/rTLabs_traces.ml [new file with mode: 0644] blob
extracted/rTLabs_traces.mli [new file with mode: 0644] blob
extracted/registerSet.ml [new file with mode: 0644] blob
extracted/registerSet.mli [new file with mode: 0644] blob
extracted/registers.ml [new file with mode: 0644] blob
extracted/registers.mli [new file with mode: 0644] blob
extracted/relations.ml [new file with mode: 0644] blob
extracted/relations.mli [new file with mode: 0644] blob
extracted/russell.ml [new file with mode: 0644] blob
extracted/russell.mli [new file with mode: 0644] blob
extracted/semantics.ml [new file with mode: 0644] blob
extracted/semantics.mli [new file with mode: 0644] blob
extracted/semanticsUtils.ml [new file with mode: 0644] blob
extracted/semanticsUtils.mli [new file with mode: 0644] blob
extracted/setoids.ml [new file with mode: 0644] blob
extracted/setoids.mli [new file with mode: 0644] blob
extracted/sets.ml [new file with mode: 0644] blob
extracted/sets.mli [new file with mode: 0644] blob
extracted/simplifyCasts.ml [new file with mode: 0644] blob
extracted/simplifyCasts.mli [new file with mode: 0644] blob
extracted/smallstep.ml [new file with mode: 0644] blob
extracted/smallstep.mli [new file with mode: 0644] blob
extracted/smallstepExec.ml [new file with mode: 0644] blob
extracted/smallstepExec.mli [new file with mode: 0644] blob
extracted/stacksize.ml [new file with mode: 0644] blob
extracted/stacksize.mli [new file with mode: 0644] blob
extracted/star.ml [new file with mode: 0644] blob
extracted/star.mli [new file with mode: 0644] blob
extracted/state.ml [new file with mode: 0644] blob
extracted/state.mli [new file with mode: 0644] blob
extracted/status.ml [new file with mode: 0644] blob
extracted/status.mli [new file with mode: 0644] blob
extracted/statusProofs.ml [new file with mode: 0644] blob
extracted/statusProofs.mli [new file with mode: 0644] blob
extracted/string.ml [new file with mode: 0644] blob
extracted/string.mli [new file with mode: 0644] blob
extracted/structuredTraces.ml [new file with mode: 0644] blob
extracted/structuredTraces.mli [new file with mode: 0644] blob
extracted/switchRemoval.ml [new file with mode: 0644] blob
extracted/switchRemoval.mli [new file with mode: 0644] blob
extracted/toCminor.ml [new file with mode: 0644] blob
extracted/toCminor.mli [new file with mode: 0644] blob
extracted/toRTLabs.ml [new file with mode: 0644] blob
extracted/toRTLabs.mli [new file with mode: 0644] blob
extracted/traces.ml [new file with mode: 0644] blob
extracted/traces.mli [new file with mode: 0644] blob
extracted/translateUtils.ml [new file with mode: 0644] blob
extracted/translateUtils.mli [new file with mode: 0644] blob
extracted/typeComparison.ml [new file with mode: 0644] blob
extracted/typeComparison.mli [new file with mode: 0644] blob
extracted/types.ml [new file with mode: 0644] blob
extracted/types.mli [new file with mode: 0644] blob
extracted/untrusted/Fix.ml [new file with mode: 0644] blob
extracted/untrusted/Fix.mli [new file with mode: 0644] blob
extracted/untrusted/build.ml [new file with mode: 0644] blob
extracted/untrusted/build.mli [new file with mode: 0644] blob
extracted/untrusted/coloring.ml [new file with mode: 0644] blob
extracted/untrusted/coloring.mli [new file with mode: 0644] blob
extracted/untrusted/compute_colouring.ml [new file with mode: 0644] blob
extracted/untrusted/compute_colouring.mli [new file with mode: 0644] blob
extracted/untrusted/compute_fixpoints.ml [new file with mode: 0644] blob
extracted/untrusted/compute_fixpoints.mli [new file with mode: 0644] blob
extracted/untrusted/glue.ml [new file with mode: 0644] blob
extracted/untrusted/glue.mli [new file with mode: 0644] blob
extracted/untrusted/myMap.ml [new file with mode: 0644] blob
extracted/untrusted/myMap.mli [new file with mode: 0644] blob
extracted/untrusted/ocamlList.ml [new file with mode: 0644] blob
extracted/untrusted/ocamlString.ml [new file with mode: 0644] blob
extracted/untrusted/pmap.ml [new file with mode: 0644] blob
extracted/untrusted/pmap.mli [new file with mode: 0644] blob
extracted/untrusted/prioritySet.ml [new file with mode: 0644] blob
extracted/untrusted/prioritySet.mli [new file with mode: 0644] blob
extracted/untrusted/pset.ml [new file with mode: 0644] blob
extracted/untrusted/pset.mli [new file with mode: 0644] blob
extracted/untrusted/setMap.ml [new file with mode: 0644] blob
extracted/untrusted/setMap.mli [new file with mode: 0644] blob
extracted/untrusted/set_adt.ml [new file with mode: 0644] blob
extracted/untrusted/set_adt.mli [new file with mode: 0644] blob
extracted/untrusted/spill.ml [new file with mode: 0644] blob
extracted/untrusted/spill.mli [new file with mode: 0644] blob
extracted/untrusted/untrusted_interference.ml [new file with mode: 0644] blob
extracted/untrusted/untrusted_interference.mli [new file with mode: 0644] blob
extracted/uses.ml [new file with mode: 0644] blob
extracted/uses.mli [new file with mode: 0644] blob
extracted/util.ml [new file with mode: 0644] blob
extracted/util.mli [new file with mode: 0644] blob
extracted/utilBranch.ml [new file with mode: 0644] blob
extracted/utilBranch.mli [new file with mode: 0644] blob
extracted/values.ml [new file with mode: 0644] blob
extracted/values.mli [new file with mode: 0644] blob
extracted/vector.ml [new file with mode: 0644] blob
extracted/vector.mli [new file with mode: 0644] blob
extracted/z.ml [new file with mode: 0644] blob
extracted/z.mli [new file with mode: 0644] blob
options.ml [new file with mode: 0644] blob
options.mli [new file with mode: 0644] blob
optionsParsing.ml [new file with mode: 0644] blob
printer.ml [new file with mode: 0644] blob
printer.mli [new file with mode: 0644] blob
rTLabsPrinter.ml [new file with mode: 0644] blob
rTLabsPrinter.mli [new file with mode: 0644] blob
tests/PROBLEMI [new file with mode: 0644] blob
tests/bubble_sort.c [new file with mode: 0644] blob
tests/test.c [new file with mode: 0644] blob
tests/test2.c [new file with mode: 0644] blob
tests/test3.c [new file with mode: 0644] blob
tests/test4.c [new file with mode: 0644] blob
tests/test5.c [new file with mode: 0644] blob
tests/test6.c [new file with mode: 0644] blob
tests/test7.c [new file with mode: 0644] blob
tests/test8.c [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.