Viewing all changes in revision 1.
- Committer: Bazaar Package Importer
- Date: 2009-06-03 08:19:25 UTC
- Revision ID: james.westby@ubuntu.com-20090603081925-kihvxvt0wy3zc4ar
Import upstream version 20081201.dfsg
- files added:
- bin
- cil
- cil/ocamlutil
- cil/src
- cil/src/ext
- cil/src/frontc
- cil/src/logic
- doc
- doc/code
- external
- lib
- lib/plugins
- licenses
- ptests
- share
- share/jessie
- share/why
- src
- src/ai
- src/buckx
- src/constant_propagation
- src/cxx_types
- src/dummy
- src/dummy/hello_world
- src/dummy/untyped_metrics
- src/from
- src/gui
- src/inout
- src/jessie
- src/journal_loader
- src/kernel
- src/lib
- src/logic
- src/ltl_to_acsl
- src/memory_state
- src/metrics
- src/misc
- src/occurrence
- src/pdg
- src/pdg_types
- src/postdominators
- src/project
- src/scope
- src/semantic_callgraph
- src/slicing
- src/slicing_types
- src/sparecode
- src/syntactic_callgraph
- src/toplevel
- src/users
- src/value
- tests
- tests/bugs
- tests/bugs/oracle
- tests/bugs/result
- tests/constant_propagation
- tests/constant_propagation/oracle
- tests/constant_propagation/result
- tests/demo_cpt
- tests/demo_cpt/oracle
- tests/demo_cpt/result
- tests/dynamic
- tests/dynamic/oracle
- tests/dynamic/result
- tests/dynamic_plugin
- tests/dynamic_plugin/oracle
- tests/dynamic_plugin/result
- tests/float
- tests/float/oracle
- tests/float/result
- tests/idct
- tests/idct/oracle
- tests/idct/result
- tests/impact
- tests/impact/oracle
- tests/impact/result
- tests/jessie
- tests/jessie/oracle
- tests/jessie/result
- tests/journal
- tests/journal/oracle
- tests/journal/result
- tests/minix
- tests/minix/oracle
- tests/minix/result
- tests/misc
- tests/misc/oracle
- tests/misc/result
- tests/occurrence
- tests/occurrence/oracle
- tests/occurrence/result
- tests/pdg
- tests/pdg/oracle
- tests/pdg/result
- tests/saveload
- tests/saveload/oracle
- tests/saveload/result
- tests/scope
- tests/scope/oracle
- tests/scope/result
- tests/security
- tests/security/oracle
- tests/security/result
- tests/slicing
- tests/slicing/oracle
- tests/slicing/result
- tests/slicing2
- tests/slicing2/oracle
- tests/slicing2/result
- tests/sparecode
- tests/sparecode/oracle
- tests/sparecode/result
- tests/spec
- tests/spec/oracle
- tests/spec/result
- tests/test
- tests/test/oracle
- tests/test/result
- tests/wp
- tests/wp/oracle
- tests/wp/result
expand all
collapse all
added
removed
