gbasler/sbt-example
An example SBT project which uses macros (Scala 2.10, SBT 0.13)
Model Checker for Boolean Programs
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An example SBT project which uses macros (Scala 2.10, SBT 0.13)
Test project for DrScala.
Jenkins sbt plugin
DrScala - A doctor for your code