0000033: Launching several instances of the prover in parallel from the GUI? - Frama-C Bug Tracking System

2021-03-02 02:39 CET

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000033

Frama-C

Plug-in > jessie

public

2009-04-07 15:21

2010-12-22 18:05

Reporter

virgile

Assigned To

cmarche

Priority

normal

Severity

feature

Reproducibility

always

Status

closed

Resolution

fixed

Product Version

Frama-C Lithium-20081201

Target Version

Fixed in Version

Frama-C Carbon-20101202-beta2

Summary

0000033: Launching several instances of the prover in parallel from the GUI?

Description

Hello,
[bug 7439 from old bts, reported by David Mentré]
I'm using frama-c on multi-core and multi-processor machines. Would it be possible, when proving all obligations or
obligations from a selected function using the GUI (gWhy), to launch several instances of the prover at the same time?
It could speed-up the proving time.

Yours,
d.

Additional Information

This feature will be available in Why3 IDE, released in dec 2010

(This won't be avalable in Why2)

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes

signoles (manager)

2010-12-22 18:05

Available in Why3.

Notes

Date Modified	Username	Field	Change
Issue History
2009-04-07 15:21	virgile	New Issue
2009-04-07 15:42	signoles	Status	new => acknowledged
2009-04-10 10:10	signoles	Status	acknowledged => assigned
2009-04-10 10:10	signoles	Assigned To	=> cmarche
2010-09-16 14:46	cmarche	Status	assigned => resolved
2010-09-16 14:46	cmarche	Resolution	open => fixed
2010-09-16 14:46	cmarche	Additional Information Updated
2010-12-22 18:05	signoles	Note Added: 0001352
2010-12-22 18:05	signoles	Status	resolved => closed
2010-12-22 18:05	signoles	Fixed in Version	=> Frama-C Carbon-20101202-beta2

Issue History