index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
.cirrus.yml
Age
Commit message (
Collapse
)
Author
2023-03-17
Use newer LLVM_DIR config option to build FreeBSD
Martin Nowack
2023-02-06
Use LLVM 11 for FreeBSD testing (package llvm90 is not available anymore)
Cristian Cadar
2022-07-11
Switch FreeBSD CI to 13.1 and Python 3.9
Gleb Popov
2022-05-05
Switch FreeBSD 12 CI to a supported release.
Gleb Popov
2021-10-22
Switch FreeBSD CI to 12.2 and 13.0, as 11.4 has gone EOL.
Gleb Popov
2021-05-04
cirrus: update FreeBSD python dependencies
Frank Busse
2020-12-13
FreeBSD CI: Use FreeBSD 12.2 instead of 12.1 and LLVM 9 instead of LLVM 8.
Gleb Popov
2020-09-04
CirrusCI: Switch FreeBSD 11.3 to 11.4, remove old hack.
Gleb Popov
2020-06-26
[FreeBSD] Assume always yes for installing packages as well
Martin Nowack
2020-06-26
Revert to FreeBSD 12.1-STABLE (13.0-CURRENT has started running into issues)
Cristian Cadar
2020-04-05
Run "pkg update -f" before installing dependencies on FreeBSD
Cristian Cadar
2020-03-10
Use -snap VMs on Cirrus for FreeBSD
Cristian Cadar
2020-02-23
Use FreeBSD 11.3-STABLE instead of EoLed 11.2.
Gleb Popov
2020-02-23
Workaround `pkg` breakage on FreeBSD CI.
Gleb Popov
2020-01-08
Upgraded FreeBSD Python packages from 3.6 to 3.7
Cristian Cadar
2019-05-06
Use 'latest' branch of FreeBSD packages on Cirrus CI.
Gleb Popov
2019-04-29
Add a configuration file for Cirrus CI.
Gleb Popov