https://github.com/simpcomp-team/simpcomp
Tip revision: 547954673cf6a06cbf60a942a8e5bccf6185ce0d authored by simpcomp on 17 October 2023, 07:13:10 UTC
Merge pull request #48 from fingolfin/mh/update-ci
Merge pull request #48 from fingolfin/mh/update-ci
Tip revision: 5479546
| File | Mode | Size |
|---|---|---|
| .dirstamp | -rw-r--r-- | 0 bytes |
| bistellar_move.cpp | -rw-r--r-- | 1.4 KB |
| bistellar_move.h | -rw-r--r-- | 1012 bytes |
| face.cpp | -rw-r--r-- | 7.5 KB |
| face.h | -rw-r--r-- | 1.5 KB |
| main.cpp | -rw-r--r-- | 3.8 KB |
| movable_complex.cpp | -rw-r--r-- | 17.6 KB |
| movable_complex.h | -rw-r--r-- | 1.4 KB |
| randomize_complex.cpp | -rw-r--r-- | 1.2 KB |
| randomize_complex.h | -rw-r--r-- | 389 bytes |
| reduce_complex.cpp | -rw-r--r-- | 8.7 KB |
| reduce_complex.h | -rw-r--r-- | 338 bytes |
| types.cpp | -rw-r--r-- | 144 bytes |
| types.h | -rw-r--r-- | 951 bytes |
| util.cpp | -rw-r--r-- | 1.8 KB |
| util.h | -rw-r--r-- | 1.8 KB |
