|
|
29c29fd5d2
|
cosmo: add awk and sed
|
2022-09-26 19:43:44 -07:00 |
|
|
|
652e29ad50
|
update perl
|
2022-09-23 17:08:10 -07:00 |
|
|
|
d05e5ec49d
|
add cosmo-perl
|
2022-09-23 16:15:26 -07:00 |
|
|
|
8922630a31
|
abide to code style
|
2022-09-23 15:55:45 -07:00 |
|
|
|
3c6945de9c
|
add cosmo-yices to build script
|
2022-09-23 14:16:45 -07:00 |
|
|
|
6d38d60857
|
make copying files from containers much more robust
|
2022-09-23 13:44:09 -07:00 |
|
|
|
150b4ae76b
|
don't hardcode absolute paths
|
2022-09-23 13:30:08 -07:00 |
|
|
|
bc734f6bd1
|
add build-all script
|
2022-09-23 13:21:45 -07:00 |
|
