|
|
e18f5e5f06
|
add note on building
|
2022-09-23 14:24:39 -07:00 |
|
|
|
3c6945de9c
|
add cosmo-yices to build script
|
2022-09-23 14:16:45 -07:00 |
|
|
|
2280df8fc0
|
add cosmo-yices
|
2022-09-23 14:15:02 -07:00 |
|
|
|
298260f1a4
|
move dedupe to utilities and write a wrapper
|
2022-09-23 14:05:19 -07:00 |
|
|
|
d1216438ee
|
ignore out directory
|
2022-09-23 13:45:26 -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 |
|
|
|
1fed335376
|
add cosmo-kuroko
|
2022-09-23 13:19:43 -07:00 |
|
|
|
f2e94144e1
|
add cosmo
|
2022-09-23 13:06:23 -07:00 |
|
|
|
607346f52a
|
link to a longer example
|
2022-09-23 12:56:29 -07:00 |
|
|
|
ea3ed36779
|
add notwa-util
|
2022-09-23 12:29:57 -07:00 |
|
|
|
2574b35a2a
|
add .gitignore
|
2022-09-23 12:27:51 -07:00 |
|
|
|
821e2550c4
|
add note about inline comments
|
2022-09-23 12:26:41 -07:00 |
|
|
|
4a2ec0efd3
|
refine docker section
|
2022-09-23 12:25:04 -07:00 |
|
|
|
a7da48e7ec
|
refine code style section
|
2022-09-23 12:22:51 -07:00 |
|
|
|
c490e26fb9
|
add incomplete notes on code style
|
2022-09-23 12:14:00 -07:00 |
|
|
|
a11d3fa9f4
|
add notes on host OS
|
2022-09-23 12:13:52 -07:00 |
|
|
|
a9e1c079a6
|
expand notes on docker
|
2022-09-23 12:09:20 -07:00 |
|
|
|
728c5d257a
|
add notes about docker
|
2022-09-23 12:04:40 -07:00 |
|
|
|
f3778dcb7d
|
init
|
2022-09-23 12:00:15 -07:00 |
|
