Commit 73d9619
committed
File tree
- .github
- old_workflows
- workflows
- gradle
- wrapper
- key.core.example
- src/main/java/org/key_project
- key.core.infflow
- src
- main/java/de/uka/ilkd/key/informationflow
- impl
- macros
- po
- snippet
- proof
- init
- rule
- tacletbuilder
- test/java/de/uka/ilkd/key/informationflow
- key.core.proof_references/src
- main/java/de/uka/ilkd/key/proof_references/analyst
- test
- java/de/uka/ilkd/key/proof_references/testcase
- analyst
- resources
- key.core.rifl
- src/main
- java/de/uka/ilkd/key/util/rifl
- resources/de.uka.ilkd.key.util/rifl
- key.core.symbolic_execution.example/src/main/java/org/key_project/example
- key.core.symbolic_execution/src
- main/java/de/uka/ilkd/key/symbolic_execution
- model
- impl
- po
- slicing
- strategy
- breakpoint
- util
- test
- java/de/uka/ilkd/key/symbolic_execution/testcase
- slicing
- strategy
- util
- resources
- testcase
- set
- allNodeTypesTest/test
- blockContractWithExceptionPostconditionNotVerified/test
- blockContractWithException/test
- fullqualifiedTypeNamesTest/test/my/packageName
- truthValueAddingOfLabeledSubtree/test
- truthValueDifferentBranchesTest/test
- truthValueExceptionalModifiableNothingTest/test
- truthValueModifiableAndLoop/test
- truthValueUnderstandingProofsAccount/test
- truthValueUnderstandingProofsCalendar/test
- slicing
- figure2Instance
- figure2Local
- figure2Param
- figure2
- key.core.testgen/src
- main/java/de/uka/ilkd/key/testgen
- oracle
- test/resources
- key.core.wd
- src/main
- java/de/uka/ilkd/key/wd
- po
- resources/de/uka/ilkd/key/proof/rules
- key.core
- pipelineTests
- innerclass
- expected
- 01_EnumClassBuilder
- 02_JMLTransformer
- 03_JmlDocRemoval
- 04_ImplicitFieldAdder
- 05_InstanceAllocationMethodBuilder
- 06_ConstructorNormalformBuilder
- 07_ClassPreparationMethodBuilder
- 08_ClassInitializeMethodBuilder
- 09_PrepareObjectBuilder
- 10_CreateBuilder
- 11_CreateObjectBuilder
- 12_LocalClassTransformation
- input
- simple
- expected
- 01_EnumClassBuilder
- 02_JMLTransformer
- 03_JmlDocRemoval
- 04_ImplicitFieldAdder
- 05_InstanceAllocationMethodBuilder
- 06_ConstructorNormalformBuilder
- 07_ClassPreparationMethodBuilder
- 08_ClassInitializeMethodBuilder
- 09_PrepareObjectBuilder
- 10_CreateBuilder
- 11_CreateObjectBuilder
- 12_LocalClassTransformation
- input
- src
- main
- antlr4
- javacc/de/uka/ilkd/key/parser/proofjava
- java
- de/uka/ilkd/key
- control
- instantiation_model
- java
- abstraction
- ast
- abstraction
- ccatch
- declaration
- modifier
- expression
- literal
- operator
- adt
- reference
- statement
- declaration
- modifier
- expression
- literal
- operator
- adt
- loader
- recoderext
- adt
- expression/literal
- reference
- statement
- transformations
- pipeline
- visitor
- ldt
- logic
- equality
- op
- sort
- macros
- nparser
- builder
- varexp
- parser
- pp
- proof
- init
- io
- consistency
- intermediate
- mgt
- replay
- rule
- conditions
- inst
- match/vm
- instructions
- merge
- metaconstruct
- tacletbuilder
- scripts
- settings
- smt
- communication
- hierarchy
- newsmt2
- solvertypes
- speclang
- dl/translation
- infflow
- jml
- pretranslation
- translation
- njml
- translation
- strategy
- definition
- feature
- quantifierHeuristics
- termProjection
- taclettranslation/lemma
- util
- mergerule
- parsing
- pp
- recoder/service
- resources/de/uka/ilkd/key
- java/JavaRedux/java
- io
- lang
- proof/rules
- classicalLogic
- float
- integer
- locset
- permission
- sequence
- string
- smt/newsmt2
- test
- java
- de/uka/ilkd/key
- java
- recoderext
- visitor
- logic
- equality
- sort
- nparser
- parser
- proofjava
- pp
- proof
- init
- io
- proverules
- replay
- runallproofs
- performance
- proofcollection
- rule
- match/vm
- merge
- metaconstruct
- tacletbuilder
- scripts/meta
- settings
- smt
- newsmt2
- test
- speclang
- jml
- pretranslation
- njml
- strategy/quantifierHeuristics
- taclettranslation
- lemma
- util
- resources
- de/uka/ilkd/key
- nparser
- rule
- smt/newsmt2/cases
- speclang/njml/exceptional
- testcase
- classpath
- classpath
- javaSource
- src/cp
- javaASTExtensions
- src
- sub1
- sub2
- javacardDLExtensions
- loopScopeInvRule
- merge
- proofBundle
- complexBundleGeneration
- a/lang
- src
- simpleBundleGeneration/src
- smt/tacletTranslation
- speclang/testPackage
- testgen
- tacletProofs/seqRules
- key.ncore.calculus/src/main/java/org/key_project/prover/rules
- key.ncore
- src/main/java/org/key_project/logic/sort
- key.removegenerics
- src
- main/java/de/uka/ilkd/key/util/removegenerics
- monitor
- test
- java/de/uka/ilkd/key/util/removegenerics
- resources
- key.ui
- examples
- InformationFlow
- LoopInvariants/src/loop
- NewObjects/src/object
- PasswordFile
- SimpleEvoting
- src/simple_evoting
- ToyBanking
- JLS_Conformance_Tests
- JLS_15_12_4_Method_Invocation
- JLS_15_26_Assignment
- firstTouch/05-ReverseArray
- heap
- BoyerMoore
- SemanticSlicing
- SmansEtAl
- Transactions
- block_loop_contracts
- InternalExternal
- List
- coincidence_count
- comprehensions/src
- fm12_01_LRS
- information_flow
- javacard/boot/java/lang
- list_ghost
- list_seq
- src
- list
- src
- model_methods
- observer
- permissions
- lockspec
- mulleretal
- paper
- src
- threads
- src
- permutedSum
- polarity_tests
- quicksort
- simple
- strictly_pure
- vacid0_01_SparseArray
- vacid0_05_RedBlackTrees
- src/vacid0/redblacktree
- verifyThis11_1_Maximum
- verifyThis15_2_ParallelGcd
- verifyThis15_3_DLL
- verifyThis17_1_PairInsertionSort/src
- vstte10_03_LinkedList
- vstte10_04_Queens
- vstte10_05_Queue
- vstte12_01_Swap
- vstte12_03_RingBuffer
- vstte12_04_TreeReconstruct
- src
- performance-test/src.templates
- redux/arrays
- src
- smt/taclettranslation
- standard_key
- BookExamples
- 03DynamicLogic
- 08ProofObligations
- adt
- arith
- challenges/jacobsEtAl/static_initialisation
- java_dl
- classpath
- deepNonNull
- innerClasses
- java5
- src
- jml-assert
- src
- methodResolution
- src
- main
- sub
- reverseArray
- strassen
- switch
- polymorphic
- pred_log
- preservesInReachableState
- staticInitialisation
- classpath
- strings
- Case_Studies
- visualdebugger/src
- src
- main
- java/de/uka/ilkd/key
- core
- gui
- actions
- extension
- api
- impl
- keyshortcuts
- nodeviews
- originlabels
- proofdiff
- prooftree
- settings
- sourceview
- resources
- META-INF/services
- de/uka/ilkd/key/gui/help
- test/java/de/uka/ilkd/key/gui/proofdiff
- key.util/src
- main/java
- de/uka/ilkd/key/util
- org/key_project/util
- collection
- java
- test/resources
- keyext.caching/src/main
- java/de/uka/ilkd/key/gui/plugins/caching
- resources/META-INF/services
- keyext.exploration/src/main/java/org/key_project/exploration
- keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation
- keyext.proofmanagement
- src/main/java/org/key_project/proofmanagement
- check
- dependency
- io
- keyext.slicing/src
- main/java/org/key_project/slicing
- graph
- test
- java/org/key_project/slicing
- resources/testcase/issues/3437
- keyext.ui.testgen/src/main/java/de/uka/ilkd/key/gui/testgen
- recoder
- doclet
- resources
- doc
- api
- examples
- collections/java/util
- converter-html
- converter-obfuscated-html
- converter
- src
- application
- doc
- sourcerer
- resources
- tool
- util
- view
- images
- licenses
- src
- main/java/recoder
- abstraction
- bytecode
- convenience
- io
- java
- declaration
- modifier
- expression
- literal
- operator
- reference
- statement
- kit
- pattern
- transformation
- java5to4
- list
- generic
- parser
- service
- util
- test
- java/recoder/testsuite
- basic
- analysis
- syntax
- fixedbugs
- java5test
- transformation
- resources
- basic
- testsrc/testdata
- java5/src
- annotationtest
- annotationtest
- a
- comments
- enumtest/enumtest
- jls
- errortest
- a
- generictest/generictest
- prettyprinting
- transformations
- util
- test
- recoder
- transformation
- defaultCons
- obfuscate
- readOnly
- templates
- scripts
- test
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
0 commit comments