Select Git revision
- Branches 20
- master default protected
- dev-tp2
- merge-tp
- dev-tp
- merge-jt
- clang-tidy-fixes
- merge_ranges
- issue-132-seed
- simplify_ext
- new-docs
- libc++
- rte2pda-matching
- conversions-tests-wip
- ZAutomata-rebase
- libc++-17
- QuantumLeap
- tmp
- dev-jt
- compileTimeTypeRetrievalTest
- backup-jt
- Tags 20
- BP-shushiri
- DP-doupajak
- esf2018-doc
- v0.0.0 protected
- v0.0.1 protected
- BP-uhlikja2
- DP-travnja3
- BP_capekto4
- BP_cvachmic
- BP-parmajan
- BP_shatrale
- DP_plachste
- DP-peckatom
- BP-brozjan5
- BP-doupajak
- BP-vozabluk
- BP-kocicma3
- BP-cervera3
- BP-roscadav2
- BP-plachste
Compare
-
-
- Open in your IDE
- Download source code
- Download this directory
Jan Trávníček
authored
858db1eb
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| convert | ||
| determinize | ||
| generate | ||
| properties | ||
| run | ||
| simplify | ||
| transform | ||