simplification
adding a todo
another todo
fixing a bug with spec generation
readme
adding style
adding style
fixing code generation for fixed-points
fixing code generation for fixed-points
fixing condition registration with if-then
more small fixes
merge