Skip to content
Jenkins
log in
Dashboard
mettalog
#20
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Metadata
Timings
Git Build Data
Changes since last success
Compare environment
Previous Build
Next Build
Success
Changes
Summary
.answers files (
details
)
fixed to pldoc entries (
details
)
using a lambda in report_progress_so_far/4 (
details
)
Commit
9727a741873a5021fcde4b0cb7fe45cdf5c41d5d
by
Douglas R Miles
.answers files
The file was added
tests/direct_comp/walk_thru/tmpMatch1.metta.answers
The file was added
tests/features/multidirectional/append_using_equality.metta.answers
The file was added
tests/direct_comp/walk_thru/debug_mettalogTestCurried.metta.answers
The file was added
tests/direct_comp/walk_thru/test_if_closed.metta.answers
The file was added
tests/direct_comp/walk_thru/tmpMatch2.metta.answers
The file was modified
src/canary_docme/metta_mizer.pl
(diff)
The file was added
tests/direct_comp/walk_thru/comma_is_not_special.metta.answers
The file was added
tests/direct_comp/walk_thru/impl_mettalogTestCurried.metta.answers
The file was added
tests/direct_comp/walk_thru/bchain_comp.metta.answers
The file was added
tests/direct_comp/walk_thru/mettalogTestCurried.metta.answers
The file was added
tests/direct_comp/compiler_walkthru.metta.answers
The file was added
tests/direct_comp/walk_thru/bchain.metta.answers
The file was added
tests/direct_comp/walk_thru/system_proofTestCurried.metta.answers
The file was added
tests/direct_comp/walk_thru/bc_comp.metta.answers
The file was added
tests/more-anti-regression/constraint/types.metta.answers
The file was added
tests/direct_comp/walk_thru/mettalogTestCurried2.metta.answers
The file was added
tests/direct_comp/walk_thru/bc_impl.metta.answers
Commit
ea225908bded2294f41414053aec22d30829daa2
by
Douglas R Miles
fixed to pldoc entries
The file was modified
src/canary_docme/metta_server.pl
(diff)
Commit
be6dd67b35335bcbba58df6dfdd3a68af06bef76
by
Douglas R Miles
using a lambda in report_progress_so_far/4
The file was modified
src/canary/metta_parser.pl
(diff)