5 Commits

Author SHA1 Message Date
Karl Kroening
8ff9f408c6 Rename file_{input,output} to {input,output} 2017-05-27 17:53:02 -10:00
Karl Kroening
2eaa3dc278 Add github link in api docs 2017-05-27 17:49:42 -10:00
Karl Kroening
8d142c5fa9 #1: update docs 2017-05-27 17:16:59 -10:00
Karl Kroening
696e52a989 #1: split operators into modules 2017-05-27 15:43:22 -10:00
Karl Kroening
efbfd9f233 #1: use sphinx for documentation 2017-05-27 14:44:53 -10:00