---
# System prepended metadata

title: polymake workshop tools session

---

# polymake workshop tools session

## gdb + perl debugger
- `ninja -C build/Debug`
- `POLYMAKE_BUILD_MODE`
- `__cxa_throw`
- `stop_here()`

## git
- Actually helpful error messages!
- Difference `merge` and `rebase`
- What file types are suitable
- `pull`, `push`, `fetch`
- `checkout`, `branch`
- `remote`
- `status`
- `blame`
- `log`
- `bisect`
- How to solve conflicts

## grep
- Searching codebase
- Regular expressions (+ examples)
- Escape stuff

## tmux / screen

## memory issues
- top
- ulimit

## BinaryBuilder + Yggdrasil
- `build_tarballs.jl`
- deployment
- overrides

## emacs
- Dispatch to Dan and Antony

## Workflow
- New branch
- Develop
- Make tests
- Optimize
- Coverage + Documentation
- Merge or rebase in between
- Trigger merge to master

## Exercises
- There was some issue with a function writing linear programs to files.
    - What was the functions name?
    - What file is the function in?
    - Who wrote this function originally?
    - Who fixed the issue?
- Find all rules that compute the `F_VECTOR` of a polyhedron.