This afternoon I will be giving a lecture about BIP to a group of students from a course taught by Panagiotis Katsaros at the Aristotle University of Thessaloniki.
A current development version of BIP can be cloned from the Verimag GitLab:
git clone -b fixing-include-pv-exported-port-connectors https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/bip/compiler.git
Once the repository is cloned, install it by issuing the following commands:
$ cd compiler/distribution $ ./wrap.sh $ sed -i~ -e 's/1.6/1.8/' common.xml $ source setenv.sh $ env | grep BIP2
This will configure your current terminal window to use the BIP Reference Engine (there is also an optimised and a multi-threaded version of the engine). To configure all future terminal windows, either add the third command above (source <path_to_your_installation>/setenv.sh) to your .base_profile, or copy there the definitions of the corresponding BIP2 environment variables (see the last command above).
Additional information is available from the Verimag BIP Compiler page.
