#
# ChangeLog for caseStudy_Huffmann/huffmann/doc/experiments/huff_grade_synchro.tex
#
# Generated by Trac 1.2.3
# Sep 17, 2024, 4:11:14 AM

Thu, 20 Dec 2012 13:34:32 GMT cecile [105]
	* caseStudy_Huffmann/huffmann (added)
	* caseStudy_Huffmann/huffmann/doc (added)
	* caseStudy_Huffmann/huffmann/doc/experiments (added)
	* caseStudy_Huffmann/huffmann/doc/experiments/huff_basic_env.tex (added)
	* caseStudy_Huffmann/huffmann/doc/experiments/huff_grade2.tex (added)
	* caseStudy_Huffmann/huffmann/doc/experiments/huff_grade_synchro.tex (added)
	* caseStudy_Huffmann/huffmann/doc/experiments/huff_my_orig.tex (added)
	* caseStudy_Huffmann/huffmann/doc/experiments/huff_original_res.tex (added)
	* caseStudy_Huffmann/huffmann/doc/experiments/huff_original_res_small.tex (added)
	* caseStudy_Huffmann/huffmann/doc/experiments/huff_synchro.tex (added)
	* caseStudy_Huffmann/huffmann/doc/experiments/huff_with_env.tex (added)
	* caseStudy_Huffmann/huffmann/doc/fig (added)
	* caseStudy_Huffmann/huffmann/doc/fig/ArchGeneral.fig (added)
	* caseStudy_Huffmann/huffmann/doc/fig/ArchGeneral.pdf (added)
	* caseStudy_Huffmann/huffmann/doc/fig/decoder_aut.fig (added)
	* caseStudy_Huffmann/huffmann/doc/fig/decoder_aut.pdf (added)
	* caseStudy_Huffmann/huffmann/doc/fig/decoder_synchro.fig (added)
	* caseStudy_Huffmann/huffmann/doc/fig/decoder_synchro.pdf (added)
	* caseStudy_Huffmann/huffmann/doc/fig/encoder_aut.fig (added)
	* caseStudy_Huffmann/huffmann/doc/fig/encoder_aut.pdf (added)
	* caseStudy_Huffmann/huffmann/doc/fig/encoder_aut_vis.fig (added)
	* caseStudy_Huffmann/huffmann/doc/fig/encoder_aut_vis.fig.bak (added)
	* caseStudy_Huffmann/huffmann/doc/fig/encoder_aut_vis.pdf (added)
	* caseStudy_Huffmann/huffmann/doc/fig/encoder_synchro.fig (added)
	* caseStudy_Huffmann/huffmann/doc/fig/encoder_synchro.pdf (added)
	* caseStudy_Huffmann/huffmann/doc/fig/encoder_with_env.fig (added)
	* caseStudy_Huffmann/huffmann/doc/fig/encoder_with_env.fig.bak (added)
	* caseStudy_Huffmann/huffmann/doc/fig/encoder_with_env.pdf (added)
	* caseStudy_Huffmann/huffmann/doc/fig/env_start.fig (added)
	* caseStudy_Huffmann/huffmann/doc/fig/env_start.fig.bak (added)
	* caseStudy_Huffmann/huffmann/doc/fig/env_start.pdf (added)
	* caseStudy_Huffmann/huffmann/doc/fig/environment.fig (added)
	* caseStudy_Huffmann/huffmann/doc/fig/environment.pdf (added)
	* caseStudy_Huffmann/huffmann/doc/huffmann_experiments.aux (added)
	* caseStudy_Huffmann/huffmann/doc/huffmann_experiments.log (added)
	* caseStudy_Huffmann/huffmann/doc/huffmann_experiments.pdf (added)
	* caseStudy_Huffmann/huffmann/doc/huffmann_experiments.tex (added)
	* caseStudy_Huffmann/huffmann/huff_TMR (added)
	* caseStudy_Huffmann/huffmann/huff_TMR/TMR.sim (added)
	* caseStudy_Huffmann/huffmann/huff_TMR/huff.ctl (added)
	* caseStudy_Huffmann/huffmann/huff_TMR/huff_TMR.mv (added)
	* caseStudy_Huffmann/huffmann/huff_TMR/huff_TMR.v (added)
	* caseStudy_Huffmann/huffmann/huff_ack (added)
	* caseStudy_Huffmann/huffmann/huff_ack/huff.ctl (added)
	* caseStudy_Huffmann/huffmann/huff_ack/huff_ack.sim (added)
	* caseStudy_Huffmann/huffmann/huff_ack/huff_reset_ext.mv (added)
	* caseStudy_Huffmann/huffmann/huff_ack/huff_reset_ext.v (added)
	* caseStudy_Huffmann/huffmann/huff_ack/readme (added)
	* caseStudy_Huffmann/huffmann/huff_any_text (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/comp_env+huff.v (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/comp_env+huff_vis.v (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/env+huff.v (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/env+huff_vis.v (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/env.fair (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/huff.mv (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/huff.v (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/huff_vis.v (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/huff_with_env_vis.v (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/protect_env.reg (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/protect_golden.reg (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/register.reg (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/robScript.sh (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/safe_rob1.ctl (added)
	* caseStudy_Huffmann/huffmann/huff_any_text/script_grade.sh (added)
	* caseStudy_Huffmann/huffmann/huff_original (added)
	* caseStudy_Huffmann/huffmann/huff_original/huff.mv (added)
	* caseStudy_Huffmann/huffmann/huff_original/huff.v (added)
	* caseStudy_Huffmann/huffmann/huff_original/protect_golden.reg (added)
	* caseStudy_Huffmann/huffmann/huff_original/protect_output.reg (added)
	* caseStudy_Huffmann/huffmann/huff_original/register.reg (added)
	* caseStudy_Huffmann/huffmann/huff_original/resultat_huff_orig (added)
	* caseStudy_Huffmann/huffmann/huff_original/rob1.ctl (added)
	* caseStudy_Huffmann/huffmann/huff_original/robScript.sh (added)
	* caseStudy_Huffmann/huffmann/huff_original/safe_rob1.ctl (added)
	* caseStudy_Huffmann/huffmann/huff_original/script_grade.sh (added)
	* caseStudy_Huffmann/huffmann/huff_original/vis_rob_msmt (added)
	* caseStudy_Huffmann/huffmann/huff_original/vis_rob_msut (added)
	* caseStudy_Huffmann/huffmann/huff_original/vis_rob_script1 (added)
	* caseStudy_Huffmann/huffmann/huff_original/vis_rob_usmt (added)
	* caseStudy_Huffmann/huffmann/huff_original/vis_rob_usut (added)
	* caseStudy_Huffmann/huffmann/huff_reset (added)
	* caseStudy_Huffmann/huffmann/huff_reset/huff.ctl (added)
	* caseStudy_Huffmann/huffmann/huff_reset/huff.ltl (added)
	* caseStudy_Huffmann/huffmann/huff_reset/huff_reset1.mv (added)
	* caseStudy_Huffmann/huffmann/huff_reset/huff_reset1.v (added)
	* caseStudy_Huffmann/huffmann/huff_reset/huff_reset2.mv (added)
	* caseStudy_Huffmann/huffmann/huff_reset/huff_reset2.v (added)
	* caseStudy_Huffmann/huffmann/huff_reset/robScript.sh (added)
	* caseStudy_Huffmann/huffmann/huff_reset/safe.sh (added)
	* caseStudy_Huffmann/huffmann/huff_reset/safe_rob1.ctl (added)
	* caseStudy_Huffmann/huffmann/huff_reset/test.sim (added)
	* caseStudy_Huffmann/huffmann/huff_synchro (added)
	* caseStudy_Huffmann/huffmann/huff_synchro/Readme (added)
	* caseStudy_Huffmann/huffmann/huff_synchro/cex (added)
	* caseStudy_Huffmann/huffmann/huff_synchro/huff.ctl (added)
	* caseStudy_Huffmann/huffmann/huff_synchro/huff_synchro.mv (added)
	* caseStudy_Huffmann/huffmann/huff_synchro/huff_synchro.sim (added)
	* caseStudy_Huffmann/huffmann/huff_synchro/huff_synchro.v (added)
	* caseStudy_Huffmann/huffmann/huff_synchro/register.reg (added)
	* caseStudy_Huffmann/huffmann/huff_with_env (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/.huff_with_env.v.swo (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/cex (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/env+huff.v (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/env.fair (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/env.sim (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/environment.v (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/environment2.mv (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/environment2.v (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/huff_with_env.mv (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/huff_with_env.sim (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/huff_with_env.v (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/prop_safe.ctl (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/protect_env.reg (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/protect_golden.reg (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/readme (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/rob_composition.mv (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/rob_composition.v (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/safe.ctl (added)
	* caseStudy_Huffmann/huffmann/huff_with_env/script (added)
	* caseStudy_Huffmann/huffmann/readme.txt (added)
	* caseStudy_Huffmann/huffmann/register.reg (added)

	Hufmann case study


