GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
6 stars 2 forks source link

Documentation #1016

Closed rtadros125 closed 3 years ago

rtadros125 commented 3 years ago

I don't think we'll have time to get this into Release 4.2, but maybe in some point releases.

rtadros125 commented 3 years ago

From @Abivin12's meeting notes with AustinR:

rtadros125 commented 3 years ago

2nd task is done in #1049. Now moving to the 1st one.

rtadros125 commented 3 years ago

Task-1 breakdown (started on update-readmes-and-docs):

rtadros125 commented 3 years ago

Opened #1066 to address the first task. I will jump next to the fourth task (The BESSPIN philosophy document).

bboston7 commented 3 years ago

Here are the various parts of the codebase that need to be documented. Feel free to further subdivide as needed.

rtadros125 commented 3 years ago

Finished the fourth task on branch testgen-methodology-document, but won't open a PR until #1066 is merged (because the new branch is rebased on it). Update: Done and merged in #1078.

rtadros125 commented 3 years ago

I have added a 5th task here. I will work on it at some point soon.

rtadros125 commented 3 years ago

Started to work on the fifth task.

rtadros125 commented 3 years ago

@bboston7 I added a sixth task, and it has your name all over it :)

bboston7 commented 3 years ago

@rtadros125 Yes it does! I'll work on that one.

bboston7 commented 3 years ago

I broke the cwesEvaluation subtask of task 3 down to for easier tracking.

rtadros125 commented 3 years ago

I will move the "Document the classes/functions" to a new issue that is not labeled open-source. Let's be realistic, especially with DARPA's push on open-sourcing quickly.

Moved to #1125