0002408: Some issues related to Frama-C 18.0 (beta) "Argon" - Frama-C Bug Tracking System

Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0002408

Frama-C

Plug-in > wp

public

2018-11-03 08:40

2018-11-30 10:37

Reporter

jens

Assigned To

correnson

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C GIT, precise the release id

Target Version

Fixed in Version

Frama-C 18-Argon

Summary

0002408: Some issues related to Frama-C 18.0 (beta) "Argon"

Description

This entry serves to link my GitHub issues on Argon (beta) to the BTS. The issues are https://github.com/Frama-C/Frama-C-snapshot/issues/12 https://github.com/Frama-C/Frama-C-snapshot/issues/13 https://github.com/Frama-C/Frama-C-snapshot/issues/14

Tags

No tags attached.

Relationships

Notes
(0006684) signoles (manager) 2018-11-30 10:37	Fixed in Frama-C 18-Argon. For details, see the comments in the related github issues.

Issue History
Date Modified	Username	Field	Change
2018-11-03 08:40	jens	New Issue
2018-11-03 08:40	jens	Status	new => assigned
2018-11-03 08:40	jens	Assigned To	=> correnson
2018-11-30 10:36	signoles	Status	assigned => resolved
2018-11-30 10:36	signoles	Fixed in Version	=> Frama-C 19-Potassium
2018-11-30 10:36	signoles	Resolution	open => fixed
2018-11-30 10:37	signoles	Note Added: 0006684
2018-11-30 10:37	signoles	Status	resolved => closed
2018-11-30 10:37	signoles	Fixed in Version	Frama-C 19-Potassium => Frama-C 18-Argon

Copyright © 2000 - 2020 MantisBT Team