0
I Use This!
High Activity

Commits

Analyzed 1 day ago. based on code collected 1 day ago.
  All Time 12 Month 30 Day
Commits: 4382 1053 9
Contributors: 29 9 3
Files Modified: 1033 624 11
Lines Added: 142503 39545 5
Lines Removed 78181 21138 6

Commits per Month

Month Recent Commits

Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Update z3 tested date and fix gold Anon32 More... 4 days ago
update z3 tested date Anon32 More... 22 days ago
make SBV loadable in ghci again Anon32 More... 22 days ago
fix golds Anon32 More... 22 days ago
Make parsing of sequences more liberal (accommodates new z3 output) Anon32 More... 22 days ago
Mention Oliver's patch Anon32 More... 22 days ago
mark new dev version Anon32 More... 22 days ago
Merge pull request #494 from ocharles/patch-2 Anon32 More... 22 days ago
Correct an error message in Data.SBV.Core.Symbolic.registerLabel Anon32 More... 23 days ago
Ready for release v8.5 Anon32 More... about 1 month ago
match latest z3 output Anon32 More... about 1 month ago
update z3 tested date Anon32 More... about 1 month ago
match latest z3 output Anon32 More... about 1 month ago
update z3 tested date Anon32 More... about 1 month ago
update golds/test-output to match latest z3 Anon32 More... about 1 month ago
hlint advice and ignorance Anon32 More... about 1 month ago
update z3 tested date Anon32 More... about 2 months ago
update z3 tested version Anon32 More... about 2 months ago
Add a bench target and mention the bench-suite Anon32 More... about 2 months ago
Use the new tactic for this problem Anon32 More... about 2 months ago
Update z3 tested date and match new output Anon32 More... about 2 months ago
Merge pull request #489 from doyougnu/master Anon32 More... about 2 months ago
SBV benchmark suite, phase 1 with puzzle benchmarks Anon32 More... about 2 months ago
use fp-logic if rounding mode is mentioned Anon32 More... about 2 months ago
backout z3-tested date; there are failures. sigh. Anon32 More... about 2 months ago
update z3 tested date Anon32 More... about 2 months ago
Fix doc Anon32 More... about 2 months ago
Update z3 version for ci Anon32 More... about 2 months ago
Update z3 tested date Anon32 More... about 2 months ago
update z3 version Anon32 More... 2 months ago
See All Commits