8 Commits

Author	SHA1	Message	Date
Claude Marche	e991d73789	update headers	2025-06-04 10:51:30 +02:00
Guillaume Melquiond	8a86d9ac62	Update copyright years.	2024-12-07 09:01:55 +01:00
Jacques-Henri Jourdan	8e64474551	Fix a bug in cfg_path, where unnamed invariants triggered an infinite loop. ... Each time we saw an unnamed invariant, we would assign it a new generated name, so that going twice through the same invariant would not trigger the "already seen" mechanism.	2023-05-23 17:01:54 +02:00
Xavier Denis	773169689a	Make named invariants in mlcfg optional and deprecated	2023-04-27 11:20:10 +02:00
Xavier Denis	cb9c7730f2	Add support for loop variants to mlcfg	2023-04-27 01:18:08 +02:00
Guillaume Melquiond	79738ae6a4	Update headers.	2023-03-07 09:58:45 +01:00
Guillaume Melquiond	53926bbbf5	Update headers.	2022-04-26 16:33:42 +02:00
Claude Marche	10c3ba9a84	fix generation of infinite loops, adding an absurd afterwards ... Additional various fixes, including removing annoying warnings from recent versions of OCaml	2022-03-29 19:03:27 +02:00