Home My Page Projects Why3
Summary Activity Tracker Lists SCM Files


Displaying results 1‒24 out of 24 total.

Order by:

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
21568why3 config --detect leaves temporary filesNone* 2017-12-11 10:13NobodyMiod Vallat
12451Behavior when cloning theoriesNone* 2011-04-07 15:13NobodyGuillaume Melquiond
13946variant for functionNone* 2012-03-01 18:05NobodyFrédéric BESSON
11668Why3 windows portNone* 2011-01-10 09:31NobodyFrancois Bobot
16903Transformations are not synchronizedIDE* 2014-01-22 20:24NobodyDenis Buzdalov
17184clone substitute program type to logic typeNone* 2014-04-07 14:53Andrei PaskevichMartin Clochard
18029Why3 silently forget unknown transformations when reading sessionsNone* 2014-09-24 12:16Claude MarchéMartin Clochard
18953The prefix form of <> is not parsed correctlyNone* 2015-05-18 12:21Andrei PaskevichClaude Marché
19603Unsupported type declaration sent to Alt-ErgoNone* 2015-10-13 11:44NobodyMartin Clochard
19872Why3 via Opam incomplete automatic configurationIDE* 2015-12-03 15:49NobodyHai NGUYEN VAN
19993dynamic link error on opam installConfiguration and installation* 2016-01-28 12:53NobodyBas Spitters
20150build dependencies on debianDocumentation* 2016-03-17 13:02NobodyRalf Treinen
20156please install coq *.vo files in /usr/shareConfiguration and installation* 2016-03-18 10:35NobodyRalf Treinen
20193path for installation of libriaries should use ${prefix}Configuration and installation* 2016-03-31 06:01NobodyRalf Treinen
20194configure should have an option to specify the library installation pathConfiguration and installation* 2016-03-31 06:09NobodyRalf Treinen
20319Invalid definition of function "to" in Bijection theory in Einstein’s Problem solutionDocumentation* 2016-05-10 14:08NobodyDavid Mentré
20525Cannot instantiate a symbol with lambdas when type signature has certain shapeNone* 2016-07-01 08:22NobodyMartin Clochard
20609Bad localisation of 'raises' errors in mutually recursive functionsNone* 2016-07-20 14:56NobodyNicolas Jeannerod
20610'raises' conditions aren't well detected in recursive function containing an auxiliary functionNone* 2016-07-20 15:17NobodyNicolas Jeannerod
20642Check for ocamlgraph in ./configureConfiguration and installation* 2016-07-26 18:16NobodyAleksy Schubert
20645Better check for the compilation artifacts of gtksourceview2Configuration and installation* 2016-07-26 18:37NobodyAleksy Schubert
20881Alt-Ergo driver: File generation failure with polymorphism and mapsProver drivers* 2016-10-13 19:54Claude MarchéJoshua Robbins
21526Dynlink errors after updating to 0.88Configuration and installation* 2017-10-27 18:06NobodyJustin Wang
15594name generation for coq filesNone* 2013-04-09 15:41Guillaume MelquiondMartin Clochard
* Denotes requests > 30 Days Old