5 Commits

Author	SHA1	Message	Date
Mickaël Véril	52d334e367	Fix isUnsafe	2020-08-06 18:24:42 +02:00
Mickaël Véril	6f15d73054	replace firstState by initialState	2020-06-25 16:46:33 +02:00
Mickaël Véril	615b0a7025	Update documentation examples with LaTeX options	2020-06-24 14:50:55 +02:00
Mickaël Véril	0229201240	Simplify A_g A_u B_g and B_u	2020-06-20 13:37:53 +02:00
Mickaël Véril	79e1d008c0	Move examples files to a new folder	2020-04-30 15:31:54 +02:00