frama-c issues
https://git.frama-c.com/pub/frama-c/-/issues
2022-07-28T11:34:57Z
https://git.frama-c.com/pub/frama-c/-/issues/164
frama-c installation needs dune > 1.5 package installed
2022-07-28T11:34:57Z
mantis-gitlab-migration
frama-c installation needs dune > 1.5 package installed
ID0002448:
**This issue was created automatically from Mantis Issue 2448. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...
ID0002448:
**This issue was created automatically from Mantis Issue 2448. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002448 | Frama-C | Documentation > website | public | 2019-06-04 | 2019-06-04 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | varosi | **Assigned To** | bobot | **Resolution** | open |
| **Priority** | normal | **Severity** | minor | **Reproducibility** | always |
| **Platform** | - | **OS** | macOS | **OS Version** | Mojave |
| **Product Version** | Frama-C 18-Argon | **Target Version** | - | **Fixed in Version** | - |
### Description :
Installation instructions here - https://frama-c.com/install-18.0-Argon.html#installing-frama-c-on-macos
Doesn't tell that dune package in spam should be > 1.5. This brakes build with strange message telling the reverse:
# Error: Version 1.5 of dune is not supported.
# Supported versions:
# - 0.0
# - 1.0 to 1.1
If you do install later package with:
opam install dune.1.9.3
Everything works just fine. So it would make life of newcomers like me easier if this is said in install instructions here:
https://frama-c.com/install-18.0-Argon.html#installing-frama-c-on-macos
François Bobot
François Bobot
https://git.frama-c.com/pub/frama-c/-/issues/131
Can't view publications on the wiki
2022-05-09T13:31:47Z
mantis-gitlab-migration
Can't view publications on the wiki
ID0002474:
**This issue was created automatically from Mantis Issue 2474. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...
ID0002474:
**This issue was created automatically from Mantis Issue 2474. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002474 | Frama-C | Documentation > website | public | 2019-09-10 | 2019-09-18 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | abutterfield | **Assigned To** | bobot | **Resolution** | open |
| **Priority** | normal | **Severity** | minor | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | - | **Target Version** | - | **Fixed in Version** | - |
### Description :
Clicking the link low down on https://frama-c.com/support.html to acess the wiki to
see list of publications results in a "404 not found" error.
That link is: https://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications
The shorter link https://bts.frama-c.com/dokuwiki/ also fails with a 404
### Steps To Reproduce :
Try to visit https://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications
or https://bts.frama-c.com/dokuwiki/
François Bobot
François Bobot
https://git.frama-c.com/pub/frama-c/-/issues/163
invalid links to "ACSL by Example"
2021-03-30T11:18:12Z
Jens Gerlach
invalid links to "ACSL by Example"
ID0002449:
**This issue was created automatically from Mantis Issue 2449. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...
ID0002449:
**This issue was created automatically from Mantis Issue 2449. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002449 | Frama-C | Documentation > website | public | 2019-06-08 | 2019-06-10 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | jens | **Assigned To** | virgile | **Resolution** | open |
| **Priority** | normal | **Severity** | trivial | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | - | **Target Version** | - | **Fixed in Version** | - |
### Description :
The WP webpage (https://frama-c.com/wp.html) uses old (abandoned) links to "ACSL by Example".
I suggest to replace the link
http://www.fokus.fraunhofer.de/download/acsl_by_example
with
https://github.com/fraunhoferfokus/acsl-by-example/blob/master/ACSL-by-Example.pdf
and the link
https://gitlab.fokus.fraunhofer.de/verification/open-acslbyexample.git
with
https://github.com/fraunhoferfokus/acsl-by-example
### Additional Information :
The suggested links have been stable for a couple of years now.
Virgile Prevosto
Virgile Prevosto
https://git.frama-c.com/pub/frama-c/-/issues/83
wrong test path given in Compiling from source - Quick Start"
2021-02-22T13:07:21Z
mantis-gitlab-migration
wrong test path given in Compiling from source - Quick Start"
ID0002469:
**This issue was created automatically from Mantis Issue 2469. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...
ID0002469:
**This issue was created automatically from Mantis Issue 2469. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002469 | Frama-C | Documentation > website | public | 2019-08-07 | 2020-02-17 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | abutterfield | **Assigned To** | virgile | **Resolution** | fixed |
| **Priority** | normal | **Severity** | minor | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C 19-Potassium | **Target Version** | - | **Fixed in Version** | Frama-C 20-Calcium |
### Description :
In
https://frama-c.com/install-19.0-Potassium.html#compiling-from-source
step 6 suggests a test involving "tests/misc/CruiseControl*.c".
In the Potassium distribution, that needs to be "tests/value/CruiseControl*.c".
I installed from source as a non-superuser, which works
### Steps To Reproduce :
Follow the Quick Start instructions - or simple look at the contents of tests/misc and tests/value in the source distribution.