from  Benoît Perrot  <benoit@lrde.epita.fr>

	Factor boolean tasks.
	
	* src/task/boolean_task.hh, src/task/boolean_task.cc:
	* src/task/Makefile.am:
	Distribute new files.
	* src/vm/vm-tasks.hh, src/vm/vm-tasks.cc,
	* src/task/libtask.hh:
	Use boolean tasks.

from  Benoît Perrot  <benoit@lrde.epita.fr>

	Bump to nolimips-0.7

	* INSTALL, README, TODO,
	* Makefile.am, bootstrap,
	* configure.ac,
	* dev/doc-inst-set-gen.py, dev/inst-builder-gen.py,
	* dev/inst-makefile-gen.py, dev/inst-nodes-gen.py,
	* dev/inst-solver-gen.py, dev/nolimips.py,
	* dev/nolimips.xml, dev/parse-asm-parse-gen.py,
	* dev/parse-asm-scan-gen.py,
	* doc/Makefile.am, doc/macros.texi,
	* src/Makefile.am, src/common.hh, src/modules.hh,
	* src/inst/section.hh,
	* src/inst/data_section.hh, src/inst/data_section.cc
	* src/inst/text_section.hh, src/inst/text_section.cc,
	* src/inst/program.hh, src/inst/program_builder.cc,
	* src/inst/exp-visitor.hh, src/inst/exp.hh, src/inst/exp.cc
	* src/inst/inst-tasks.cc, src/inst/inst-tasks.hh, 
	* src/inst/inst.hh, src/inst/label.cc, src/inst/label.hh
	* src/inst/register.hh,
	* src/parse/Makefile.am, src/parse/asm-scan.hh,
	* src/parse/libparse.cc, src/parse/libparse.hh,
	* src/parse/parse-tasks.cc, src/parse/parse-tasks.hh,
	* src/shell/cmd.hh,
	* src/shell/shell-tasks.cc, src/shell/shell-tasks.hh,
	* src/shell/shell.cc, src/shell/shell.hh,
	* src/task/task-tasks.cc, src/task/task-tasks.hh,
	* src/task/task.cc, src/task/task.hh,
	* src/task/task_register.cc, src/task/task_register.hh,
	* src/vm/cp0.hh, src/vm/cpu.hh, src/vm/cpu.cc
	* src/vm/memory.hh, src/vm/mmu.hh, src/vm/segment.hh
	* src/vm/table.hh, src/vm/virtual_machine.hh
	* src/vm/vm-tasks.cc, src/vm/vm-tasks.hh
	* tests/Makefile.am, tests/generate-ref.mk, tests/good/check-good
	* tests/good/fact.s, tests/lexical/check-lexical,
	* tests/runtime/check-runtime, tests/solve/check-solve
	* tests/syntax/check-syntax, tests/unlimited/check-unlimited:
	Rename mipsy as nolimips.

	* dev/mipsy.py, dev/mipsy.xml,
	* doc/mipsy.texi,
	* src/mipsy.cc, src/mipsy-tasks.cc, src/mipsy-tasks.hh,
	* tests/mipsy-check:
	Move to...
	* dev/nolimips.py, dev/nolimips.xml,
	* doc/nolimips.texi,
	* src/nolimips.cc, src/nolimips-tasks.cc, src/nolimips-tasks.hh,
	* tests/nolimips-check:
	These new files.

	* NEWS, configure.ac:
	Bump to nolimips-0.7.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        Track memory leaks.

        * dev/inst-builder-gen.py,
        * dev/inst-nodes-gen.py,
        * dev/mipsy.xml,
        * dev/parse-asm-parse-gen.py,
        * src/inst/data_section.hh,
        * src/inst/exp.hh,
        * src/inst/program_builder.cc,
        * src/inst/section.hh,
        * src/inst/text_section.hh,
        * src/vm/cpu.hh, src/vm/cpu.cc
        * src/vm/segment.hh,
        * src/vm/vm-tasks.cc:
        Use pointers instead of references for each allocated attribute, 
        and delete them.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * dev/doc-inst-set-gen.py,
        * dev/inst-builder-gen.py,
        * dev/inst-makefile-gen.py,
        * dev/inst-nodes-gen.py,
        * dev/mipsy.py,
        * dev/mipsy.xml,
        * dev/parse-asm-parse-gen.py,
        * dev/parse-asm-scan-gen.py,
        * src/common.hh,
        * src/mipsy-tasks.cc, src/mipsy-tasks.hh,
        * src/mipsy.cc,
        * src/modules.hh,
        * src/inst/data_section.hh,
        * src/inst/exp-visitor.hh,
        * src/inst/exp.hh,
        * src/inst/inst-tasks.cc, src/inst/inst-tasks.hh,
        * src/inst/inst.hh,
        * src/inst/label.cc, src/inst/label.hh,
        * src/inst/program.hh,
        * src/inst/program_builder.cc,
        * src/inst/program_solver.hh,
        * src/inst/register.hh,
        * src/inst/section.hh,
        * src/inst/text_section.hh,
        * src/parse/asm-scan.hh,
        * src/parse/libparse.cc, src/parse/libparse.hh,
        * src/parse/parse-tasks.cc, src/parse/parse-tasks.hh,
        * src/task/task-tasks.cc, src/task/task-tasks.hh,
        * src/task/task.cc, src/task/task.hh,
        * src/task/task_register.cc, src/task/task_register.hh,
        * src/vm/cpu.hh, src/vm/cpu.cc,
        * src/vm/memory.hh,
        * src/vm/mmu.hh,
        * src/vm/segment.hh,
        * src/vm/table.hh,
        * src/vm/virtual_machine.hh,
        * src/vm/vm-tasks.cc, src/vm/vm-tasks.hh:
        Update Copyright.
        Suggested by Akim Demaille.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        * src/vm/cpu.hh, src/vm/virtual_machine.hh, src/vm/vm-tasks.cc:
        Make the CPU responsible of its instruction flow.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * src/vm/virtual_machine.hh, src/vm/virtual_machine.cc,
        * src/vm/vm-tasks.hh, src/vm/vm-tasks.cc:
        Check preservation of callee save registers on demand.
        * src/parse/parse-tasks.cc: Remove useless includes.

        * TODO: Update.

        Define and use a step of execution.
        * src/common.hh, src/vm/vm-tasks.cc:
        Adjust.