summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainminor updatesJohn Benediktsson7 months
 
 
AgeCommit messageAuthorFilesLines
2023-08-31minor updatesHEADmainJohn Benediktsson10-40/+40
2022-03-27svfig-talk: final updatesJohn Benediktsson1-21/+26
2022-03-25svfig-talk: cleanup assembly slideJohn Benediktsson1-5/+0
2022-03-25svfig-talk: more updatesJohn Benediktsson1-46/+50
2022-03-25svfig-talk: more changesJohn Benediktsson1-13/+27
2022-03-24svfig-talk: adding draft of the SVFIG talkJohn Benediktsson1-0/+528
2021-09-02Remove "talks." namespace.John Benediktsson9-21/+21
2021-03-16README: small fix.John Benediktsson1-1/+5
2021-03-16Adding all the talks.John Benediktsson41-0/+3393
2021-03-16Initial commitJohn Benediktsson1-0/+25