/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 7ab1c5bd

Name	Size	Revision	Age	Author	Comment
C		7ab1c5bd	about 5 years	Pierre-Loïc Garoche	- Added a precision parameter for io_frontend "...
EMF		32539b6d	about 5 years	Pierre-Loïc Garoche	Changed encoding of matlab expression inputs fr...
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
7ab1c5bd	06/22/2017 05:21 PM	Pierre-Loïc Garoche	- Added a precision parameter for io_frontend "real" types - New fonction in plugins: main_loop_body_prefix
32539b6d	06/22/2017 04:25 AM	Pierre-Loïc Garoche	Changed encoding of matlab expression inputs from u(xx) to uxx.
f7caf067	06/22/2017 04:18 AM	Pierre-Loïc Garoche	EMF backend now relies on machine code representation. Impact: - EMF backend has an extra machines argument - specific option to avoid merge of ite constructs - set_backend function to improve backend selection Most code was extracted from seahorn_backend through c0f8
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

Also available in: Atom