issues
search
NASA-SW-VnV
/
homebrew-core
Homebrew formulae from NASA - Software Verification and Validation
5
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fails on macOS Sequoia ver. 15.1.1 INTEL
#21
hguevara
opened
3 days ago
0
Create SECURITY.md
#20
beautiful85
closed
2 weeks ago
1
Getting error while installing IKOS
#19
YASHASDG7
opened
1 month ago
3
Update homebrew formula for IKOS 3.4
#18
ivanperez-keera
closed
2 months ago
0
Apron `incompatible function pointer type` error on Intel Mac
#17
Bckempa
closed
3 months ago
3
Update IKOS formula to install version 3.3 (#14).
#16
ivanperez-keera
closed
7 months ago
0
Update IKOS formula to install version 3.3 (#14).
#15
ivanperez-keera
closed
7 months ago
0
Update homebrew formula for IKOS 3.3
#14
ivanperez-keera
closed
7 months ago
1
Installation of apron fails on Debian Trixie
#13
ffrohn
closed
7 months ago
2
Fails on macOS ARM64
#12
paxter
opened
10 months ago
4
Installation on Fedora 39 via homebrew failed
#11
gene-hightower
closed
2 months ago
5
Update IKOS formula to instal version 3.2-rc1 (#9).
#10
ivanperez-keera
closed
11 months ago
0
Homebrew formula improvements
#9
arthaud
closed
11 months ago
11
Unable to install IKOS 3.1 on Ubuntu 22.04 using Homebrew
#8
jsforyu
closed
1 year ago
0
Unable to install IKOS 3.1 on Ubuntu 22.04 using Homebrew
#7
e1guapo
closed
11 months ago
4
IKOS build fails on gcc12
#6
dunaich
closed
11 months ago
6
Failed to install IKOS v3.1 with Homebrew on Ubuntu 20.04 (WSL-2)
#5
ThibFrgsGmz
closed
11 months ago
8
brew install on mac air fails
#4
mkinney
closed
11 months ago
3
Assertion failed: (strcmp(SQLITE_VERSION, sqlite3_libversion()) == 0)
#3
sandacn
closed
11 months ago
7
Fails to install on centos 8
#2
Rob-McKay
closed
4 years ago
1
IKOS installation fails
#1
dschuessler
closed
5 years ago
13