Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
←
Previous Change
Next Change
→
Changeset
3282
for
Deliverables/Dissemination
Timestamp:
May 14, 2013, 1:05:36 PM (
8 years
ago)
Author:
regisgia
Message:
WP5 slides for the final review.
Location:
Deliverables/Dissemination/final-review
Files:
74 added
.
(added)
wp5
(added)
wp5/Makefile
(added)
wp5/Pics
(added)
wp5/Pics/Makefile
(added)
wp5/Pics/architecture.odg
(added)
wp5/Pics/architecture.pdf
(added)
wp5/Pics/call.ml
(added)
wp5/Pics/call1.mps
(added)
wp5/Pics/call2.mps
(added)
wp5/Pics/call3.mps
(added)
wp5/Pics/cerco_present.ml
(added)
wp5/Pics/cerco_present.mps
(added)
wp5/Pics/compilation2.ml
(added)
wp5/Pics/compilation21.mps
(added)
wp5/Pics/compilation22.mps
(added)
wp5/Pics/cost.ml
(added)
wp5/Pics/cost.mps
(added)
wp5/Pics/diagram.ml
(added)
wp5/Pics/diagram1.mps
(added)
wp5/Pics/diagram2.mps
(added)
wp5/Pics/diagram3.mps
(added)
wp5/Pics/frama-c.png
(added)
wp5/Pics/framac.ml
(added)
wp5/Pics/framac.mps
(added)
wp5/Pics/goto.ml
(added)
wp5/Pics/goto1.mps
(added)
wp5/Pics/goto2.mps
(added)
wp5/Pics/label_annot.ml
(added)
wp5/Pics/label_annot.mps
(added)
wp5/Pics/label_annot1.mps
(added)
wp5/Pics/label_annot2.mps
(added)
wp5/Pics/label_annot3.mps
(added)
wp5/Pics/label_annot4.mps
(added)
wp5/Pics/label_annot5.mps
(added)
wp5/Pics/label_annot6.mps
(added)
wp5/Pics/label_annot7.mps
(added)
wp5/Pics/labelling.ml
(added)
wp5/Pics/labelling1.mps
(added)
wp5/Pics/labelling2.mps
(added)
wp5/Pics/main.tex
(added)
wp5/Pics/nothing.ml
(added)
wp5/Pics/nothing.mps
(added)
wp5/Pics/summul_clight.ml
(added)
wp5/Pics/summul_clight.mps
(added)
wp5/Pics/summul_cost_incr.ml
(added)
wp5/Pics/summul_cost_incr.mps
(added)
wp5/Pics/summul_cost_scope.ml
(added)
wp5/Pics/summul_cost_scope.mps
(added)
wp5/Pics/summul_mips.ml
(added)
wp5/Pics/summul_mips.mps
(added)
wp5/Pics/summul_mips_raw.ml
(added)
wp5/Pics/summul_mips_raw.mps
(added)
wp5/Pics/summul_result_c.ml
(added)
wp5/Pics/summul_result_c.mps
(added)
wp5/Pics/summul_result_erased_mips.ml
(added)
wp5/Pics/summul_result_erased_mips.mps
(added)
wp5/Pics/summul_result_mips.ml
(added)
wp5/Pics/summul_result_mips.mps
(added)
wp5/Pics/symbolic.ml
(added)
wp5/Pics/symbolic.mps
(added)
wp5/Pics/ternary1.ml
(added)
wp5/Pics/ternary1.mps
(added)
wp5/Pics/ternary2.ml
(added)
wp5/Pics/ternary2.mps
(added)
wp5/Pics/wrapper.ml
(added)
wp5/Pics/wrapper.mps
(added)
wp5/beamertalk.tex
(added)
wp5/cerco_logo.png
(added)
wp5/macros.tex
(added)
wp5/main.tex
(added)
wp5/mybeamer.tex
(added)
wp5/whizzy.el
(added)
wp5/whizzy.sh
(added)
Note:
See
TracChangeset
for help on using the changeset viewer.
Download in other formats:
Unified Diff
Zip Archive