/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 3ca27bc7

Name	Size	Revision	Age	Author	Comment
C		3ca27bc7	almost 8 years	Pierre-Loïc Garoche	- Addtional encapsulation of machine_code instr...
EMF		3ca27bc7	almost 8 years	Pierre-Loïc Garoche	- Addtional encapsulation of machine_code instr...
Horn		3ca27bc7	almost 8 years	Pierre-Loïc Garoche	- Addtional encapsulation of machine_code instr...
Java		a2d97a3e	almost 11 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
backends.ml	134 Bytes	37419cf4	almost 8 years	Pierre-Loïc Garoche	Missing file

#	Date	Author	Comment
3ca27bc7	06/23/2017 04:07 AM	Pierre-Loïc Garoche	- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata. - Improved EMF backend with META information
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

Also available in: Atom