#
# ChangeLog for LTS/utils.ma
#
# Generated by Trac 1.2
# Dec 12, 2019, 3:57:20 AM

Mon, 20 Jul 2015 17:08:44 GMT piccolo [3591]
	* LTS/Vm.ma (modified)
	* LTS/stack_monostack_pass.ma (modified)
	* LTS/utils.ma (modified)

	stared pass stack to monostack, closed the first three proof ...


Fri, 10 Jul 2015 14:08:09 GMT piccolo [3579]
	* LTS/Language.ma (modified)
	* LTS/Simulation.ma (modified)
	* LTS/frame_variable_pass.ma (modified)
	* LTS/utils.ma (modified)
	* LTS/variable.ma (modified)
	* LTS/variable_stack_pass.ma (modified)




Thu, 18 Jun 2015 22:00:22 GMT piccolo [3575]
	* LTS/frame_variable_pass.ma (modified)
	* LTS/imp.ma (modified)
	* LTS/mono_stack.ma (modified)
	* LTS/stack.ma (modified)
	* LTS/utils.ma (modified)
	* LTS/variable.ma (modified)
	* LTS/variable_stack_pass.ma (modified)




Thu, 18 Jun 2015 16:33:00 GMT piccolo [3574]
	* LTS/Language.ma (modified)
	* LTS/asm.ma (added)
	* LTS/monostack_to_asm_pass.ma (added)
	* LTS/stack_monostack_pass.ma (modified)
	* LTS/utils.ma (modified)
	* LTS/variable_stack_pass.ma (modified)

	assembly pass in place


Tue, 16 Jun 2015 14:00:03 GMT sacerdot [3563]
	* LTS/Vm.ma (modified)
	* LTS/frame_variable_pass.ma (modified)
	* LTS/utils.ma (modified)

	bind_inversion on Opt moved to utils + some progress


Wed, 22 Apr 2015 10:48:57 GMT piccolo [3554]
	* LTS/utils.ma (added)