| Course |
Semester |
Lecturer |
Software |
Change/no change/new |
Status |
RT |
| ?? |
S2 |
?? |
TensorFlow |
change |
iainr to update |
|
| ES |
S2 |
bfranke |
we need some udev rules to be set in /etc/udev/rules.d/10-freescale.rules, plus as the boards will advertise their own IP addresses (no DHCP) we need the network ports in G.A11 to be set up accordingly. |
possible changes |
Possible changes, especially re dev rules |
RT:80926 |
| CQI |
S2 |
cheunen |
Quantomatic (latest) |
new |
to do |
RT:78636 |
| CQI |
S2 |
cheunen |
Quantomatic |
new software |
new software being packaged iainr |
RT:80646 |
| SP |
S2 |
da |
Virtual Box, with USB support |
possible change |
checks required |
RT:80644 |
| IJP |
S1 |
dcspaul |
Java, JavaFx Scenebuilder, Eclipse, BlueJ (all latest versions) |
change |
updated bluej to 3.1.7 |
RT:78637 |
| INF1-FP |
S1 |
dts |
cabal-install emacs-haskell-mode ghc (7.8.4) and ghci. REVISED atom 1.10 instead of emacs, with haskell support |
new |
New software required |
RT:78652 RT:78934 |
| COPT |
S2 |
hleather |
None |
no change |
nothing needed |
RT:78640 |
| INF2B |
S2 |
hshimoda |
Matlab (latest) Octave (4.03 if poss) |
no change |
installed octave 4.03 |
RT:78779 RT:80717 |
| FNLP |
S2 |
ht |
Python 2.7, iPython (py2.7), nltk, nltk_data, matplotlib |
no change |
All there already |
RT:80648 |
| ANLP |
S1 |
ht / sgwater |
nltk, nltk_data and iPython (py2.7) python2.7 |
no change |
nothing needed |
RT:78968 |
| MLPR |
S1 |
imurray2 |
Python 2.7 and 3.5, NumPy (>= 1.10), SciPy , Matplotlib, octave (latest) plus BLAS/ATLAS integration |
change |
to do |
RT:78646 |
| CP |
S1 |
jcb |
gcc, SDL and SDL-devel |
no change |
checks needed to verify all there |
RT:78649 |
| EPL |
S1 |
jcheney |
Scala 2.11 (without Scala Eclipse plugin necessarily) |
no change |
nothing needed |
RT:78643 |
| AR |
S1 |
jdf |
Isabelle (latest, with polyml integration) |
change |
rpms built, waiting testing |
RT:78591 |
| FV |
S2 |
jdf |
NuSMV 2.6.0, CProver (CBMC) |
changes |
new software packaed iainr |
RT:80675 |
| PM |
S2 |
jeh |
Matlab (latest), eclipse (latest) |
no change |
check to verify versions |
RT:78705 RT:80670 |
| SDP |
S2 |
jeh |
Arduinoide (if possible an updated version - currently 1.0.6) Opencv Vlc Xawtv Minicom or other suitable Terminal program for serial port use mplayer/mencoder (if possible), ROS (maybe), gutton's VLC video streaming scripts |
change |
needed: arduino-ide |
RT:78745 |
| INF2A |
S1 |
jrl |
Java and Javac |
no change |
checks needed for version verification |
RT:78656 |
| CCS |
S1 |
keller |
Matlab (latest) only, dropping R, R-lme4, and Cogent |
no change |
nothing needed |
RT:78718 |
| NLU |
S2 |
keller |
Python2.7.5 (or most recent), plus gensim 0.13.3 https://radimrehurek.com/gensim/ pandas any version numpy current default Dice version is fine json current default Dice version is fine |
changes |
new software (python packages) |
RT:78719 RT:80757 |
| EXC |
S1 |
kheafiel |
GNU parallel and Hadoop |
change |
parallel updated, new hadoop cluster installing |
RT:78645 |
| RC |
S2 |
mcryan |
Nothing in particular |
no change |
nothing needed |
RT:80669 |
| IVR |
S1 |
mfallon |
Matlab (latest) python3 (latest) |
change |
check hardware priveleges (gde aware) |
RT:78699 |
| DME |
S2 |
mgutmann |
Same as IAML (nothing in particular) |
no change |
All there already (I believe) |
RT:80789 |
| BIO2 |
S2 |
mhennig |
python-biopython (latest) |
change |
install latest (1.6.8) waiting for test ok Built |
RT:78660 RT:80645 |
| INF2D |
S2 |
mherrman |
PL 5.10.2, matlab, haskell |
no change |
All there already |
RT:80653 |
| PPLS |
S2 |
mic |
openmpi (latest) |
change |
install latest (2.0.0) |
RT:78665 |
| COMN |
S2 |
mlee23 |
VirtualBox: the default version, the COMN linux VM image that has Dummynet software package |
no change |
checks needed to verify dummynet |
RT:78683 RT:80857 |
| OS |
S2 |
mob |
QEMU (latest) |
new |
sticking with default qemu, too tied in to OS |
RT:78673 |
| ABS |
S2 |
mrovatso |
None |
no change |
nothing needed |
RT:78641 RT:80649 |
| CD |
S1 |
npt |
Xilinx Vivado 2015.2 package, together with the various drivers that are listed with Vivado on the current pages for 2015/16 teaching software. |
no change |
checks needed plus license file update |
RT:78655 |
| FV |
S2 + "a couple of weeks" |
pbj |
GNAT Ada 2016, and SPARK 2016 |
new software |
new software required |
RT:81524 |
| DBS |
S1 |
pguaglia |
PostgreSQL (latest) |
no change |
check module-dbs grants pgteach permission |
RT:78704 |
| ADBS |
S2 |
pguaglia |
PostgreSQL, latest version (9.6.1), Pyscopg2 Python module, latest version (2.6.2), Java Development Kit |
new software |
new software required |
RT:80647 |
| CCN |
S2 |
pseries |
Matlab plus psychophysics toolbox |
change |
to do |
RT:78753 |
| RL |
S2 |
ram |
Arcade Learning Environment |
new software |
awaiting full response |
RT:78752 |
| AILP |
S1 |
smaill |
Python 3.4-compatible version of python-igraph |
possible new software |
Checks required |
RT:79551 |
| INF1-DA |
S2 |
stark |
The "Open Corpus Workbench" (ocwb) from http://cwb.sourceforge.net/ It's the "cqp" command-line tool we specifically need. Latest. Command "dia", LibreOffice Draw and Base, PostgreSQL, the pgteach.inf.ed.ac.uk server, and the inf1da database there. |
no change |
No action required |
RT:81339 |
| SELP |
S1 |
stg |
Android Studio |
possible change |
Android SDK already there - is that the same thing? |
RT:79227 |
| INF1-OP |
S2 |
thospeda / sviglas |
- Eclipse Latest (4.5?) - Java/javac (Java8) - JUnit (Junit4) |
no change |
checks required |
RT:79004 |
| TSPL |
S2 |
wadler |
Coq 8.4, compatible of CoqIDE and Proofgeneral |
change |
check emacs warning and verify versions |
RT:78647 |
| PI |
S1 |
wadler |
Video editing software |
new software |
Trialling blender before site wide install |
RT:80019 |
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.