/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 97be8db8

Name	Size	Revision	Age	Author	Comment
C		990210f3	about 5 years	Pierre-Loïc Garoche	Improved include folders behaviors: - allow mul...
EMF		97be8db8	about 5 years	Teme Kahsai	fixed matlab output
Horn		a6974c82	about 5 years	Pierre-Loïc Garoche	[Horn] Workaround to prevent the use of declare...
Java		a2d97a3e	almost 8 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
backends.ml	134 Bytes	37419cf4	about 5 years	Pierre-Loïc Garoche	Missing file

#	Date	Author	Comment
97be8db8	06/22/2017 03:45 AM	Teme Kahsai	fixed matlab output
1411704e	06/22/2017 03:44 AM	Pierre-Loïc Garoche	Changed the matlab function backend
37419cf4	06/21/2017 08:46 PM	Pierre-Loïc Garoche	Missing file
30dee850	06/21/2017 08:46 PM	Teme Kahsai	fixed matlab output
d3e837ea	06/21/2017 08:46 PM	Pierre-Loïc Garoche	Changed the matlab function backend
b7258fa5	06/21/2017 08:42 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into seahorn_a6df3 a6df3 is the initial commit of branch seahorn
a6974c82	05/17/2017 12:21 PM	Pierre-Loïc Garoche	[Horn] Workaround to prevent the use of declared keywords as node name
5d08c49e	05/17/2017 10:13 AM	Pierre-Loïc Garoche	Solved printing bug in Horn backend
990210f3	05/16/2017 04:57 PM	Pierre-Loïc Garoche	Improved include folders behaviors: - allow multiple -I dir, will be used in order (first one declared is first used) - when declaring a global library #open <foo>, foo is first checked in local folders, than in global one (install path). This does not apply to local libraries opened with #open "foo".
521e2a6b	05/16/2017 10:56 AM	Pierre-Loïc Garoche	trying to improving pretty printing. Not so perfect for the moment

Also available in: Atom