Recent articles

Solving git am failures

Sun 23 March 2025 by Tsvi Mostovicz / Git

When you need to bring over patches from one repo (we'll call it repoA) to another (repoB) without being able to pull, one of the tools to do that would be git am.

You create a few patch files by calling git format-patch HEAD and git will create a patch …

Read more

CMake 101 (Part 1)

Thu 19 March 2020 by Tsvi Mostovicz / Devops

Following the tutorials

Obviously, the first thing to do is to follow the existing tutorials. Unfortunately, most of them will show you how to compile some code into a single executable.

What I need is something that will run a specific custom command. I don't use the GCC toolchain. These …

Read more

Revamping our build scripts

Wed 18 March 2020 by Tsvi Mostovicz / Devops

A short history

After a year or so at my job, I decided to delve a bit deeper into the build scripts we were using. They were mostly an emalgamation of some tcsh and perl. Being horrified at the cruft that has crept into the system, I went and rewrote …

Read more

Verification languages - overview and concepts

Thu 21 February 2019 by Tsvi Mostovicz / Verification

Running tests

When running a test you go through the following flow.

  • Compile - This part takes all of the source files and compiles them into a single library.
  • Elaborate - Resembles software's linking. Here we take the various objects and put them together like lego.
  • Run - Once the environment is compiled …

Read more

Get in touch