Je viens de voir qu'un frama_c_journal.ml a été commité. Ce fichier est quelque chose d'un peu obsolète, généré par la GUI parfois en cas de crash. Il faudrait le rajouter au .gitignore de la racine d'OSCS, et le supprimer du commit.
frama_c_journal.ml
.gitignore
Ok !
added 1 commit
Compare with previous version
C'est fait, dis-moi si j'ai oublié quoi que ce soit !
J'avais git push le repo sans avoir add et commit mes changements :| J'ai corrigé le shebang du script evaluate_case.sh
git push
evaluate_case.sh
J'ai corrigé le script evaluate_case.sh afin de le rendre davantage bash-esque et portable.
bash
Amended last commit with corrected necessary patches.
update normalize.sh
normalize.sh
changed title from add array-industry-pattern to [svcomp] add array-industry-pattern
