/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 83dc064f

Name	Size	Revision	Age	Author	Comment
C		1d0fd52b	over 6 years	Xavier Thirioux	updated division for Horn clauses
EMF		2863281f	over 6 years	Pierre-Loïc Garoche	Further restructuring: - arrow.ml* to define ba...
Horn		83dc064f	over 6 years	Pierre-Loïc Garoche	Byte/String bug reappeared
Java		a2d97a3e	over 10 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
backends.ml	537 Bytes	43b5fabc	over 7 years	Pierre-Loïc Garoche	[EMF] Disable join of guards in EMF backend

#	Date	Author	Comment
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
3cd040e3	05/17/2018 02:42 PM	Pierre-Loïc Garoche	Issues with typing pp_basic_lib_fun

Also available in: Atom