(Promela backend) Added scheduling model for promela. This is used for describing what information is needed when a partition is to be scheduled.
(Promela backend) Set the backend to build the scheduling model.
(HLS) create top vhdl file
(HLS) fix errors for top vhdl
Merge branch 'master' of github.com:orcc/orcc
(HLS) optimize FSM
(HLS) add batch commands for automatic launch of each actor hardware
geeration
(HLS) add file copier from vivado predefined folders to a common folder
(paths are not not yet generalized)
(HLS) fix some errors .. gen ok for MPEG4P2SP (preliminary check)
(HLS) fix paths and top synthesis problems ... faster and correct
implementation
(Backends), Now DivisionSubstitution visits Actors Procedures, The
Inliner has now a new option for inlining or not ActionBody procedures
Update README.md
(Backends) Now DivisionSubstition visits binary expressions that
contains other binary expressions
(TTA) Add a native function called 'throw_away' to avoid dead
code elimination of LLVM.
(HLS) fix error in actors containing only untagged actions + unify batch
command
(OpenCL) Changing OpenCL 1.1 header to OpenCL 1.2
Merge branch 'master' of github.com:orcc/orcc
(backends) Add a trace to display command line args in cli mode
(runtime) Build only needed files in library
(backends) Add the new COMPA backend