-
Matthias Braun authored
Most aspects of the fp_model flag would need to be enforced by constructing the firm graph in a certain way. Setting it as a flag won't help. Apart from that nearly nothing of the stuff was implemented anyway.
5a316806
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Most aspects of the fp_model flag would need to be enforced by constructing the firm graph in a certain way. Setting it as a flag won't help. Apart from that nearly nothing of the stuff was implemented anyway.