Skip to content

verrou into Workflow #937

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 8 commits into
base: master
Choose a base branch
from
Draft

verrou into Workflow #937

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
7bab395
premature commit and puhsing for testing
Malmahrouqi3 Jul 12, 2025
e33e89b
Merge branch 'master' into verrou
Malmahrouqi3 Jul 12, 2025
3eac407
few changes
Malmahrouqi3 Jul 12, 2025
7d3eddb
simplified ./configure
Malmahrouqi3 Jul 13, 2025
db69006
improved Verrou setup
Malmahrouqi3 Jul 13, 2025
8254cda
still improving ./configure
Malmahrouqi3 Jul 13, 2025
97ff4df
Added MFC dependencies
Malmahrouqi3 Jul 13, 2025
f0c2eb9
Merge remote-tracking branch 'upstream/master' into verrou
Malmahrouqi3 Jul 17, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 31 additions & 0 deletions .github/workflows/verrou.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
name: Floating-Point Compliance

on: [pull_request, push]

jobs:
self:
runs-on: ubuntu-latest
steps:
- name: Clone PR
uses: actions/checkout@v4

- name: valgrind Setup
run: |
# get recent release of valgrind from GitHub API
VALGRIND_VERSION=$(curl -s https://api.github.com/repos/LouisBrunner/valgrind/releases/latest | grep -oP '"tag_name": "\K(.*)(?=")')
# download and extract it
wget https://github.com/LouisBrunner/valgrind/releases/download/${VALGRIND_VERSION}/valgrind-${VALGRIND_VERSION}.tar.bz2
tar -xjf valgrind-${VALGRIND_VERSION}.tar.bz2
cd valgrind-${VALGRIND_VERSION}
./autogen.sh
./configure --enable-only64bit --prefix=/usr/local
make
sudo make install
source /usr/local/env.sh

- name: Run tests
run: valgrind --tool=verrou ./mfc.sh test -a --dry-run

- name: Check floating point compliance
run: |
echo "Checking floating point compliance..."
Loading