Sam Vervaeck samvv
0 followers · 0 following
Repositories
1
 Projects Packages Public activity Starred repositories
samvv pushed to main at samvv/bolt 2025-03-02 00:20:37 +01:00
b1d685bdaf Add again generalization in Checker.cc
fc24bb9091 Move constraint declarations to Constraint.hpp
32f961aad9 Add missing newline terminator in ConsolePrinter.cc
Compare 3 commits »
samvv pushed to main at samvv/bolt 2025-02-28 17:31:21 +01:00
d8a819aeba Remove unused embeded dependencies
2c6380e8db Build ICU in x.py and fix CMake build
45c2930d22 Fix typo in x.py
3170103e4a Update build script
2a892b3d48 Upgrade GoogleTest to 1.16.0
Compare 7 commits »
samvv pushed to main at samvv/bolt 2025-02-28 17:30:00 +01:00
f8b35f35a1 Remove unused embeded dependencies
c81653b98d Build ICU in x.py and fix CMake build
f6f77e0a89 Fix typo in x.py
ed6cf63a42 Update build script
Compare 4 commits »