Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
github.com
Smattr
rumur
Repository
Branches
Overview
Active
Stale
All
main
default
protected
f6abb79c
·
Merge pull request #267 from Smattr/smattr/7b6b8535-8742-444f-9b8f-1ffef486f6d3
·
Jun 11, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/7b6b8535-8742-444f-9b8f-1ffef486f6d3
bb9975f3
·
CI: modernise CMake steps
·
Jun 11, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/5dc37f7d-55fd-49a7-8827-50da8147ba19
fa0a737b
·
CI: upgrade GCC 13.2 → 13.3
·
Jun 09, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/b0758bca-0cb2-40d6-8608-0e5f764ea7ff
ad1ddb7e
·
murphi2uclid: fix ignoring of '-n' and other short options
·
Jun 03, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/8db98942-12a9-45f8-b94b-2f6d2b02bd51
62e19c24
·
XXX beginnings of a translation to SMV
·
May 21, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
packaging/debian
ea0e021c
·
fix: realign autopkgtest libatomic check with the verifier
·
May 19, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/2aa30a85-430c-40dd-bb7d-576c2dfa4c36
176713ce
·
CI: upgrade ARM job to GCC 14
·
May 09, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/6520b4cc-19e3-4330-995b-550693848321
8f2150c2
·
murphi2murphi: fix: use original token when testing for comment begin
·
May 09, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/dc5b303c-762d-4536-aa5b-76ff84bb069a
62acf80f
·
Markdown backticks for code within comments
·
May 06, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/b2bb02d0-52bd-43c9-a32b-caa6cab30128
fd80fe72
·
add a test case for lock freedom on aarch64
·
May 02, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/c385e64d-3159-482d-9ce6-822729fb161f
e6e8572c
·
fix: avoid mixing '__sync_*' and '__atomic_*' built-ins on ref-counted pointers
·
Apr 26, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/f09e5f61-fc53-4c6c-8e22-ad0fe2fb3756
ebbd5fdc
·
fix: remove 'sizeof(refcounted_ptr_t) == sizeof(refcounted_ptr)' assumptions
·
Apr 25, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/fdc59e2e-1d11-4f35-9714-15dfafdd6789
2eb010e9
·
CI: add an aarch64 job
·
Apr 24, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/4bc946d0-5199-4366-9631-98f617b4ee78
c900e435
·
avoid linking libatomic if possible on ARM64
·
Apr 17, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/1592fbd2-4037-481a-a4dc-a66b18bd700c
cc345ea2
·
murphi2murphi --to-ascii: translate '×' to '*'
·
Nov 14, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/bb919688-b09e-41b1-a0aa-2142e231f636
3be2c2c4
·
Debian: use 'lintian -EviI'
·
Sep 24, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/b7990875-87c1-43cb-b176-ebd119c58d26
ed0b07be
·
CI: add GCC 13 testing
·
Aug 06, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
53fab5e0
·
allow 'newfstatat' in the sandbox
·
Dec 24, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/F89740DE-BCDA-4FEA-BBA8-C601A3DD2E93
52870a3d
·
CI: upgrade macOS testing environments
·
Dec 22, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smattr/7F71BEDC-E36A-439F-9570-19369CFF8B1F
16c192b0
·
XXX: drop xml, valgrind
·
Jul 16, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next