GitHub - carolynzech/battleship: curiosity modeling project for cs1710

Name	Name	Last commit message	Last commit date
Latest commit carolynzech final submission Mar 3, 2023 782b046 · Mar 3, 2023 History 17 Commits
README.pdf	README.pdf	final submission	Mar 3, 2023
battleship.frg	battleship.frg	more tests, small design tweaks	Mar 3, 2023
battleship.tests.frg	battleship.tests.frg	final submission	Mar 3, 2023
collaborators.txt	collaborators.txt	simplify final predicate, add comments/run statements	Mar 2, 2023
multiplayer.frg	multiplayer.frg	test suite stencil and init fix for boatspots	Mar 2, 2023