assessments
in industrial applications
# Committees
## PC Co-Chairs
Rosemary Monahan, Maynooth University, rosemary (dot) monahan (at)
nuim (dot) ie
Virgile Prevosto, Institut List, CEA Tech, Université Paris-Saclay,
virgile (dot) prevosto (at) cea (dot) fr
José Proença, HASLab/INESC
) monahan (at)
nuim (dot) ie
Virgile Prevosto, Institut List, CEA Tech, Université Paris-Saclay,
virgile (dot) prevosto (at) cea (dot) fr
José Proença, HASLab/INESC-TEC and Universidade do Minho, jose (dot)
p (dot) proenca (at) inesctec (dot) pt
## Steering Committee
Catherine Dubois
2018-04-12 18:36 GMT+02:00 wenlong xie :
>
>
> [conf-gtksourceview: pkg-config gtksourceview-2.0] Command started
> + pkg-config "--short-errors" "--print-errors" "gtksourceview-2.0"
> (CWD=/Users/wenlongxie/.opam/system/build/conf-gtksourceview.2)
> [ERROR] The
Hello,
As I asked on the issue you opened on Frama-C's bts yesterday (
https://bts.frama-c.com/view.php?id=2373) for the exact same problem: did
you try the suggestion offered by opam, i.e.
launching opam depext conf-gtksourceview.2? There is apparently an issue
with the way gtksourceview was
-Chairs
Paolo Masci, HASLab/INESC-TEC and Universidade do Minho,
paolo (dot) masci (at) inesctec (dot) pt
Rosemary Monahan, Maynooth University,
rosemary (dot) monahan (at) nuim (dot) ie
Virgile Prevosto, Institut List, CEA, Université Paris-Saclay,
virgile
Hello,
2016-06-29 19:13 GMT+02:00 sh0t :
> I can't opam install the 0.86 version of why3 with switch 4.03.0 because
> it asks me to downgrade menhir at 20141215 and then it fails for hygiene
> reasons.
Is there any particular reason for not installing the latest version
(0.87)
Hello,
2015-02-25 16:37 GMT+01:00 David Naumann naum...@cs.stevens.edu:
I installed from OPAM but where's the IDE? According to the 0.85 manual the
following should have worked.
why3 --version
Why3 platform, version 0.85 (build date: Tue Feb 24 13:45:43 EST 2015)
why3 ide
'ide' is not