Bugs
Displaying results 1‒24 out of 24 total.
Viewing only opened records by default, use “Advanced queries” or “Simple Filtering and Sorting” to change.
Id | Summary | Component | Open Date | Assigned to | Submitted by |
---|---|---|---|---|---|
21568 | why3 config --detect leaves temporary files | None | * 2017-12-11 10:13 | Nobody | Miod Vallat |
12451 | Behavior when cloning theories | None | * 2011-04-07 15:13 | Nobody | Guillaume Melquiond |
13946 | variant for function | None | * 2012-03-01 18:05 | Nobody | Frédéric BESSON |
11668 | Why3 windows port | None | * 2011-01-10 09:31 | Nobody | Francois Bobot |
16903 | Transformations are not synchronized | IDE | * 2014-01-22 20:24 | Nobody | Denis Buzdalov |
17184 | clone substitute program type to logic type | None | * 2014-04-07 14:53 | Andrei Paskevich | Martin Clochard |
18029 | Why3 silently forget unknown transformations when reading sessions | None | * 2014-09-24 12:16 | Claude Marché | Martin Clochard |
18953 | The prefix form of <> is not parsed correctly | None | * 2015-05-18 12:21 | Andrei Paskevich | Claude Marché |
19603 | Unsupported type declaration sent to Alt-Ergo | None | * 2015-10-13 11:44 | Nobody | Martin Clochard |
19872 | Why3 via Opam incomplete automatic configuration | IDE | * 2015-12-03 15:49 | Nobody | Hai NGUYEN VAN |
19993 | dynamic link error on opam install | Configuration and installation | * 2016-01-28 12:53 | Nobody | Bas Spitters |
20150 | build dependencies on debian | Documentation | * 2016-03-17 13:02 | Nobody | Ralf Treinen |
20156 | please install coq *.vo files in /usr/share | Configuration and installation | * 2016-03-18 10:35 | Nobody | Ralf Treinen |
20193 | path for installation of libriaries should use ${prefix} | Configuration and installation | * 2016-03-31 06:01 | Nobody | Ralf Treinen |
20194 | configure should have an option to specify the library installation path | Configuration and installation | * 2016-03-31 06:09 | Nobody | Ralf Treinen |
20319 | Invalid definition of function "to" in Bijection theory in Einstein’s Problem solution | Documentation | * 2016-05-10 14:08 | Nobody | David Mentré |
20525 | Cannot instantiate a symbol with lambdas when type signature has certain shape | None | * 2016-07-01 08:22 | Nobody | Martin Clochard |
20609 | Bad localisation of 'raises' errors in mutually recursive functions | None | * 2016-07-20 14:56 | Nobody | Nicolas Jeannerod |
20610 | 'raises' conditions aren't well detected in recursive function containing an auxiliary function | None | * 2016-07-20 15:17 | Nobody | Nicolas Jeannerod |
20642 | Check for ocamlgraph in ./configure | Configuration and installation | * 2016-07-26 18:16 | Nobody | Aleksy Schubert |
20645 | Better check for the compilation artifacts of gtksourceview2 | Configuration and installation | * 2016-07-26 18:37 | Nobody | Aleksy Schubert |
20881 | Alt-Ergo driver: File generation failure with polymorphism and maps | Prover drivers | * 2016-10-13 19:54 | Claude Marché | Joshua Robbins |
21526 | Dynlink errors after updating to 0.88 | Configuration and installation | * 2017-10-27 18:06 | Nobody | Justin Wang |
15594 | name generation for coq files | None | * 2013-04-09 15:41 | Guillaume Melquiond | Martin Clochard |
* Denotes requests > 30 Days Old