Check-in [b0c341eb78]

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Latest build results.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:b0c341eb785f01f5113741fc1b8e690dad50ff05
User & Date: andy 2015-04-14 14:00:33
Context
2015-04-14
14:01
Added screenshot of the REPL UI. check-in: 2656521773 user: andy tags: trunk
14:00
Latest build results. check-in: b0c341eb78 user: andy tags: trunk
14:00
Better rendering of goals vs. terms. Subgoals of AND, OR, and IMP are now rendered as goals rather than terms. check-in: 8cf949cd23 user: andy tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to tests/build-results.txt.

114
115
116
117
118
119
120
121
122
123
124
125
126
127
128






















PASS: Distinct occurances of _ can unify with different things.
----------------------
---- TODO Comments ----
src/parser.js:74:    // TODO: normalize definition structure at this point so we don't have
src/spec.js:140:// TODO: separate database from specification. Each database contains a 
src/spec.js:159:  // TODO: allow per-specification customization.
src/spec.js:162:      return term.name; // TODO: escape
src/statement.js:52:    return ""; // TODO
src/syntax.js:32:   var msg = e.message; // TODO
src/terms.js:93:    // TODO: print lists, infix operators better.
src/terms.js:94:    // TODO: check to see if the `` are really needed.
lib/fin.js:92:    // TODO: cache strings+expansions for speed.
lib/fin.js:97:    // TODO: special case operator-only strings to expand into pre-defined
lib/nodash.js:182:    // TODO: many of the other utility functions in Lo-Dash could be 
-----------------------





























|

|
|




>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
PASS: Distinct occurances of _ can unify with different things.
----------------------
---- TODO Comments ----
src/parser.js:74:    // TODO: normalize definition structure at this point so we don't have
src/spec.js:140:// TODO: separate database from specification. Each database contains a 
src/spec.js:159:  // TODO: allow per-specification customization.
src/spec.js:162:      return term.name; // TODO: escape
src/statement.js:46:    return ""; // TODO
src/syntax.js:32:   var msg = e.message; // TODO
src/terms.js:102:    // TODO: print infix operators better.
src/terms.js:103:    // TODO: check to see if the `` are really needed.
lib/fin.js:92:    // TODO: cache strings+expansions for speed.
lib/fin.js:97:    // TODO: special case operator-only strings to expand into pre-defined
lib/nodash.js:182:    // TODO: many of the other utility functions in Lo-Dash could be 
-----------------------
---- Extra files ----
examples/proof-mockup.html
plsrc/deriv.pl
plsrc/interp.pl
presentation/arend-presentation.aux
presentation/arend-presentation.log
presentation/arend-presentation.nav
presentation/arend-presentation.out
presentation/arend-presentation.pdf
presentation/arend-presentation.snm
presentation/arend-presentation.toc
report/arend-report.aux
report/arend-report.bbl
report/arend-report.blg
report/arend-report.log
report/arend-report.out
report/arend-report.toc
report/repl-sample.pdf
report/repl-sample.png
util/checker.pl
util/unicode-categories.peg
-----------------------