[Why3-club] 2d Call for Papers F-IDE Workshop 2019

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

[Why3-club] Call for Papers F-IDE Workshop 2019

) 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

Re: [Why3-club] how to install why3 0.88.3 using opam for mac os

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

Re: [Why3-club] how to install why3 0.88.3 using opam for mac os

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

[Why3-club] CfP F-IDE: Formal Integrated Development Environment

-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

Re: [Why3-club] why3-base 0.86 opam switch 4.03.0

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)

Re: [Why3-club] IDE in 0.85

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