/src/version.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec/src/version.ml @ c4780a6a

#	Date	Author	Comment
ac6ce5a1	02/15/2021 02:59 PM	Lélio Brun	disable tests in gitlab CI
57c96fb7	02/15/2021 02:26 PM	Lélio Brun	setup tests for dune
719ae9fd	02/03/2021 02:47 PM	Lélio Brun	migration draft on dune
3ebf9aa2	01/11/2017 12:40 AM	Pierre-Loïc Garoche	Remove generated files (.h for include for as well as .in files of configure)
dcafc99b	01/11/2017 12:28 AM	Pierre-Loïc Garoche	Merge branch 'github_master' into integ_github_jan10 Intregrate all modifs by Teme et al
9f77bff7	01/06/2017 08:11 AM	Teme Kahsai	adding math.smt2
fc476249	12/28/2016 01:00 AM	Teme Kahsai	adding -I options to lustrec
822f31e1	12/08/2016 05:55 PM	Teme Kahsai	updating to onera version 30f766a:2016-12-04
323c5b19	12/08/2016 05:46 PM	Teme Kahsai	updating to onera version 30f766a:2016-12-04
3b2bd83d	12/08/2016 05:37 PM	Teme Kahsai	updating to onera version 30f766a:2016-12-04
bad9b6b2	02/23/2016 10:49 PM	Teme Kahsai	Updated to onera_git commit version 9421e24
a1daa793	02/23/2016 10:47 PM	Teme Kahsai	Updated to onera_git commit version 9421e24
9da827cb	10/08/2015 12:41 AM	Teme Kahsai	adjusted the makefile
d50b0dc0	10/07/2015 07:22 PM	Teme Kahsai	sync
e2068500	05/05/2015 01:54 AM	Teme Kahsai	first commit