/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends @ 0d54d8a8

Name	Size	Revision	Age	Author	Comment
C		0d54d8a8	about 1 year	Pierre-Loïc Garoche	Removed Contract contruct: imported node should...
EMF		2863281f	over 1 year	Pierre-Loïc Garoche	Further restructuring: - arrow.ml* to define ba...
Horn		0d54d8a8	about 1 year	Pierre-Loïc Garoche	Removed Contract contruct: imported node should...
Java		a2d97a3e	over 5 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
backends.ml	537 Bytes	43b5fabc	over 2 years	Pierre-Loïc Garoche	[EMF] Disable join of guards in EMF backend

#	Date	Author	Comment
0d54d8a8	11/13/2018 02:01 AM	Pierre-Loïc Garoche	Removed Contract contruct: imported node should be enough. Solved some warning at compile time
83dc064f	07/13/2018 08:05 PM	Pierre-Loïc Garoche	Byte/String bug reappeared
f9d0c175	07/13/2018 07:52 PM	Pierre-Loïc Garoche	Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
2d2144c0	07/13/2018 05:18 PM	Pierre-Loïc Garoche	Solved bug#57: issues when indirect init of a pre in horn-traces
bec3cf3d	05/31/2018 04:35 PM	Xavier Thirioux	strange bug (ill-typed source) wrt Bytes/String conversion
1d0fd52b	05/18/2018 12:28 AM	Xavier Thirioux	updated division for Horn clauses
14da5302	05/17/2018 05:08 PM	Xavier Thirioux	corrected euclidean division in C code
91f0f06a	05/17/2018 03:31 PM	Pierre-Loïc Garoche	Merge branch 'euclidean' of https://cavale.enseeiht.fr/git/lustrec into euclidean
5318ad88	05/17/2018 03:29 PM	Xavier Thirioux	introduced euclidean/C-like division in C code generation
fa91d4d0	05/17/2018 03:14 PM	Pierre-Loïc Garoche	Euclidean div/mod treatment in Horn backend

Also available in: Atom