12 Commits (fix/iprof-ctrlc)

Author	SHA1	Message	Date
Nikhil Parasaram	92a9990c34	Fix the tests	6 years ago
Joran Honig	521a68d868	adapt mstate test to use smt abstraction	6 years ago
Nathan	2c1572f569	memory refactor to store symbolic values	6 years ago
Dominik Muhs	1fdd07a254	Add gas simulation to LASER (#660)	6 years ago
Nathan	b6c4ad1cbd	Refactor state.py into multiple files (#698)	6 years ago
Dominik Muhs	9af7018235	Apply black	6 years ago
Dominik Muhs	e0cd08a58b	Apply black style formatting	6 years ago
Nikhil Parasaram	38a59afabd	Test fixes and also reject using + operator on machinestack	6 years ago
Joran Honig	16b96bac19	Add test and use slice assignment	6 years ago
Joran Honig	7b471f0d82	Add more tests and fix bug	6 years ago
Joran Honig	342ab92657	And write them tests	6 years ago
Joran Honig	17410661e1	Cleanup mem_extend and add test	6 years ago