david-christiansen / pudding
56%

DEFAULT BRANCH: master
Repo Added
Files 36
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: SELECT
CHANGE BRANCH
x

107

push

travis-ci

david-christiansen 
Move the focus after GUI actions

1897 of 3372 relevant lines covered (56.26%)

1.59 hits per line

Relevant lines Covered
3372 RELEVANT LINES 1897 COVERED LINES
1.59 HITS PER LINE
Source Files on master
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
107 master Move the focus after GUI actions push david-christiansen travis-ci pending completion  
106 master Stop implicit syntax'ing Now, syntax objects in expression positions in rule definitions are just ordinary expressions, rather than having the rule definition insert syntax quotes. This makes syntax variable scoping easier to reason about, and it... push david-christiansen travis-ci pending completion  
105 master Simplify rule definition syntax Now, rules can have only one matching clause, which eliminates a redundant layer of parens from each definition. Additionally, parse errors from the rule macros were improved in the process of updating all the cod... push david-christiansen travis-ci pending completion  
104 master Merge pull request #3 from jonsterling/new-ctt-rules New CTT rules & opacity fix push web-flow travis-ci pending completion  
103 master Add some rules to ctt theory (function-extensionality, equality-symmetry) Pull #3 web-flow travis-ci pending completion  
102 master Make GUI work from the command-line Racket push david-christiansen travis-ci pending completion  
101 master Test fix When the contract on proof-fail was strengthened, some tests were not updated. push david-christiansen travis-ci pending completion  
98 master Use the new define-presentation-type macro push david-christiansen travis-ci pending completion  
97 master Add graphical Solve command push david-christiansen travis-ci pending completion  
96 master Add MetaPRL style resources push david-christiansen travis-ci pending completion  
See All Builds (22)