Skip to content
Changes
- try to separate nightly and ci tests
—
AdrickTench /
githubweb
- debugging subfolder param
—
AdrickTench /
githubweb
- debugging subfolder param
—
AdrickTench /
githubweb
- try different approach for setting subfolder
—
AdrickTench /
githubweb
- comment update
—
Mike Archbold /
githubweb
- comment update
—
Mike Archbold /
githubweb
- only run nightly tests in main repo
—
AdrickTench /
githubweb
- Removal of unused metta_reader.pl
—
Douglas R Miles /
githubweb
- fix of one intersection test
—
Douglas R Miles /
githubweb
- add defragmenter python program
—
Mike Archbold /
githubweb
- metta_parser
—
Douglas R Miles /
githubweb
- Tests for maplist!
—
AdrickTench /
githubweb
- file-level documentation for maplist! and concurrent-maplist!
—
AdrickTench /
githubweb
- test for concurrent-maplist!
—
AdrickTench /
githubweb
- doc and type declarations for maplist! and concurrent-maplist!
—
AdrickTench /
githubweb
- Docs and tests for findall!
—
AdrickTench /
githubweb
- move maplist! tests
—
AdrickTench /
githubweb
- update concurrent-maplist! tests with timeouts
—
AdrickTench /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- sexpr stuff working (but not annotated)
—
Roy Ward /
githubweb
- comments
—
Mike Archbold /
githubweb
- fuller arities of maplist! concurrent-maplist!
—
Douglas R Miles /
githubweb
- making it easier to rename the compiler
—
Douglas R Miles /
githubweb
- towards https://github.com/trueagi-io/metta-wam/issues/11 and https://github.com/trueagi-io/metta-wam/issues/12 and https://github.com/trueagi-io/metta-wam/issues/7
—
Douglas R Miles /
githubweb
- first real sync with https://github.com/trueagi-io/hyperon-experimental in order to start https://github.com/trueagi-io/metta-wam/issues/11 and https://github.com/trueagi-io/metta-wam/issues/12 and https://github.com/trueagi-io/metta-wam/issues/7
—
Douglas R Miles /
githubweb
- first divergence with with https://github.com/trueagi-io/hyperon-experimental https://github.com/trueagi-io/metta-wam/issues/11
—
Douglas R Miles /
githubweb
- README.md for the python stuff
—
Douglas R Miles /
githubweb
- hyperonpy
—
Douglas R Miles /
githubweb
- hyperonpy
—
Douglas R Miles /
githubweb
- motto
—
Douglas R Miles /
githubweb
- hyperonpy.py
—
Douglas R Miles /
githubweb
- hyperonpy.py_less_free
—
Douglas R Miles /
githubweb
- remove the error/warnming about metta_reader
—
Douglas R Miles /
githubweb
- restored the tensor test result
—
Douglas R Miles /
githubweb
- src/canary/metta_parser.pl allow block commentss -- no rule saying we cant have them in metta!
—
Douglas R Miles /
githubweb
- add to path python/hyperonpy.py
—
Douglas R Miles /
githubweb
- load_metta_python_proxy
—
Douglas R Miles /
githubweb
- export METTALOG_VERBOSE=1
—
Douglas R Miles /
githubweb
- fixed nondet bug in evql_40
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- fixed pldocs
—
Douglas R Miles /
githubweb
- allow hyperon to not be fully installed
—
Douglas R Miles /
githubweb
- expand the default installed python packages
—
Douglas R Miles /
githubweb
- canary_docme/metta_python.pl
—
Douglas R Miles /
githubweb
- passing back to mike
—
Douglas R Miles /
githubweb
- passing back to mike for real this timed
—
Douglas R Miles /
githubweb
- README of dir contents
—
Douglas R Miles /
githubweb
- removed minimal-metta updated metta-motto
—
Douglas R Miles /
githubweb
- fixed paths in README under tests
—
Douglas R Miles /
githubweb
- more README updates under tests
—
Douglas R Miles /
githubweb
- catch/throw docs and tests
—
AdrickTench /
githubweb
- one more catch/throw test
—
AdrickTench /
githubweb
- lsp changes
—
Roy Ward /
githubweb
- improved handling of file names
—
Mike Archbold /
githubweb
- removed unused docmes
—
Douglas R Miles /
githubweb
- removed unused docme mizer
—
Douglas R Miles /
githubweb
- removed the ones i already merged into canary
—
Douglas R Miles /
githubweb
- mostly working, needs cleanup
—
Roy Ward /
githubweb
- minimal but working (very basic hover) LSP server
—
Roy Ward /
githubweb
- max-time! docs and tests
—
AdrickTench /
githubweb
- improved comments
—
Mike Archbold /
githubweb
- small compile fixes
—
Roy Ward /
githubweb
- allows `source INSTALL.sh --force --easy --swi=src`
—
Douglas R Miles /
githubweb
- Remove torch/torchvision
—
Douglas R Miles /
githubweb
- remove metta_corelib
—
Douglas R Miles /
githubweb
- rest of remove metta_corelib
—
Douglas R Miles /
githubweb
- fixes to split document
—
Roy Ward /
githubweb
- stability improvements to LSP (two bugs cancelling out fixed)
—
Roy Ward /
githubweb
- Remove program
—
Mike Archbold /
githubweb
- Comments added
—
Mike Archbold /
githubweb
- libgoogle-perftools-dev : Depends: libunwind-dev
—
Douglas R Miles /
githubweb
- libgoogle-perftools-dev : Depends: libunwind-dev oopsy
—
Douglas R Miles /
githubweb
- Comments added
—
Mike Archbold /
githubweb
- progress towards saving test report copies by number of failures
—
AdrickTench /
githubweb
- fixed lsp server so any splitting mode should work
—
Roy Ward /
githubweb
- src/canary/metta_proxy.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- py-exec
—
Douglas R Miles /
githubweb
- with_safe_argv
—
Douglas R Miles /
githubweb
- PlDoced patcher in corelib
—
Douglas R Miles /
githubweb
- metta_python_patcher.py
—
Douglas R Miles /
githubweb
- metta_python_patcher.py
—
Douglas R Miles /
githubweb
- remove debugging print in into_junit.py
—
AdrickTench /
githubweb
- progress to into_junit.py copying logs to new destination
—
AdrickTench /
githubweb
- copy test logs to new destination in into_junit.py
—
AdrickTench /
githubweb
- run all ci tests
—
AdrickTench /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- Comments added, remove from docme
—
Mike Archbold /
githubweb
- remove from docme
—
Mike Archbold /
githubweb
- fixes due to docs pfc
—
Mike Archbold /
githubweb
- fixes due to docs pfc
—
Mike Archbold /
githubweb
- Fix: Adjust determinism annotations in metta_corelib.pl
—
Douglas R Miles /
githubweb
- Enhancement: Load pldoc library in metta_interp.pl
—
Douglas R Miles /
githubweb
- Fix: Add quietly_sreader/1 predicate in metta_parser.pl
—
Douglas R Miles /
githubweb
- Refactor: Update metta_python_patcher.py with new threading logic
—
Douglas R Miles /
githubweb
- Enhancement: Add Enum and improve error handling in metta_python_proxy.py
—
Douglas R Miles /
githubweb
- Feature: Implement maplist meta-predicates and add dynamic predicates in metta_server.pl
—
Douglas R Miles /
githubweb
- hyperon-experimental_scripts/g1_docs.metta
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- disable the patcher
—
Douglas R Miles /
githubweb
- fixes due to docs pfc
—
Mike Archbold /
githubweb
- Fixes to some of the PLDocs
—
Douglas R Miles /
githubweb
- Added Prolog transpilation comments and assertTrue functional predicate.
—
Douglas R Miles /
githubweb
- Refactored mettalogpy_repl and added maybe_load_metta_python_patcher logic.
—
Douglas R Miles /
githubweb
- Changed determinism annotations for lookup_spft_match and lookup_spft_match_deeper.
—
Douglas R Miles /
githubweb
- Added lazy loading for Metta Python proxy and refactored initialization logic.
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- Add file manual
—
GitHub /
githubweb
- comments
—
Mike Archbold /
githubweb
- metta_python_override
—
Douglas R Miles /
githubweb
- VSPACE_VERBOSE -> METTALOG_VERBOSE, nonlocal submode, '@'('none'))
—
Douglas R Miles /
githubweb
- dynamically define my_module
—
Douglas R Miles /
githubweb
- ~/metta-wam/src/canary$ python metta_python_override.py
—
Douglas R Miles /
githubweb
- ~/metta-wam/src/canary$ python metta_python_override.py
—
Douglas R Miles /
githubweb
- ~/metta-wam/src/canary$ python metta_python_override.py
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- handle_method_call
—
Douglas R Miles /
githubweb
- Handle get_* methods
—
Douglas R Miles /
githubweb
- Handle get_name methods
—
Douglas R Miles /
githubweb
- add manually4 metta analyse and divide code
—
GitHub /
githubweb
- tests/docs for limit!
—
AdrickTench /
githubweb
- comments
—
Mike Archbold /
githubweb
- janus_swi.query_once
—
Douglas R Miles /
githubweb
- new utf8/utf16 character stuff _mostly_ working
—
Roy Ward /
githubweb
- fixed warnings
—
Douglas R Miles /
githubweb
- no module
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- remove compiler changes
—
Roy Ward /
githubweb
- change fix, turned off some debugging
—
Roy Ward /
githubweb
- docs/tests for call! and call-string!
—
AdrickTench /
githubweb
- working on readme
—
Roy Ward /
githubweb
- image
—
Roy Ward /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- hybrid of old and new compiler
—
Douglas R Miles /
githubweb
- o_f_v
—
Douglas R Miles /
githubweb
- Adjusted oo_new/3 to reuse objects based on Type and 'value' field
—
Douglas R Miles /
githubweb
- Adjusted oo_new/3 to reuse objects based on Type and 'value' field, matching all other fields
—
Douglas R Miles /
githubweb
- Slightly more OOP in Prolog
—
Douglas R Miles /
githubweb
- src/canary/metta_python_override.py
—
Douglas R Miles /
githubweb
- better overriding
—
Douglas R Miles /
githubweb
- do_metta(stdio,+,'&self',String,Result)
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- refactored the files
—
Roy Ward /
githubweb
- comments
—
Mike Archbold /
githubweb
- Update7 to try to come in sync
—
drspro /
githubweb
- Created 01 Metta from Rust
—
drspro /
githubweb
- Upload overview2 in Csv
—
drspro /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- New motto
—
Douglas R Miles /
githubweb
- catchup on python/hyperon/exts
—
Douglas R Miles /
githubweb
- back towards previous metta_repl
—
Douglas R Miles /
githubweb
- dont claim hyperonpy
—
Douglas R Miles /
githubweb
- allow actual escape characters
—
Douglas R Miles /
githubweb
- removed time\! and replaced with time/wall-time/cpu-time also properly implemented as per bug report https://github.com/trueagi-io/metta-wam/issues/129 https://github.com/trueagi-io/metta-wam/issues/128
—
Douglas R Miles /
githubweb
- do not quit on comment in input
—
Douglas R Miles /
githubweb
- oops this belonged in the last commit -notrace(G):- once(G).
—
Douglas R Miles /
githubweb
- fix for https://github.com/trueagi-io/metta-wam/issues/128
—
Douglas R Miles /
githubweb
- really fixed https://github.com/trueagi-io/metta-wam/issues/128
—
Douglas R Miles /
githubweb
- GDL tests/features/games/
—
Douglas R Miles /
githubweb
- update2 from python generated metta
—
drspro /
githubweb
- update3 from python generated metta
—
drspro /
githubweb
- GDL tests/features/games/
—
AdrickTench /
githubweb
- docs for number-of
—
AdrickTench /
githubweb
- number-of tests
—
AdrickTench /
githubweb
- docs/tests for offset!
—
AdrickTench /
githubweb
- more setup-call-cleanup! tests
—
AdrickTench /
githubweb
- test for issue #145
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- the and enviroment variables mean quit a bit to SWI-Prolog!
—
Douglas R Miles /
githubweb
- Pretend for now we have a nondeterministic sig_atomic
—
Douglas R Miles /
githubweb
- Handle mostly blank lines
—
Douglas R Miles /
githubweb
- Dont mess with envrioment more thna we have to
—
Douglas R Miles /
githubweb
- Faster/sounder Tuple check
—
Douglas R Miles /
githubweb
- simplify the pretty printer
—
Douglas R Miles /
githubweb
- py-chain Impl .. still needs do0cs and test
—
Douglas R Miles /
githubweb
- py-chain Impl .. still needs do0cs and test
—
Douglas R Miles /
githubweb
- with_enc
—
Douglas R Miles /
githubweb
- - throw(i_loaded_this)
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- update doc on setup-call-cleanup!
—
AdrickTench /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- python
—
Douglas R Miles /
githubweb
- quietly checking if requirements are still met
—
Douglas R Miles /
githubweb
- python stuff added to .gitignore
—
Douglas R Miles /
githubweb
- snapshot
—
Roy Ward /
githubweb
- comments
—
Mike Archbold /
githubweb
- update5 from python generated metta
—
drspro /
githubweb
- Update to LSP Server README.md about the vsce packaging
—
Douglas R Miles /
githubweb
- Removed lines breakign the LSP Server
—
Douglas R Miles /
githubweb
- Fixed py_nth
—
Douglas R Miles /
githubweb
- Couple of early on tests
—
Douglas R Miles /
githubweb
- Update analyse to a Table and after CSV
—
drspro /
githubweb
- Update to try to come in sync
—
drspro /
githubweb
- update python generated
—
drspro /
githubweb
- Update5 to try to come in sync
—
drspro /
githubweb
- Installation steps Pdf
—
drspro /
githubweb
- begun the help! / get-doc interface that will work via the repl
—
Douglas R Miles /
githubweb
- predicate_help_fallback_hook/4
—
Douglas R Miles /
githubweb
- Impl if-decons-expr
—
Douglas R Miles /
githubweb
- Installation steps-2 HTM
—
drspro /
githubweb
- Installation steps-3 HTM
—
drspro /
githubweb
- Forgotten code to unbreka the LSP Server
—
Douglas R Miles /
githubweb
- Installation steps4 Pdf
—
drspro /
githubweb
- fixed line issues in LSP
—
Roy Ward /
githubweb
- reverts
—
Roy Ward /
githubweb
- reverts
—
Roy Ward /
githubweb
- reverts
—
Roy Ward /
githubweb
- Add py-chain docs
—
Mike Archbold /
githubweb
- Add another py-chain test
—
Mike Archbold /
githubweb
- make_metta_file_buffer plus --help
—
Douglas R Miles /
githubweb
- make_metta_file_buffer plus 2
—
Douglas R Miles /
githubweb
- trace_on_pass
—
Douglas R Miles /
githubweb
- show function src
—
Douglas R Miles /
githubweb
- Write the full source content if it's complex
—
Douglas R Miles /
githubweb
- recover from stream errors durring input
—
Douglas R Miles /
githubweb
- allow read over multiple lines
—
Douglas R Miles /
githubweb
- allow stream_error/2s to be caught differntly than program errors
—
Douglas R Miles /
githubweb
- reference links
—
Douglas R Miles /
githubweb
- File ref links working
—
Douglas R Miles /
githubweb
- allow type links.. make sure the help! command runs under a flag
—
Douglas R Miles /
githubweb
- Fixed allow type links.. make sure the help! command runs under a flag
—
Douglas R Miles /
githubweb
- split by clause
—
Roy Ward /
githubweb
- additional test for setup-call-cleanup
—
AdrickTench /
githubweb
- split by clause, save some metadata
—
Roy Ward /
githubweb
- add comments
—
Mike Archbold /
githubweb
- remove bad venvs
—
Douglas R Miles /
githubweb
- Slighhtly less torent to INSTALL.sh problems
—
Douglas R Miles /
githubweb
- Could NOT find LibYAML (missing: LIBYAML_INCLUDE_DIR YAML_LIBRARY)
—
Douglas R Miles /
githubweb
- install_swi_from_src restores direcotry in failure
—
Douglas R Miles /
githubweb
- dont print success message twice
—
Douglas R Miles /
githubweb
- try to source the INSTALL.sh from Dockerfile
—
Douglas R Miles /
githubweb
- renamed: src/canary/metta_help.pl -> src/packs/lsp_server_metta/prolog/lsp_metta_outline.pl
—
Douglas R Miles /
githubweb
- dbg_server_thread
—
Douglas R Miles /
githubweb
- quick python compare for testing
—
Douglas R Miles /
githubweb
- better line number tracking
—
Douglas R Miles /
githubweb
- first cut of documentSymbol in which makes a vscode outline sheet
—
Douglas R Miles /
githubweb
- Generated metta lang dev
—
drspro /
githubweb
- add comments
—
Mike Archbold /
githubweb
- fixed line ending issue that was messing with didChange, and an escaped character in string issue
—
Roy Ward /
githubweb
- element -> outline
—
Douglas R Miles /
githubweb
- xref_source_expired
—
Douglas R Miles /
githubweb
- type_kind
—
Douglas R Miles /
githubweb
- populate variablke names
—
Douglas R Miles /
githubweb
- docs/tests for hyperpose, sequential, and do
—
AdrickTench /
githubweb
- allow for late definition to be evaluated
—
vulecoff /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- set default src_indents to false
—
Douglas R Miles /
githubweb
- run recompile from debug server by jsut pressing enter
—
Douglas R Miles /
githubweb
- Export clause_with_arity_in_file_at_position/4 in LSP Server
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- syntax highlighting
—
Roy Ward /
githubweb
- hacky threading system as well as refernces/definition provers etc
—
Douglas R Miles /
githubweb
- begining of codeActions
—
Douglas R Miles /
githubweb
- Pre worker pool
—
Douglas R Miles /
githubweb
- update docs for Minimal MeTTa functions
—
AdrickTench /
githubweb
- metta to prolog transpile visual-prolog 52
—
drspro /
githubweb
- tests for Minimal MeTTa
—
AdrickTench /
githubweb
- lsp_worker_threads(0)
—
Douglas R Miles /
githubweb
- anonymous QueueId
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- improved syntax highlighting
—
Roy Ward /
githubweb
- add comments
—
Mike Archbold /
githubweb
- @doc for Bool
—
Douglas R Miles /
githubweb
- Group declarations by type
—
Douglas R Miles /
githubweb
- do not halt on metta>@
—
Douglas R Miles /
githubweb
- get rid of extra_answer_padding
—
Douglas R Miles /
githubweb
- buffer the answer outpout into temp file but will change to becoem a memfile
—
Douglas R Miles /
githubweb
- in_answer_io using memfile isntead of disk
—
Douglas R Miles /
githubweb
- handle_catcher(exit) :- !
—
Douglas R Miles /
githubweb
- added missing old code
—
Douglas R Miles /
githubweb
- removed that elusive choice point
—
Douglas R Miles /
githubweb
- Fixed Syntax error: duplicate_key expected, found "codeActionProvider"
—
Douglas R Miles /
githubweb
- dont double print answers
—
Douglas R Miles /
githubweb
- fixed typo
—
Douglas R Miles /
githubweb
- moved codeAction to its own file .. it is about to get very busy otherwise.. change the metta_file_buffer/5 structure to keep a range rather than a single position
—
Douglas R Miles /
githubweb
- add a couple more minimal metta tests
—
vulecoff /
githubweb
- updated python tests and transpiler
—
drspro /
githubweb
- added two missing preds
—
Douglas R Miles /
githubweb
- update_changed_files
—
Douglas R Miles /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/169
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- Only compute actions for symbols right now
—
GitHub /
githubweb
- Update flybase_rust_uses_python_vspace.metta
—
GitHub /
githubweb
- created Python tests and metta-lang
—
drspro /
githubweb
- using new metta_file_buffer/7 and a buch of LSP Additions
—
Douglas R Miles /
githubweb
- really using new metta_file_buffer/7
—
Douglas R Miles /
githubweb
- canary really using new metta_file_buffer/7
—
Douglas R Miles /
githubweb
- add tests/features/lsp_server/bad_line_endings.metta
—
Douglas R Miles /
githubweb
- Fixed outline_name/2
—
Douglas R Miles /
githubweb
- better ordinal
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- crazy outline
—
Douglas R Miles /
githubweb
- was_end/2
—
Douglas R Miles /
githubweb
- src/comp_werks
—
Douglas R Miles /
githubweb
- Fixed the loading of stdlib_mettalog for now
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- docs for eval-for and compile!
—
AdrickTench /
githubweb
- created metta-lang tests about 30 to go
—
drspro /
githubweb
- add comments
—
Mike Archbold /
githubweb
- clarify prolog mode
—
Mike Archbold /
githubweb
- checkpoint for lsp #0
—
Douglas R Miles /
githubweb
- isolate doc_text_d4 from doc_text which is full text
—
Douglas R Miles /
githubweb
- created metta-lang tests about 10 to go
—
drspro /
githubweb
- updates to LSP server and mettalog that are required for the LSP Server
—
Douglas R Miles /
githubweb
- Back to almost working version of compiler
—
Douglas R Miles /
githubweb
- allow errors and warning rather than silently doing nothing as the clause above would have done
—
Douglas R Miles /
githubweb
- created metta-lang tests Allpossible one
—
drspro /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- src/canary/metta_compiler_werk.pl
—
Douglas R Miles /
githubweb
- Comp works
—
Douglas R Miles /
githubweb
- super_safety_checks + on_mettalog_error
—
Douglas R Miles /
githubweb
- super_safety_checks + on_mettalog_error
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- Use scripts/lsp_server_prolog_install.sh in INSTALL.sh
—
Douglas R Miles /
githubweb
- +LINK_TARGET="$HOME/metta-wam/src/packs/lsp_server_metta"
—
Douglas R Miles /
githubweb
- move super_safety_checks/1 to metta_utils.pl
—
Douglas R Miles /
githubweb
- src/comp_werks2
—
Douglas R Miles /
githubweb
- @jazzbox35 commenting merged to src/comp_werks2
—
Douglas R Miles /
githubweb
- symlink rest of the pack dirs
—
Douglas R Miles /
githubweb
- remove pldoc warnings
—
Douglas R Miles /
githubweb
- ideally settings will be sent with initialize
—
Douglas R Miles /
githubweb
- LSP Server experimental settings
—
Douglas R Miles /
githubweb
- Ok, evidently only metta-lsp.trace.server gets sent on changes
—
Douglas R Miles /
githubweb
- Ok, evidently only metta-lsp.trace.server gets sent on changes so trying only two settings.. also bumping version to 0.0.4
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- created metta-lang Spaces and tested
—
drspro /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- Merge of the compiler_werk.pl into compiler.pl
—
Douglas R Miles /
githubweb
- src/canary/metta_compiler.pl
—
Douglas R Miles /
githubweb
- easy_tests
—
Douglas R Miles /
githubweb
- hyperon-wam.vpj
—
Douglas R Miles /
githubweb
- start of thread LSP server
—
Douglas R Miles /
githubweb
- do_work_stuff(QueueId)
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- cleaned metta lang and moved to baseline compat
—
drspro /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- compile, compile-space tests & docs
—
AdrickTench /
githubweb
- eval-for docs & tests
—
AdrickTench /
githubweb
- Update install so it doesnt terminate github workflow
—
Douglas R Miles /
githubweb
- Fix syntax error in INSTAL.sh (missing then in if)
—
Douglas R Miles /
githubweb
- better resolution in setup scripts for LINK_TARGET
—
Douglas R Miles /
githubweb
- dont use prolog_ide(debug_monitor)
—
Douglas R Miles /
githubweb
- function-arity, predicate-arity docs & tests
—
AdrickTench /
githubweb
- comments added
—
Mike Archbold /
githubweb
- docs/tests for call-p!
—
AdrickTench /
githubweb
- fixed duplicate predicates in interpreter
—
Roy Ward /
githubweb
- Moved ther threaded/queueing code to its own section
—
Douglas R Miles /
githubweb
- added metta lang 24 tests
—
drspro /
githubweb
- lsp_hooks:code_action
—
Douglas R Miles /
githubweb
- better eval_metta
—
Douglas R Miles /
githubweb
- lsp_hooks:exec_code_action + answer_output is no longer using a temp file (it uses a memfile)
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- added metta lang PDF table
—
drspro /
githubweb
- src/packs/lsp_server_metta/lsp-metta.el
—
Douglas R Miles /
githubweb
- more moving to compiler prefix
—
Roy Ward /
githubweb
- get rid of fixme messages
—
Roy Ward /
githubweb
- comments added
—
Mike Archbold /
githubweb
- nthx case mostly working
—
Roy Ward /
githubweb
- lsp_server_requests
—
Douglas R Miles /
githubweb
- Our request listener hooks monitor these on their own
—
Douglas R Miles /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/185 Dockerfile needs modification to run without errors #185
—
Douglas R Miles /
githubweb
- remove temp files
—
Douglas R Miles /
githubweb
- tests/docs for open, close, with-output-to
—
AdrickTench /
githubweb
- comments added
—
Mike Archbold /
githubweb
- docs for load-file, load-ascii
—
AdrickTench /
githubweb
- docs for include!
—
AdrickTench /
githubweb
- vscode-extra-settings
—
Douglas R Miles /
githubweb
- fetch_workspace_configuration
—
Douglas R Miles /
githubweb
- cleaned up check_supporting_predicates, added transpiler_mutex_lock
—
Roy Ward /
githubweb
- fix u_assign replacement
—
Roy Ward /
githubweb
- std debug for prolog
—
Douglas R Miles /
githubweb
- sync lsp config
—
Douglas R Miles /
githubweb
- tests/baseline_compat/hyperon-mettalog_sanity/what_evals_or_not.metta
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- Update fish-riddle.metta
—
GitHub /
githubweb
- Update fish-riddle.metta
—
GitHub /
githubweb
- x
—
Roy Ward /
githubweb
- package.json
—
Douglas R Miles /
githubweb
- x
—
Roy Ward /
githubweb
- comments added
—
Mike Archbold /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- always_rethrow('canceled')
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- basic execution
—
Roy Ward /
githubweb
- basic execution
—
Roy Ward /
githubweb
- update doc strings for load functions
—
AdrickTench /
githubweb
- intermeiate result
—
Douglas R Miles /
githubweb
- needing to prefix user:metta_file_buffer
—
Douglas R Miles /
githubweb
- tests/docs for save-space!
—
AdrickTench /
githubweb
- removed unneeded unicode
—
Douglas R Miles /
githubweb
- docs for rust, rust!
—
AdrickTench /
githubweb
- Emacs does return a Client Configuration List
—
Douglas R Miles /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- comments added
—
Mike Archbold /
githubweb
- Lower impredicence of stdlib in diff tool
—
Douglas R Miles /
githubweb
- added docs to 10 new functiosn.. @todo their impl
—
Douglas R Miles /
githubweb
- added missing head_preconds_into_body/4
—
Douglas R Miles /
githubweb
- expirery
—
Douglas R Miles /
githubweb
- fibonacci working
—
Roy Ward /
githubweb
- 17 more functions
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- to address https://github.com/trueagi-io/metta-wam/issues/197 where caught exception is bubbling too far upwards
—
Douglas R Miles /
githubweb
- Way more stdlib docs
—
Douglas R Miles /
githubweb
- really should have a hover that lets us see precompiled MeTTa
—
Douglas R Miles /
githubweb
- assertNotEqualToResult+assertNotEqual
—
Douglas R Miles /
githubweb
- Setwise operations being implemented in MeTTa instead of backend!
—
Douglas R Miles /
githubweb
- Stream errors now tell us where the error started not where the end of file is
—
Douglas R Miles /
githubweb
- fixed unballenced paren
—
Douglas R Miles /
githubweb
- x
—
Roy Ward /
githubweb
- rust / rust! tests
—
AdrickTench /
githubweb
- impletements the usage: metta [-h] [--version | MeTTa script] functions so we can also do https://github.com/trueagi-io/hyperon-experimental/issues/803
—
Douglas R Miles /
githubweb
- More tests related to https://github.com/trueagi-io/hyperon-experimental/issues/803
—
Douglas R Miles /
githubweb
- More tests related to https://github.com/trueagi-io/hyperon-experimental/issues/803
—
Douglas R Miles /
githubweb
- add removal part of test
—
Douglas R Miles /
githubweb
- added H-E-Fails wrapper arround predicates that Hyperon Experimental is failing:
—
Douglas R Miles /
githubweb
- Makes it pass 4 more minimal metta tests
—
Douglas R Miles /
githubweb
- GPT-4 rust extract ... https://chatgpt.com/share/673eda77-7b3c-800c-9d38-64a54bef4823
—
Douglas R Miles /
githubweb
- remove some invalid tests
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- get-type-space
—
Douglas R Miles /
githubweb
- more H-E-Fails markers
—
Douglas R Miles /
githubweb
- got rid of naughty simple_math/1 call happening early
—
Douglas R Miles /
githubweb
- Fixed broken tests
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- got format-args working, added missing file
—
Roy Ward /
githubweb
- corrected tests
—
Douglas R Miles /
githubweb
- tests update
—
Douglas R Miles /
githubweb
- sub module updates and better cache file time checking
—
Douglas R Miles /
githubweb
- load_flybase_with_size
—
Douglas R Miles /
githubweb
- removed redundant metta_lang_dev tests and moved tests that are still being ported to still_porting directory
—
Douglas R Miles /
githubweb
- only push a report of the test results have changed
—
Douglas R Miles /
githubweb
- nb_bound needs to be slighnly more permisive
—
Douglas R Miles /
githubweb
- use current_test_results.txt
—
Douglas R Miles /
githubweb
- always publish some of the artifacts
—
Douglas R Miles /
githubweb
- always save the state in git repo
—
Douglas R Miles /
githubweb
- fix double used 'if'
—
Douglas R Miles /
githubweb
- fixed discontiguous warning
—
Douglas R Miles /
githubweb
- fixed fatal: a branch named 'test-results' already exists
—
Douglas R Miles /
githubweb
- checkout 'test-results' to a subdir and use it
—
Douglas R Miles /
githubweb
- added small bits of forward chaining to corelib
—
Douglas R Miles /
githubweb
- :run less tests while debugging script
—
Douglas R Miles /
githubweb
- try again
—
Douglas R Miles /
githubweb
- removed double ifd
—
Douglas R Miles /
githubweb
- removed double ifs
—
Douglas R Miles /
githubweb
- ensure just-results exists
—
Douglas R Miles /
githubweb
- ensure just-results exists now
—
Douglas R Miles /
githubweb
- Ping for rebuild
—
Douglas R Miles /
githubweb
- Ping for rebuild 2
—
Douglas R Miles /
githubweb
- Ping for rebuild 3
—
Douglas R Miles /
githubweb
- Ping for rebuild 4
—
Douglas R Miles /
githubweb
- Ping for rebuild 5
—
Douglas R Miles /
githubweb
- Ping for rebuild 6
—
Douglas R Miles /
githubweb
- impl and doc of the 27 new preds
—
Douglas R Miles /
githubweb
- forward chaining the math op types
—
Douglas R Miles /
githubweb
- CI WF
—
Douglas R Miles /
githubweb
- pow-math
—
Douglas R Miles /
githubweb
- simple functionality from exetend_compat that need to be in baseline_compat
—
Douglas R Miles /
githubweb
- added _mw to test files that specifically wont be expected to work in hyperon
—
Douglas R Miles /
githubweb
- fixed paren ballance
—
Douglas R Miles /
githubweb
- fixed missing bang
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- partial docs and implementation for coerce
—
AdrickTench /
githubweb
- don't run nightly tests on forks
—
AdrickTench /
githubweb
- list_vs_term_syntax_mw.metta
—
Douglas R Miles /
githubweb
- portray_compound_l_m_r
—
Douglas R Miles /
githubweb
- corisponding commit to https://github.com/trueagi-io/hyperon-experimental/commit/ccd030863467088c59b1d3a851b79b1edf08c336
—
Douglas R Miles /
githubweb
- add call-fn! doc and using if-decons-expr for easier code compare to minimal metta
—
Douglas R Miles /
githubweb
- Testing `predicate-arity` and `function-arity`
—
Douglas R Miles /
githubweb
- Update docs for `predicate-arity` and `function-arity`
—
Douglas R Miles /
githubweb
- HE issues into tests
—
Douglas R Miles /
githubweb
- Fix .metta files to be treated as text
—
Douglas R Miles /
githubweb
- Re-normalized .metta files to be treated as text
—
Douglas R Miles /
githubweb
- Re-encoded .metta files to UTF-8
—
Douglas R Miles /
githubweb
- Add test for car-atom bug (issue #621): https://github.com/trueagi-io/hyperon-experimental/issues/621
—
Douglas R Miles /
githubweb
- Add test for car-atom bug (issue #621): https://github.com/trueagi-io/hyperon-experimental/issues/621
—
Douglas R Miles /
githubweb
- Add .gitattributes to force .metta files as text
—
Douglas R Miles /
githubweb
- Re-normalize *.metta as text
—
Douglas R Miles /
githubweb
- Add test for evaluation caching bug (issue #553): https://github.com/trueagi-io/hyperon-experimental/issues/553
—
Douglas R Miles /
githubweb
- Add test for backward chaining on lambda abstraction (issue #556): https://github.com/trueagi-io/hyperon-experimental/issues/556
—
Douglas R Miles /
githubweb
- Add test for recursive tuple/list deconstruction performance (issue #394): https://github.com/trueagi-io/hyperon-experimental/issues/394
—
Douglas R Miles /
githubweb
- Add benchmark for recursive tuple/list deconstruction performance (issue #394): https://github.com/trueagi-io/hyperon-experimental/issues/394
—
Douglas R Miles /
githubweb
- Add benchmark with time assertions for recursive tuple/list deconstruction (issue #394): https://github.com/trueagi-io/hyperon-experimental/issues/394
—
Douglas R Miles /
githubweb
- Add tests for quoting/scoping mechanism in MeTTa (issue #579): https://github.com/trueagi-io/hyperon-experimental/issues/579
—
Douglas R Miles /
githubweb
- Add tests for delaying reduction until bindings are ready (issue #659): https://github.com/trueagi-io/hyperon-experimental/issues/659
—
Douglas R Miles /
githubweb
- Add tests for delaying reduction until bindings are ready (issue #659): https://github.com/trueagi-io/hyperon-experimental/issues/659
—
Douglas R Miles /
githubweb
- Add additional tests for issue #659: Delaying reduction until bindings are ready
—
Douglas R Miles /
githubweb
- x
—
Roy Ward /
githubweb
- Lots of hooks
—
Douglas R Miles /
githubweb
- Lots of hooks
—
Douglas R Miles /
githubweb
- Still need to make the callbacks file load
—
Douglas R Miles /
githubweb
- re-run-file
—
Douglas R Miles /
githubweb
- toplevel_form -> toplevel
—
Douglas R Miles /
githubweb
- quote the json
—
Douglas R Miles /
githubweb
- start of nqueebs explaiantion
—
Douglas R Miles /
githubweb
- !(pragma! interpreter bare-minimal)
—
Douglas R Miles /
githubweb
- Fixed a typo thaqt was making assertEqualToResult appear twice"
—
Douglas R Miles /
githubweb
- MeTTaRust
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- unbotch plain prolog
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown
—
Douglas R Miles /
githubweb
- bad_line_endings in metta sometimes are on purpose for testing
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown in a file
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown in a _transout.pl
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown in a _transout.pl
—
Douglas R Miles /
githubweb
- metta_runtime
—
Douglas R Miles /
githubweb
- format_args_ordered_low_overhead
—
Douglas R Miles /
githubweb
- non_empty_atom
—
Douglas R Miles /
githubweb
- output_language
—
Douglas R Miles /
githubweb
- :- dynamic(enabled_log_progress/0).
—
Douglas R Miles /
githubweb
- testing updates
—
Douglas R Miles /
githubweb
- Initial commit
—
Douglas R Miles /
githubweb
- repl
—
Douglas R Miles /
githubweb
- loading took 0.014602 seconds, repl
—
Douglas R Miles /
githubweb
- metta_vspace/flyspace.py
—
Douglas R Miles /
githubweb
- Modules adjusted
—
Douglas R Miles /
githubweb
- metta_learner.py
—
Douglas R Miles /
githubweb
- requirements.txt
—
Douglas R Miles /
githubweb
- 3-VSpaceTest.metta
—
Douglas R Miles /
githubweb
- mine_overlaps
—
Douglas R Miles /
githubweb
- ref
—
Douglas R Miles /
githubweb
- adds to cmd hist
—
Douglas R Miles /
githubweb
- use_error_code = True
—
Douglas R Miles /
githubweb
- SpaceRef
—
Douglas R Miles /
githubweb
- SpaceRef2
—
Douglas R Miles /
githubweb
- class VSpace(AbstractSpace)
—
Douglas R Miles /
githubweb
- add_exported_methods to MeTTa
—
Douglas R Miles /
githubweb
- metta_ls
—
Douglas R Miles /
githubweb
- requirements.txt added stuff in temporarily
—
Douglas R Miles /
githubweb
- chmod
—
Douglas R Miles /
githubweb
- decl_fb_pred
—
Douglas R Miles /
githubweb
- test_custom_v_space
—
Douglas R Miles /
githubweb
- MeTTa Python incoming interface
—
Douglas R Miles /
githubweb
- Rebuild-hyperon.cmd
—
Douglas R Miles /
githubweb
- space_refs
—
Douglas R Miles /
githubweb
- circles
—
Douglas R Miles /
githubweb
- autoexec.metta
—
Douglas R Miles /
githubweb
- between-fast-n-slow
—
Douglas R Miles /
githubweb
- unwrap_pyobjs
—
Douglas R Miles /
githubweb
- nd_determine_spaces
—
Douglas R Miles /
githubweb
- Passes the Space tests
—
Douglas R Miles /
githubweb
- corrected py_sorted
—
Douglas R Miles /
githubweb
- !(match &flybase (gene_map_table FBgn0000018 ) (gene_map_table FBgn0000018 )) works
—
Douglas R Miles /
githubweb
- slower
—
Douglas R Miles /
githubweb
- 17 minutes in fast mode
—
Douglas R Miles /
githubweb
- sync between fast/slow
—
Douglas R Miles /
githubweb
- rr
—
Douglas R Miles /
githubweb
- superfly
—
Douglas R Miles /
githubweb
- swi-superfly
—
Douglas R Miles /
githubweb
- swi-superfly
—
Douglas R Miles /
githubweb
- LOADING.md
—
Douglas R Miles /
githubweb
- ex
—
Douglas R Miles /
githubweb
- ADded missing Sequence Ontology
—
Douglas R Miles /
githubweb
- commited correct file this times
—
Douglas R Miles /
githubweb
- saed outpout to see differnces
—
Douglas R Miles /
githubweb
- Use full Sequence ontology and subsets
—
Douglas R Miles /
githubweb
- OBO takes longer thna the TSV (heh)
—
Douglas R Miles /
githubweb
- metta_compiler
—
Douglas R Miles /
githubweb
- OBO Parser release a little whitespace
—
Douglas R Miles /
githubweb
- examples/NARS_listing.metta
—
Douglas R Miles /
githubweb
- primordial
—
Douglas R Miles /
githubweb
- primordial2
—
Douglas R Miles /
githubweb
- ./metta_vspace/pyswip/chars.data
—
Douglas R Miles /
githubweb
- load_metta
—
Douglas R Miles /
githubweb
- read_metta1
—
Douglas R Miles /
githubweb
- eval_args
—
Douglas R Miles /
githubweb
- start_e1_kb_write.metta
—
Douglas R Miles /
githubweb
- start_superpose
—
Douglas R Miles /
githubweb
- metta_prelude
—
Douglas R Miles /
githubweb
- Prelude
—
Douglas R Miles /
githubweb
- Prelude2
—
Douglas R Miles /
githubweb
- metta_python
—
Douglas R Miles /
githubweb
- sp
—
Douglas R Miles /
githubweb
- spb
—
Douglas R Miles /
githubweb
- spb2
—
Douglas R Miles /
githubweb
- 3.1.3
—
Douglas R Miles /
githubweb
- 3.1.3a
—
Douglas R Miles /
githubweb
- 3.1.3b
—
Douglas R Miles /
githubweb
- SO
—
Douglas R Miles /
githubweb
- do_metta/3
—
Douglas R Miles /
githubweb
- less_verbose_start
—
Douglas R Miles /
githubweb
- best switch-case impl
—
Douglas R Miles /
githubweb
- best switch-case impl 2
—
Douglas R Miles /
githubweb
- one failuyre on 00-case
—
Douglas R Miles /
githubweb
- loonit_success([ [ 'P','B'],
—
Douglas R Miles /
githubweb
- broke files into smaller tests
—
Douglas R Miles /
githubweb
- extra_pytests
—
Douglas R Miles /
githubweb
- files ot dispaly test results
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- ./MeTTa --tee examples/compat/test_scripts/00_lang_case.metta
—
Douglas R Miles /
githubweb
- ./MeTTa --tee examples/compat/test_scripts/00_lang_case.metta
—
Douglas R Miles /
githubweb
- ./MeTTa --tee examples/compat/test_scripts/00_lang_case.metta
—
Douglas R Miles /
githubweb
- ./MeTTa --tee examples/compat/test_scripts/00_lang_case.metta
—
Douglas R Miles /
githubweb
- test_cases
—
Douglas R Miles /
githubweb
- assert_MeTTa
—
Douglas R Miles /
githubweb
- load_flybase(1_000_000_000_000_000_000_000_000_000_000_000_000_000_000_000)
—
Douglas R Miles /
githubweb
- read_obo2
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/extra_pytests/check_duplicates.py
—
Douglas R Miles /
githubweb
- sync
—
Douglas R Miles /
githubweb
- p2m
—
Douglas R Miles /
githubweb
- practorial
—
Douglas R Miles /
githubweb
- starting the states
—
Douglas R Miles /
githubweb
- Passes 20 more tests
—
Douglas R Miles /
githubweb
- passes 5 more
—
Douglas R Miles /
githubweb
- modulus
—
Douglas R Miles /
githubweb
- pass 1 more
—
Douglas R Miles /
githubweb
- | 134 | 95 | Total: 229 | For 58% 'examples/compat/test_scripts/*.metta'
—
Douglas R Miles /
githubweb
- tad bit of debugging
—
Douglas R Miles /
githubweb
- 60%
—
Douglas R Miles /
githubweb
- TEE.ansi
—
Douglas R Miles /
githubweb
- For 61% 'examples/compat/test_scripts/*.metta'
—
Douglas R Miles /
githubweb
- Passed One More: 'examples/compat/test_scripts/*.metta'
—
Douglas R Miles /
githubweb
- metta_testing
—
Douglas R Miles /
githubweb
- try_again
—
Douglas R Miles /
githubweb
- about
—
Douglas R Miles /
githubweb
- moved UNIT_LINKS into shared file
—
Douglas R Miles /
githubweb
- test links have ;;
—
Douglas R Miles /
githubweb
- NewResults.md
—
Douglas R Miles /
githubweb
- PASSING COMMON.ORDEREDSETTEST.01
—
Douglas R Miles /
githubweb
- For 71% 'examples/*.metta'
—
Douglas R Miles /
githubweb
- fixed those 5 regressions for a whopping 73%
—
Douglas R Miles /
githubweb
- updating nars tests
—
Douglas R Miles /
githubweb
- rearanging nars tests
—
Douglas R Miles /
githubweb
- pre-per-drirectory-totals
—
Douglas R Miles /
githubweb
- examples/nars_extras/nars_test00.metta is in examples/nars/tests0.metta
—
Douglas R Miles /
githubweb
- 1 more passing test
—
Douglas R Miles /
githubweb
- now passing 6 more
—
Douglas R Miles /
githubweb
- Now PASSING TEST-SCRIPTS.C2-SPACES
—
Douglas R Miles /
githubweb
- adding missing reports
—
Douglas R Miles /
githubweb
- 81% on compat
—
Douglas R Miles /
githubweb
- allowing one regression of TEST-SCRIPTS.D2-HIGHERFUNC.21 for a short time
—
Douglas R Miles /
githubweb
- documented the compiler
—
Douglas R Miles /
githubweb
- setting of pragma
—
Douglas R Miles /
githubweb
- compiles cases
—
Douglas R Miles /
githubweb
- handles void now
—
Douglas R Miles /
githubweb
- executing body code
—
Douglas R Miles /
githubweb
- defn_atom)s) should not return True
—
Douglas R Miles /
githubweb
- fixed compile_flow_control
—
Douglas R Miles /
githubweb
- No new regressions past the 80%
—
Douglas R Miles /
githubweb
- closer to the 81%
—
Douglas R Miles /
githubweb
- link back
—
Douglas R Miles /
githubweb
- full examples with .answer files
—
Douglas R Miles /
githubweb
- .gitignore
—
Douglas R Miles /
githubweb
- loon:- repl, (option_value('halt',false)->true;halt(7)).
—
Douglas R Miles /
githubweb
- some touches
—
Douglas R Miles /
githubweb
- pyswip2
—
Douglas R Miles /
githubweb
- moved stuff to metta_space
—
Douglas R Miles /
githubweb
- =~
—
Douglas R Miles /
githubweb
- removed extra with_indents/2
—
Douglas R Miles /
githubweb
- for the python startup
—
Douglas R Miles /
githubweb
- for trace_on_fail
—
Douglas R Miles /
githubweb
- allow_v12
—
Douglas R Miles /
githubweb
- fixed EXAMPLES.FACTORIAL.01
—
Douglas R Miles /
githubweb
- pyswip
—
Douglas R Miles /
githubweb
- qcompile_mettalog
—
Douglas R Miles /
githubweb
- install packs
—
Douglas R Miles /
githubweb
- loon
—
Douglas R Miles /
githubweb
- now MeTTa finds MeTTaLog executable
—
Douglas R Miles /
githubweb
- closer to 81%
—
Douglas R Miles /
githubweb
- closer to 81%
—
Douglas R Miles /
githubweb
- still closer to 81%
—
Douglas R Miles /
githubweb
- still closer to 81%
—
Douglas R Miles /
githubweb
- still closer to 81% now
—
Douglas R Miles /
githubweb
- eval_selfless works with peano
—
Douglas R Miles /
githubweb
- reverted to 82%
—
Douglas R Miles /
githubweb
- +7
—
Douglas R Miles /
githubweb
- option_value_def('test-retval',false)
—
Douglas R Miles /
githubweb
- solid 84%
—
Douglas R Miles /
githubweb
- pre-modify
—
Douglas R Miles /
githubweb
- .gitignore
—
Douglas R Miles /
githubweb
- SEO
—
Douglas R Miles /
githubweb
- calls back rust spaces
—
Douglas R Miles /
githubweb
- 185vs35
—
Douglas R Miles /
githubweb
- stell 185vs35
—
Douglas R Miles /
githubweb
- onely one resul;t
—
Douglas R Miles /
githubweb
- movement of files
—
Douglas R Miles /
githubweb
- divided upo mined info
—
Douglas R Miles /
githubweb
- swi_flybase_convert
—
Douglas R Miles /
githubweb
- setup starting
—
Douglas R Miles /
githubweb
- vspace-metta/pyswip/flybase_induced_types.pl
—
Douglas R Miles /
githubweb
- scripts/convert_to_metta.sh
—
Douglas R Miles /
githubweb
- fixed scripts/convert_to_metta.sh
—
Douglas R Miles /
githubweb
- begining of the command debugger
—
Douglas R Miles /
githubweb
- CallsVSpace=True
—
Douglas R Miles /
githubweb
- nars/current
—
Douglas R Miles /
githubweb
- .gitignore
—
Douglas R Miles /
githubweb
- tests from ~@abelikov
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/metta_interp.pl
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/metta_interp.pl 2
—
Douglas R Miles /
githubweb
- fast_column
—
Douglas R Miles /
githubweb
- show-metta-def
—
Douglas R Miles /
githubweb
- write_src
—
Douglas R Miles /
githubweb
- all 14 on examples/compat/hyperon-experimental/python/tests/scripts/d1_gadt.metta
—
Douglas R Miles /
githubweb
- metta_types
—
Douglas R Miles /
githubweb
- metta_types2
—
Douglas R Miles /
githubweb
- metta_types3
—
Douglas R Miles /
githubweb
- metta_types4
—
Douglas R Miles /
githubweb
- 88%
—
Douglas R Miles /
githubweb
- maybe 88%
—
Douglas R Miles /
githubweb
- .bash_history
—
Douglas R Miles /
githubweb
- pyswip/flybase_learn.pl
—
Douglas R Miles /
githubweb
- more debugging
—
Douglas R Miles /
githubweb
- metta_impl_data
—
Douglas R Miles /
githubweb
- v_1
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/metta_eval.pl
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/metta
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/flybase_learn.pl
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/metta_testing.pl
—
Douglas R Miles /
githubweb
- reports/cuRRent
—
Douglas R Miles /
githubweb
- ./MeTTa --v_77
—
Douglas R Miles /
githubweb
- 187| 24| 88%| reports/cuRRent/interp_00/hyperon-experimental_scripts
—
Douglas R Miles /
githubweb
- fuller readme
—
Douglas R Miles /
githubweb
- metta_data.
—
Douglas R Miles /
githubweb
- metta_data2
—
Douglas R Miles /
githubweb
- metta_data3
—
Douglas R Miles /
githubweb
- metta_data4
—
Douglas R Miles /
githubweb
- reports
—
Douglas R Miles /
githubweb
- 222
—
Douglas R Miles /
githubweb
- units2
—
Douglas R Miles /
githubweb
- reports/
—
Douglas R Miles /
githubweb
- Fixed flybase snaitry tests
—
Douglas R Miles /
githubweb
- too much --help
—
Douglas R Miles /
githubweb
- still baseline
—
Douglas R Miles /
githubweb
- still baseline 2
—
Douglas R Miles /
githubweb
- numme
—
Douglas R Miles /
githubweb
- det_results
—
Douglas R Miles /
githubweb
- better concurancy exmaples
—
Douglas R Miles /
githubweb
- implemented hyperpose as: eval_40(Eq,RetType,Depth,Self,['hyperpose',ArgL1],ResL):- \!, concurrent_maplist(eval(Eq,RetType,Depth,Self),ArgL1,ResL).
—
Douglas R Miles /
githubweb
- exceeds baseline sliughtly
—
Douglas R Miles /
githubweb
- from_vspace/
—
Douglas R Miles /
githubweb
- Instatter for VSPAce
—
Douglas R Miles /
githubweb
- Queries for flybase testing
—
Douglas R Miles /
githubweb
- try this remotely
—
Douglas R Miles /
githubweb
- prev_chains
—
Douglas R Miles /
githubweb
- /metta_eval.pl.save
—
Douglas R Miles /
githubweb
- 4 bioatomspace
—
Douglas R Miles /
githubweb
- for bio-atomspace
—
Douglas R Miles /
githubweb
- flybase-loader-size-estimates.metta
—
Douglas R Miles /
githubweb
- new some differnt backup versions in GIT
—
Douglas R Miles /
githubweb
- epxlains how the script mods their system
—
Douglas R Miles /
githubweb
- grab package from git now
—
Douglas R Miles /
githubweb
- loaded rest of files
—
Douglas R Miles /
githubweb
- loaded rest of files
—
Douglas R Miles /
githubweb
- loaded rest of files
—
Douglas R Miles /
githubweb
- /metta_convert
—
Douglas R Miles /
githubweb
- to other
—
Douglas R Miles /
githubweb
- unzip_or_redownload.sh
—
Douglas R Miles /
githubweb
- examples/features/polymorphic-types/
—
Douglas R Miles /
githubweb
- cvorrectly evals or not the arguments
—
Douglas R Miles /
githubweb
- fixed the extra retval
—
Douglas R Miles /
githubweb
- pyswip_lng
—
Douglas R Miles /
githubweb
- 12-15-want
—
Douglas R Miles /
githubweb
- flybase-loader-size-estimates.metta
—
Douglas R Miles /
githubweb
- fixed bad merge
—
Douglas R Miles /
githubweb
- restored accidental deleteion
—
Douglas R Miles /
githubweb
- relative-arithmetic.metta
—
Douglas R Miles /
githubweb
- added testcase
—
Douglas R Miles /
githubweb
- reports/features/bidirectional_computation/relative-arithmetic.metta.html
—
Douglas R Miles /
githubweb
- hyperpose
—
Douglas R Miles /
githubweb
- fixed let
—
Douglas R Miles /
githubweb
- INSTALL.sh
—
Douglas R Miles /
githubweb
- huge just in unit test results
—
Douglas R Miles /
githubweb
- omg.. that mispelling has caused a problem :)
—
GitHub /
githubweb
- up by 100
—
Douglas R Miles /
githubweb
- register_remote_code
—
Douglas R Miles /
githubweb
- debugging/debug_some.mettarc
—
Douglas R Miles /
githubweb
- examples/features/distributed-processing/create-server.metta
—
Douglas R Miles /
githubweb
- ssl error should not be deadly
—
Douglas R Miles /
githubweb
- is_testing
—
Douglas R Miles /
githubweb
- define current_self/1 earlier
—
Douglas R Miles /
githubweb
- by default use the fast reader
—
Douglas R Miles /
githubweb
- implemented (empty)
—
Douglas R Miles /
githubweb
- Freeze
—
Douglas R Miles /
githubweb
- multifile(asserted_metta/4)
—
Douglas R Miles /
githubweb
- respect string_to_syms
—
Douglas R Miles /
githubweb
- data/ftp.flybase.org/releases/current/precomputed_files/md5sum.txt
—
Douglas R Miles /
githubweb
- added max-time
—
Douglas R Miles /
githubweb
- Add Dockerfile to build docker image with MeTTaLog in it
—
Nil Geisweiller /
githubweb
- Add section about docker in the README.md
—
Nil Geisweiller /
githubweb
- mettalog is runfromdocker scrip
—
Douglas R Miles /
githubweb
- local development might need these changes without commiting
—
Douglas R Miles /
githubweb
- fbugio
—
Douglas R Miles /
githubweb
- inchtowards revert
—
Douglas R Miles /
githubweb
- inchtowards revert 2
—
Douglas R Miles /
githubweb
- inchtowards revert 3
—
Douglas R Miles /
githubweb
- inchtowards revert 4
—
Douglas R Miles /
githubweb
- implemented
—
Douglas R Miles /
githubweb
- send_keys_debug.sh
—
Douglas R Miles /
githubweb
- update to how tests/debug runs
—
Douglas R Miles /
githubweb
- make sure that ctrl-c works
—
Douglas R Miles /
githubweb
- debug_this_script
—
Douglas R Miles /
githubweb
- update to allow more compiler use and 2-way translation
—
Douglas R Miles /
githubweb
- set flag argv []
—
Douglas R Miles /
githubweb
- fixed the examples/python_compat/janus/ tests
—
Douglas R Miles /
githubweb
- usign a python function registry
—
Douglas R Miles /
githubweb
- MeTTa --compile=full examples/baseline_compat/hyperon-mettalog_sanity/fibo_hang.metta runs !(fibo 80) in 2.24 milliseconds
—
Douglas R Miles /
githubweb
- compile much closer tro rust output.. commitin since it fix other bugs
—
Douglas R Miles /
githubweb
- adding in benchmarks
—
Douglas R Miles /
githubweb
- rebased mettalog
—
Douglas R Miles /
githubweb
- scripts/flybase_setup.sh
—
Douglas R Miles /
githubweb
- almost like the real thing
—
Douglas R Miles /
githubweb
- dont print executing wtice to log
—
Douglas R Miles /
githubweb
- time mettalog examples/performance/comparisons/fibo_hang_900.metta
—
Douglas R Miles /
githubweb
- optimize_conjuncts
—
Douglas R Miles /
githubweb
- optimize_head_preconds_into_body1
—
Douglas R Miles /
githubweb
- time mettalog examples/performance/comparisons/fibo_hang_arg1.metta --args 111111 ;; in 7 seconds
—
Douglas R Miles /
githubweb
- start of dmiles branch
—
Douglas R Miles /
githubweb
- git checkout bb49b80c423ea93a9ccfd259d593d35690a8e0ef metta_vspace/pyswip/ -f
—
Douglas R Miles /
githubweb
- no longer need swi-prologs pack system since sometimes its down
—
Douglas R Miles /
githubweb
- testing docker so need this commited
—
Douglas R Miles /
githubweb
- testing docker so need this commited 23
—
Douglas R Miles /
githubweb
- testing docker so need this commited 234
—
Douglas R Miles /
githubweb
- Needing to add in packages so can be maintained with instlalation site
—
Douglas R Miles /
githubweb
- Dockerfile
—
Douglas R Miles /
githubweb
- #2 this is a bit of extra that dint make it in
—
Douglas R Miles /
githubweb
- ENV PATH="${PATH}:${MATTALOG_DIR}"
—
Douglas R Miles /
githubweb
- really got #2 fixed maybe
—
Douglas R Miles /
githubweb
- fixed large file loading
—
Douglas R Miles /
githubweb
- update for metta-examples
—
Douglas R Miles /
githubweb
- Merged README.md
—
Douglas R Miles /
githubweb
- no_panda.py
—
Douglas R Miles /
githubweb
- update the readme
—
Douglas R Miles /
githubweb
- update the readme 2
—
Douglas R Miles /
githubweb
- update the readme 3
—
Douglas R Miles /
githubweb
- simplified readme
—
Douglas R Miles /
githubweb
- less simplified readme
—
Douglas R Miles /
githubweb
- pre-canary pre-development
—
Douglas R Miles /
githubweb
- canary
—
Douglas R Miles /
githubweb
- development
—
Douglas R Miles /
githubweb
- main
—
Douglas R Miles /
githubweb
- mettalog
—
Douglas R Miles /
githubweb
- README.md formating
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- path updates
—
Douglas R Miles /
githubweb
- nullify_output_really
—
Douglas R Miles /
githubweb
- deleted_to_re_add
—
Douglas R Miles /
githubweb
- README.md
—
Douglas R Miles /
githubweb
- tests dir
—
Douglas R Miles /
githubweb
- tests/baseline_compat
—
Douglas R Miles /
githubweb
- tests/extended_compat/hyperon-pln/miner
—
Douglas R Miles /
githubweb
- some tests and things greated by @Adam-Vandervorst and @Innokenty and others
—
Douglas R Miles /
githubweb
- MeTTa-NARS tests
—
Douglas R Miles /
githubweb
- bio-atomspace/.gitignore
—
Douglas R Miles /
githubweb
- some test files supplied by @abdu
—
Douglas R Miles /
githubweb
- tests
—
Douglas R Miles /
githubweb
- restore building of hyerponpy
—
Douglas R Miles /
githubweb
- start of exposing io functions
—
Douglas R Miles /
githubweb
- towards combined.metta
—
Douglas R Miles /
githubweb
- towards file-output.metta
—
Douglas R Miles /
githubweb
- unset LD_PRELOAD
—
Douglas R Miles /
githubweb
- towards combined
—
Douglas R Miles /
githubweb
- with_output_to_stream
—
Douglas R Miles /
githubweb
- begun canary merge
—
Douglas R Miles /
githubweb
- fix for curried chain.. but back to the old IO
—
Douglas R Miles /
githubweb
- interp restored.. now eval is remaining
—
Douglas R Miles /
githubweb
- interp is now restored but eval is remaining
—
Douglas R Miles /
githubweb
- fixes for curried forward chainer
—
Douglas R Miles /
githubweb
- more bio-atomspace tests
—
Douglas R Miles /
githubweb
- purposefully divergent
—
Douglas R Miles /
githubweb
- added a quick docs/;OVERVIEW.md
—
Douglas R Miles /
githubweb
- quick blurb about the methodology
—
Douglas R Miles /
githubweb
- fixed example
—
Douglas R Miles /
githubweb
- fixed the quick blurb
—
Douglas R Miles /
githubweb
- fixed the quick blurb 2
—
Douglas R Miles /
githubweb
- writing check in documentaiton the a** doith cash
—
Douglas R Miles /
githubweb
- clearer english?
—
Douglas R Miles /
githubweb
- more cowbell
—
Douglas R Miles /
githubweb
- reordered explanation
—
Douglas R Miles /
githubweb
- one more try
—
Douglas R Miles /
githubweb
- two more more tries
—
Douglas R Miles /
githubweb
- answer files
—
Douglas R Miles /
githubweb
- test results
—
Douglas R Miles /
githubweb
- test results with updated links
—
Douglas R Miles /
githubweb
- Rename from hyperon-wam to metta-log
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- apt -y
—
Douglas R Miles /
githubweb
- njo debug
—
Douglas R Miles /
githubweb
- no more debug
—
Douglas R Miles /
githubweb
- updates to fix the spam debug that made tmpMatch.metta hard for debug .. next commit hopefully fixes the failure
—
Douglas R Miles /
githubweb
- MeTTaLog runs on Windows
—
Douglas R Miles /
githubweb
- update from hyperon-experimental
—
Douglas R Miles /
githubweb
- tests/baseline_compat/hyperon-experimental_scripts/f1_new_imports.metta
—
Douglas R Miles /
githubweb
- tests/baseline_compat/hyperon-experimental_scripts/f1_new_imports.metta
—
Douglas R Miles /
githubweb
- tests/extended_compat/hyperon-miner/dependent-types/
—
Douglas R Miles /
githubweb
- more and more tests
—
Douglas R Miles /
githubweb
- convertor_updates
—
Douglas R Miles /
githubweb
- supprt for catch/throw and function/return , update on how conversion files are found
—
Douglas R Miles /
githubweb
- gpt2-like
—
Douglas R Miles /
githubweb
- corrected trace\! .. updated translator
—
Douglas R Miles /
githubweb
- returning %Undefined% for non-typed symbols
—
Douglas R Miles /
githubweb
- alighn ',' with real metta
—
Douglas R Miles /
githubweb
- alighn ',' with real metta this time
—
Douglas R Miles /
githubweb
- tests from @hedra
—
Douglas R Miles /
githubweb
- is_tollerant
—
Douglas R Miles /
githubweb
- tests/features/metta_convert
—
Douglas R Miles /
githubweb
- done_so_convert
—
Douglas R Miles /
githubweb
- reset_eval_num
—
Douglas R Miles /
githubweb
- update of scripts including mettalog
—
Douglas R Miles /
githubweb
- Update the test result links
—
Douglas R Miles /
githubweb
- Stricter verison of ideally to avoid weirdness liek in MeTTa-NARS
—
Douglas R Miles /
githubweb
- update of canary version
—
Douglas R Miles /
githubweb
- Put recently changed Hyperon Experimental Testcases in their own directory
—
Douglas R Miles /
githubweb
- version-config
—
Douglas R Miles /
githubweb
- fix some io issues where perious optut ios being created also one unit test fix a mispelling
—
Douglas R Miles /
githubweb
- better printing of empty values
—
Douglas R Miles /
githubweb
- allow eval if type decls
—
Douglas R Miles /
githubweb
- decide to locate the shared test results
—
Douglas R Miles /
githubweb
- src/version-config
—
Douglas R Miles /
githubweb
- update startup scripts
—
Douglas R Miles /
githubweb
- confirming fixes for Recent changes fixing bugs shown by @tanksha by making eager evaluation @ngeiswei backward and forward chainer work
—
Douglas R Miles /
githubweb
- set cananry for devleopment
—
Douglas R Miles /
githubweb
- set main for stability
—
Douglas R Miles /
githubweb
- set update main now that is is stable
—
Douglas R Miles /
githubweb
- for testing compiler directrives and minimal needs to guide MeTTa on how to compile functional form vs predicate form.. NARS is perfect as @patham9 mixes them very well
—
Douglas R Miles /
githubweb
- for testing compiler directrives and minimal needs to guide MeTTa on how to compile functional form vs predicate form.. NARS is perfect as @patham9 mixes them well
—
Douglas R Miles /
githubweb
- for testing compiler directrives and minimal needs to guide MeTTa on how to compile functional forms vs predicate forms.. NARS is perfect as @patham9 mixes them well
—
Douglas R Miles /
githubweb
- Example of F/P
—
Douglas R Miles /
githubweb
- Big fixes to compiler .. also a rename of non atom api top symbol api
—
Douglas R Miles /
githubweb
- rename of non atom api top symbol api
—
Douglas R Miles /
githubweb
- test_in_metta allows interuptions now
—
Douglas R Miles /
githubweb
- Internal ontology file
—
Douglas R Miles /
githubweb
- update long development code
—
Douglas R Miles /
githubweb
- Update Compatibility Test Suite
—
Douglas R Miles /
githubweb
- updates for baseline tests
—
Douglas R Miles /
githubweb
- tests extra
—
Douglas R Miles /
githubweb
- Added by Visual Studio Code
—
Douglas R Miles /
githubweb
- compiler at 38% on mettamorph tests
—
Douglas R Miles /
githubweb
- tests/compiler/nars/main-branch/ are the canonical tests for the compiler
—
Douglas R Miles /
githubweb
- bidirectional_computation/fish-riddle.metta
—
Douglas R Miles /
githubweb
- bio-atomspace updates
—
Douglas R Miles /
githubweb
- removed singleton and dicontiguous warning
—
Douglas R Miles /
githubweb
- actual functional definition
—
Douglas R Miles /
githubweb
- allow compiler to push limits of depth and even eval to nonvar
—
Douglas R Miles /
githubweb
- will compile all functions that have their types declared - since some break in the compiler has bugs, you may declare these (: MyFunction Interpeted) to disable compilation
—
Douglas R Miles /
githubweb
- load asccsii
—
Douglas R Miles /
githubweb
- using $rettag for function return
—
Douglas R Miles /
githubweb
- src/canary/metta_loader.pl
—
Douglas R Miles /
githubweb
- mix_prolog_and_metta
—
Douglas R Miles /
githubweb
- bchain.metta
—
Douglas R Miles /
githubweb
- fixes for @hedra s use of curried backchainer
—
Douglas R Miles /
githubweb
- pln-xp-mettalog
—
Douglas R Miles /
githubweb
- loader updates for @abdu
—
Douglas R Miles /
githubweb
- removed singleton warnings
—
Douglas R Miles /
githubweb
- add 2 levels of indexing via s2t
—
Douglas R Miles /
githubweb
- one last fix for metta reader to more gracefully know when somehntingt is a comment
—
Douglas R Miles /
githubweb
- update space size calculations, slighlty deeper index for type declarations
—
Douglas R Miles /
githubweb
- src/main
—
Douglas R Miles /
githubweb
- Main is better than Canary Again
—
Douglas R Miles /
githubweb
- Main=Canary
—
Douglas R Miles /
githubweb
- tests update
—
Douglas R Miles /
githubweb
- no regression yet .. incremetnally working our way forward
—
Douglas R Miles /
githubweb
- base
—
Douglas R Miles /
githubweb
- updates for python
—
Douglas R Miles /
githubweb
- back to quiet
—
Douglas R Miles /
githubweb
- metta-motto updates (for mettalog testing) and testing of bio-ai chat agent
—
Douglas R Miles /
githubweb
- more-anti-regression
—
Douglas R Miles /
githubweb
- dir where they should be
—
Douglas R Miles /
githubweb
- py_argv
—
Douglas R Miles /
githubweb
- into_arg_code
—
Douglas R Miles /
githubweb
- canary_3_py
—
Douglas R Miles /
githubweb
- plz merge base into canary
—
Douglas R Miles /
githubweb
- s/asserted_metta_atom/metta_atom_asserted/g
—
Douglas R Miles /
githubweb
- interp
—
Douglas R Miles /
githubweb
- interp2
—
Douglas R Miles /
githubweb
- interp3
—
Douglas R Miles /
githubweb
- interp4
—
Douglas R Miles /
githubweb
- tests/baseline_compat/nars/main-branch/
—
Douglas R Miles /
githubweb
- getting farther on MeTTa-NARS
—
Douglas R Miles /
githubweb
- certainty_backchainer.pl
—
Douglas R Miles /
githubweb
- src/canary
—
Douglas R Miles /
githubweb
- added test scripts to produce html report
—
Douglas R Miles /
githubweb
- compiler works on backchainer!
—
Douglas R Miles /
githubweb
- extra target
—
Douglas R Miles /
githubweb
- sync loader
—
Douglas R Miles /
githubweb
- updates to tests/baseline_compat/
—
Douglas R Miles /
githubweb
- Abdu's metta_out_v4_pl testfiles
—
Douglas R Miles /
githubweb
- main is still good
—
Douglas R Miles /
githubweb
- main uses new loader/compiler
—
Douglas R Miles /
githubweb
- main traces defns
—
Douglas R Miles /
githubweb
- pass MeTTaNARS 2/4!
—
Douglas R Miles /
githubweb
- canary
—
Douglas R Miles /
githubweb
- Best Yet Main
—
Douglas R Miles /
githubweb
- 4-03-fav
—
Douglas R Miles /
githubweb
- happy cananry
—
Douglas R Miles /
githubweb
- 97%git status .git status . on interperter tests
—
Douglas R Miles /
githubweb
- pre-answers
—
Douglas R Miles /
githubweb
- spped up tests by keeping answers saved in repo
—
Douglas R Miles /
githubweb
- Fixed testing while compiling
—
Douglas R Miles /
githubweb
- Fixed findall_ne in optimize_body
—
Douglas R Miles /
githubweb
- tests/nars_w_compiler/
—
Douglas R Miles /
githubweb
- tests/compiler_specific
—
Douglas R Miles /
githubweb
- 06-canary-lng-both
—
Douglas R Miles /
githubweb
- ../tests/nars_w_comp/
—
Douglas R Miles /
githubweb
- symc of compilers
—
Douglas R Miles /
githubweb
- uses internal fwd chainer to maintain compiler states
—
Douglas R Miles /
githubweb
- dont add extra default rel history items
—
Douglas R Miles /
githubweb
- test-updates
—
Douglas R Miles /
githubweb
- cs
—
Douglas R Miles /
githubweb
- bc_comp
—
Douglas R Miles /
githubweb
- mettalog --log bc_comp.metta fixed \!
—
Douglas R Miles /
githubweb
- added Adam's aunt-kg red-black-lambda as tests
—
Douglas R Miles /
githubweb
- made compatable to run in both mettalog and rust
—
Douglas R Miles /
githubweb
- compiler before optimizer is switched on
—
Douglas R Miles /
githubweb
- Reactive Compiler (Miles/Finnin) needed to be spread into multiple files ad well as some fixes tpo make sure the compiler recompiles functions upon user request.. also fixed bug where waited on the body
—
Douglas R Miles /
githubweb
- eval_for1
—
Douglas R Miles /
githubweb
- chainer_english_all_one_file.pl
—
Douglas R Miles /
githubweb
- metta_compiler_inlining.pl
—
Douglas R Miles /
githubweb
- ../nars_w_comp/nars/main-branch/LIB_NARS_COMP_1.metta
—
Douglas R Miles /
githubweb
- hyperon-miner/utils/MinerUtils~OLD.metta
—
Douglas R Miles /
githubweb
- packs update
—
Douglas R Miles /
githubweb
- update baseline
—
Douglas R Miles /
githubweb
- specializationOf
—
Douglas R Miles /
githubweb
- library/genome/chado_xml_loader
—
Douglas R Miles /
githubweb
- canary
—
Douglas R Miles /
githubweb
- 431| 94% | tests
—
Douglas R Miles /
githubweb
- (do .. ) can return Empty
—
Douglas R Miles /
githubweb
- back track on empty
—
Douglas R Miles /
githubweb
- back to 94%
—
Douglas R Miles /
githubweb
- more complete
—
Douglas R Miles /
githubweb
- removed metta(e): no matching debug topic (yet)
—
Douglas R Miles /
githubweb
- undisabled debugging
—
Douglas R Miles /
githubweb
- really back to 94% - next is BadType fix
—
Douglas R Miles /
githubweb
- eval -> eval_args
—
Douglas R Miles /
githubweb
- tests
—
Douglas R Miles /
githubweb
- main
—
Douglas R Miles /
githubweb
- canary
—
Douglas R Miles /
githubweb
- inf
—
Douglas R Miles /
githubweb
- New systems may not have cmake libpython3-dev
—
Douglas R Miles /
githubweb
- mettalog NARS tests
—
Douglas R Miles /
githubweb
- xlisting_update
—
Douglas R Miles /
githubweb
- assumed no regressions and now tests can run from windows
—
Douglas R Miles /
githubweb
- readme update
—
Douglas R Miles /
githubweb
- predicate types
—
Douglas R Miles /
githubweb
- MeTTa -> mettalog
—
Douglas R Miles /
githubweb
- compiler_specific/transpiler
—
Douglas R Miles /
githubweb
- canary
—
Douglas R Miles /
githubweb
- t(f, _x, _retval):- _retval #= 2 * _x
—
Douglas R Miles /
githubweb
- tests/direct_comp
—
Douglas R Miles /
githubweb
- tests/extended_compat/ai-service
—
Douglas R Miles /
githubweb
- pip doesnt need sudo
—
Douglas R Miles /
githubweb
- add_py_dirs_to_pythonpath
—
Douglas R Miles /
githubweb
- scripts/ensure_env
—
Douglas R Miles /
githubweb
- scripts/ensure_venv
—
Douglas R Miles /
githubweb
- py_is_module
—
Douglas R Miles /
githubweb
- update of install section of readme
—
Douglas R Miles /
githubweb
- stdlib_minimal_test
—
Douglas R Miles /
githubweb
- TF2Res
—
Douglas R Miles /
githubweb
- Arity 3 version of get-type is now implemented
—
Douglas R Miles /
githubweb
- eval_20(_Eq,_RetType,_Depth,_Self,['decons-atom',[H|T]],[H,T])
—
Douglas R Miles /
githubweb
- superpose/collapse-bind
—
Douglas R Miles /
githubweb
- @doc some-func
—
Douglas R Miles /
githubweb
- pass the $space argument
—
Douglas R Miles /
githubweb
- fixed link to GitHub Issues Page
—
Douglas R Miles /
githubweb
- string to and from char conversion (and tests)
—
Roy Ward /
githubweb
- string to and from char conversion (and tests)
—
Roy Ward /
githubweb
- string to and from char conversion (and tests)
—
Roy Ward /
githubweb
- cleaned up string tests
—
Roy Ward /
githubweb
- removed cuts, more tests
—
Roy Ward /
githubweb
- removed cuts, more tests
—
Roy Ward /
githubweb
- superpose test
—
Roy Ward /
githubweb
- superpose test
—
Roy Ward /
githubweb
- mostly working format-args
—
Roy Ward /
githubweb
- Corrected options to return MeTTa booleans instead of Prolog booleans
—
Douglas R Miles /
githubweb
- Commented metta_debug.pl file
—
Douglas R Miles /
githubweb
- format-args nearly finished
—
Roy Ward /
githubweb
- deal with escaped {{ }}
—
Roy Ward /
githubweb
- deal with escaped {{ }}
—
Roy Ward /
githubweb
- deal with escaped {{ }}
—
Roy Ward /
githubweb
- pre stdlib
—
Douglas R Miles /
githubweb
- checkbox display
—
Douglas R Miles /
githubweb
- initial JUnit.xml generation
—
Douglas R Miles /
githubweb
- pip install junit2html into README.md
—
Douglas R Miles /
githubweb
- add a test description JUnit.xml generation
—
Douglas R Miles /
githubweb
- Fake scripts/run_commit_tests.sh
—
Douglas R Miles /
githubweb
- Fixed chmod run_commit_tests.sh
—
Douglas R Miles /
githubweb
- reporter: 'junitxml'
—
Douglas R Miles /
githubweb
- reporter: 'java-junit'
—
Douglas R Miles /
githubweb
- junit-matrix-report.html --report-matrix
—
Douglas R Miles /
githubweb
- scripts/run_commit_tests.sh
—
Douglas R Miles /
githubweb
- SHARED.UNITS.PREV.md
—
Douglas R Miles /
githubweb
- resorts/SHARED.UNITS.PREV.md
—
Douglas R Miles /
githubweb
- --report-matrix junit-matrix-report.html
—
Douglas R Miles /
githubweb
- junit-matrix-report.html
—
Douglas R Miles /
githubweb
- Continue even if step fails
—
Douglas R Miles /
githubweb
- fail-on-error: false # Do not fail the job if tests fail (yet)
—
Douglas R Miles /
githubweb
- JUnit test comparison report is also available.
—
Douglas R Miles /
githubweb
- Trigger CI
—
Douglas R Miles /
githubweb
- Diff JUnit Test Results
—
Douglas R Miles /
githubweb
- Standard, matrix, and comparison HTML reports are available as artifacts.
—
Douglas R Miles /
githubweb
- Standard, matrix, and comparison HTML reports are available as artifacts.
—
Douglas R Miles /
githubweb
- JUnit reports, Allure report, and test comparison reports are available as artifacts.
—
Douglas R Miles /
githubweb
- Add permissions for contents and checks to avoid integration errors
—
Douglas R Miles /
githubweb
- Add permissions for contents and checks to avoid integration errors
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- fix to format-args with bad args
—
Roy Ward /
githubweb
- cleaned up code section header, error checking for format-args
—
Roy Ward /
githubweb
- Added comments to STDLIB
—
Douglas R Miles /
githubweb
- Added ORIGIN comments to STDLIB
—
Douglas R Miles /
githubweb
- Enhance CI workflow to handle permissions for pull requests effectively
—
Douglas R Miles /
githubweb
- Updated CI workflow to handle permissions for PRs with full write access
—
Douglas R Miles /
githubweb
- Updated failure messages
—
Douglas R Miles /
githubweb
- Updated CI workflow to conditionally execute test reporting on push events only
—
Douglas R Miles /
githubweb
- FIX: https://github.com/trueagi-io/metta-wam/issues/30 Allow exiting of interp on Ctrl-D. To get to the prolog prompt you can still type
—
Douglas R Miles /
githubweb
- Update ci.yml
—
GitHub /
githubweb
- Update ci.yml
—
GitHub /
githubweb
- Update ci.yml
—
GitHub /
githubweb
- separated unify and if-unify
—
Douglas R Miles /
githubweb
- wq!
—
Douglas R Miles /
githubweb
- get-type-state (commented out)
—
Roy Ward /
githubweb
- Update deprecated action versions
—
AdrickTench /
githubweb
- Delete tests/features/metta_convert directory
—
GitHub /
githubweb
- Revert "Delete tests/features/metta_convert directory"
—
AdrickTench /
githubweb
- Publish Allure Report to GitHub Pages
—
AdrickTench /
githubweb
- internal op was the same things as MeTTa https://github.com/trueagi-io/metta-wam/issues/53
—
Douglas R Miles /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/86
—
Douglas R Miles /
githubweb
- recurse docs/*.* wiki/*.*
—
Douglas R Miles /
githubweb
- Towards Create and Integrate stdlib_mettalog.metta and/or corelib.metta https://github.com/trueagi-io/metta-wam/issues/72
—
Douglas R Miles /
githubweb
- docs/chatgpt_knowledge_doc.txt
—
Douglas R Miles /
githubweb
- updates to chatgpt_knowledge_doc
—
Douglas R Miles /
githubweb
- include more test results
—
Douglas R Miles /
githubweb
- add xor processing
—
Mike Archbold /
githubweb
- add xor processing
—
Mike Archbold /
githubweb
- add xor processing
—
Mike Archbold /
githubweb
- new xor test file
—
Mike Archbold /
githubweb
- Solved part of https://github.com/trueagi-io/metta-wam/issues/92
—
Douglas R Miles /
githubweb
- Allow eval_## to happen in more places
—
Douglas R Miles /
githubweb
- subtraction for https://github.com/trueagi-io/metta-wam/issues/60
—
Douglas R Miles /
githubweb
- subtraction for https://github.com/trueagi-io/metta-wam/issues/60
—
Douglas R Miles /
githubweb
- Allow eval_## to happen in more places 2
—
Douglas R Miles /
githubweb
- canary-90
—
Douglas R Miles /
githubweb
- canary-90 metta_eq_def
—
Douglas R Miles /
githubweb
- canary-90 use_corelib_file
—
Douglas R Miles /
githubweb
- for uploading newly created metta-files
—
drspro /
githubweb
- fixed prompt and history issues
—
Roy Ward /
githubweb
- fixed prompt and history issues
—
Roy Ward /
githubweb
- fixed prompt and history issues
—
Roy Ward /
githubweb
- some install/doc fixes
—
Roy Ward /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- required_version="9.3.8"
—
Douglas R Miles /
githubweb
- change back to starting directory
—
Douglas R Miles /
githubweb
- updated repr parse intersect
—
drspro /
githubweb
- update 2 repr parse intersect
—
drspro /
githubweb
- update 3 repr parse intersect
—
drspro /
githubweb
- new reports2 htm
—
drspro /
githubweb
- useable src/canary/*.metta
—
Douglas R Miles /
githubweb
- change how metta finds its files
—
Douglas R Miles /
githubweb
- change how metta finds its files
—
Douglas R Miles /
githubweb
- graphml loader
—
Douglas R Miles /
githubweb
- really using stdlib_mettalog
—
Douglas R Miles /
githubweb
- start of graphml loader
—
Douglas R Miles /
githubweb
- have ci.yml & run_commit_tests.sh install mettalog and run tests
—
AdrickTench /
githubweb
- separate install and run tests step, show test output (for now)
—
AdrickTench /
githubweb
- try running tests with venv
—
AdrickTench /
githubweb
- store /home/atench/.vscode-server/bin/fee1edb8d6d72a0ddff41e5f71a671c23ed924b9/bin/remote-cli:/home/atench/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/usr/lib/wsl/lib:/mnt/c/windows/system32:/mnt/c/windows:/mnt/c/windows/System32/Wbem:/mnt/c/windows/System32/WindowsPowerShell/v1.0/:/mnt/c/windows/System32/OpenSSH/:/mnt/c/Program Files (x86)/NVIDIA Corporation/PhysX/Common:/mnt/c/WINDOWS/system32:/mnt/c/WINDOWS:/mnt/c/WINDOWS/System32/Wbem:/mnt/c/WINDOWS/System32/WindowsPowerShell/v1.0/:/mnt/c/WINDOWS/System32/OpenSSH/:/mnt/c/Program Files/NVIDIA Corporation/NVIDIA NvDLISR:/mnt/c/Program Files/dotnet/:/mnt/c/Program Files/Git/cmd:/mnt/c/Program Files/HP/HP One Agent:/mnt/c/Users/adric/AppData/Local/Microsoft/WindowsApps:/mnt/c/Users/adric/AppData/Local/Programs/Microsoft VS Code/bin:/snap/bin:/home/atench/.local/bin:/home/atench/mettalog/metta-wam to after mettalog install
—
AdrickTench /
githubweb
- set xterm-256color and only run subset of tests
—
AdrickTench /
githubweb
- set xterm-256color in yml
—
AdrickTench /
githubweb
- print SHARED.UNITS
—
AdrickTench /
githubweb
- only run one test file
—
AdrickTench /
githubweb
- don't run tests for now
—
AdrickTench /
githubweb
- update auto-approve-action version
—
AdrickTench /
githubweb
- Run 1 test again to see output
—
GitHub /
githubweb
- to run one test you have to use --test
—
GitHub /
githubweb
- make test run timestamp available
—
AdrickTench /
githubweb
- include timestamp in junit.xml
—
AdrickTench /
githubweb
- removed some commented out code
—
Roy Ward /
githubweb
- include test time in junit.xml
—
AdrickTench /
githubweb
- track commit SHA and branch
—
AdrickTench /
githubweb
- disables editline for non-tty inputs
—
Roy Ward /
githubweb
- bash file fixes for stty issues
—
Roy Ward /
githubweb
- generate executor.json
—
AdrickTench /
githubweb
- bash file fixes for stty issues
—
Roy Ward /
githubweb
- include timestamps for test suites
—
AdrickTench /
githubweb
- Tests updated as per https://github.com/Adam-Vandervorst/metta-examples/tree/main
—
Douglas R Miles /
githubweb
- tests/performance/knowledge_graphs/graphml
—
Douglas R Miles /
githubweb
- Docker towards https://github.com/trueagi-io/metta-wam/issues/32
—
Douglas R Miles /
githubweb
- record_call_duration
—
Douglas R Miles /
githubweb
- Just for TeamSPOon Repo for 100
—
Douglas R Miles /
githubweb
- lets assume the output path contains reports/ dir
—
Douglas R Miles /
githubweb
- INSTALL detects if on github actions and might use PPA
—
Douglas R Miles /
githubweb
- Detect Github
—
Douglas R Miles /
githubweb
- detect stdio
—
Douglas R Miles /
githubweb
- py_* trampolines
—
Douglas R Miles /
githubweb
- initial starts of py-*
—
Douglas R Miles /
githubweb
- copy_outter_venv
—
Douglas R Miles /
githubweb
- ensure_loaded(metta_python).
—
Douglas R Miles /
githubweb
- Added generation of WHOLE-TESTS.
—
Douglas R Miles /
githubweb
- gen_interp_stubs
—
Douglas R Miles /
githubweb
- renamed misplaced test files
—
root /
githubweb
- pregenerated answer files to speed up comparison testing
—
root /
githubweb
- py_is_module_unsafe
—
Douglas R Miles /
githubweb
- corrected metta.answer files
—
Douglas R Miles /
githubweb
- Needs not to be absolute and not relative to CWD (since tests like all .metta files change their local CWD at least while "loading"
—
root /
githubweb
- intersection union subtraction repr parse
—
drspro /
githubweb
- updated analyse metta
—
drspro /
githubweb
- created scripts/cmd_as_test.sh so nightly isnt storing it
—
Douglas R Miles /
githubweb
- fixed import-py!
—
Douglas R Miles /
githubweb
- disable overriding notrace/1
—
Douglas R Miles /
githubweb
- skip over skipped files
—
Douglas R Miles /
githubweb
- py_is_py_dict
—
Douglas R Miles /
githubweb
- nightly ./scripts/ensure_venv
—
Douglas R Miles /
githubweb
- throw error if cant write units file
—
Douglas R Miles /
githubweb
- remove seconds string for SHARED.UNITS
—
Douglas R Miles /
githubweb
- less printing of 'Script is running inside a virtual environment'
—
Douglas R Miles /
githubweb
- runnning two tests and catting the locally ran tests
—
Douglas R Miles /
githubweb
- filter dotdirs from library
—
Douglas R Miles /
githubweb
- fixed many py_mcall -> py_ocall
—
Douglas R Miles /
githubweb
- needs to set METTALOG_OUTPUT
—
Douglas R Miles /
githubweb
- needs to set METTALOG_OUTPUT really
—
Douglas R Miles /
githubweb
- volatile(did_load_hyperon_module/0)
—
Douglas R Miles /
githubweb
- make scripts/ensure_venv less verbose and ensure its ran in the correct directory
—
Douglas R Miles /
githubweb
- hopefully less warnings toward #89
—
Douglas R Miles /
githubweb
- workspace project files
—
Douglas R Miles /
githubweb
- !(rust! (superpose (1 (+ 1 1) 3))) works
—
Douglas R Miles /
githubweb
- workarround for the warning: Found file *.metta relative to the current working directory
—
Douglas R Miles /
githubweb
- update new analyse
—
drspro /
githubweb
- get rid of copied venv that is probably using a whole different python anyways
—
Douglas R Miles /
githubweb
- === to be documented as well as ====
—
Douglas R Miles /
githubweb
- sealing work in progress
—
Mike Archbold /
githubweb
- sealing work in progress
—
Mike Archbold /
githubweb
- remove startup warning Found file *.metta relative to the current working directory.
—
Douglas R Miles /
githubweb
- only gives output when needing to create venv
—
Douglas R Miles /
githubweb
- debuggable calls to rust
—
Douglas R Miles /
githubweb
- update Analyse Muliple options
—
drspro /
githubweb
- combine_term_l
—
Douglas R Miles /
githubweb
- tests/baseline_compat/hyperon-mettalog_sanity/space_intersection_tests.metta
—
Douglas R Miles /
githubweb
- cached_py_op
—
Douglas R Miles /
githubweb
- finally will start to not need to add .metta.answeers to git repo
—
Douglas R Miles /
githubweb
- as_var
—
Douglas R Miles /
githubweb
- Higher Order pred-* set operations
—
Douglas R Miles /
githubweb
- Correction by @Adam-Vandervorst for space intersection
—
Douglas R Miles /
githubweb
- variant_by_type
—
Douglas R Miles /
githubweb
- sealing work in progress, revision for recommended changes
—
Mike Archbold /
githubweb
- remove unused files
—
Douglas R Miles /
githubweb
- removed more unused files
—
Douglas R Miles /
githubweb
- canary_docme
—
Douglas R Miles /
githubweb
- once_writeq_nl
—
Douglas R Miles /
githubweb
- tests/baseline_compat/hyperon-mettalog_sanity/time_synthesize.metta
—
Douglas R Miles /
githubweb
- nb_setval(self_space,MSpace)
—
Douglas R Miles /
githubweb
- include actual times in junit.xml
—
AdrickTench /
githubweb
- include run number in pages URL
—
AdrickTench /
githubweb
- Revert "include run number in pages URL"
—
AdrickTench /
githubweb
- remove previous junit handling
—
AdrickTench /
githubweb
- sealed updates for same_term
—
Mike Archbold /
githubweb
- try using allure-report-action approach
—
AdrickTench /
githubweb
- update action version and tokens
—
AdrickTench /
githubweb
- include environment properties
—
AdrickTench /
githubweb
- pre-doc of src/canary_docme/metta_server.pl
—
Douglas R Miles /
githubweb
- After PlDoc
—
Douglas R Miles /
githubweb
- sealing work in progress continued
—
Mike Archbold /
githubweb
- sealing work in progress continued
—
Mike Archbold /
githubweb
- zeroth cut at lsp metta server package
—
Roy Ward /
githubweb
- slickedit project files
—
Douglas R Miles /
githubweb
- supply mettalog runtime to LSP server
—
Douglas R Miles /
githubweb
- Strart of type-cast foldl-atom
—
Douglas R Miles /
githubweb
- \!(get-type 'a') --> Char
—
Douglas R Miles /
githubweb
- fixed merge conflicts from 7ffac2700d8ed4428e4c99e2fc0fa30f4646467a
—
Douglas R Miles /
githubweb
- functgor->functor
—
Douglas R Miles /
githubweb
- src/swi_analyse_metta/convert_rust_tests_to_metta_tests_prompt.txt
—
Douglas R Miles /
githubweb
- subst -> subst_same so it doesnt interfere with library versions
—
Douglas R Miles /
githubweb
- fixing an ealier commit that changed back .github/workflows/ci.yml
—
Douglas R Miles /
githubweb
- Updates and fixes for tests/baseline_compat/hyperon-mettalog_sanity
—
Douglas R Miles /
githubweb
- temp workarround for slowness of tests that look into the inherited spaces
—
Douglas R Miles /
githubweb
- Add more environment info to tests
—
Douglas R Miles /
githubweb
- upfdate to nightly script
—
Douglas R Miles /
githubweb
- update to CI tests script
—
Douglas R Miles /
githubweb
- correctly pass the TIMEOUT
—
Douglas R Miles /
githubweb
- reports/SHARED.UNITS.LOCAL.md
—
Douglas R Miles /
githubweb
- Fixed GPT-4o's misconversions
—
GitHub /
githubweb
- synth+unloaded
—
Douglas R Miles /
githubweb
- synth+loaded
—
Douglas R Miles /
githubweb
- removed executeCommandProvider from mettalog LSP
—
Roy Ward /
githubweb
- have stubs for all the LSP messages received so far
—
Roy Ward /
githubweb
- (if (== -> ->) True False) returning boolean now as well as both synthesize works as well as get-doc
—
Douglas R Miles /
githubweb
- Design Workaround for argument types Expression in
—
Douglas R Miles /
githubweb
- allow swi-prolog specific options to command line
—
Douglas R Miles /
githubweb
- add runtime docs for py-eval and py-list as well as argument types
—
Douglas R Miles /
githubweb
- docs: update tests/README.md to include new tests and their descriptions
—
Douglas R Miles /
githubweb
- docs: add new tests section with feature demonstrations in README.md
—
Douglas R Miles /
githubweb
- docs: update tests/README.md to include new tests and descriptions
—
Douglas R Miles /
githubweb
- docs: update tests/README.md to include missing .metta files
—
Douglas R Miles /
githubweb
- feat: add new tests to MeTTaLog Sanity Tests section in README.md
—
Douglas R Miles /
githubweb
- docs: update README.md to include new test files in MeTTaLog Sanity Tests section
—
Douglas R Miles /
githubweb
- docs: remove references to deprecated test files in README.md
—
Douglas R Miles /
githubweb
- chore: rearrange new tests into appropriate substructure sections in README.md
—
Douglas R Miles /
githubweb
- feat: add support for -G option for MeTTa goals and clarify -s and -l usage for scripts
—
Douglas R Miles /
githubweb
- feat: add support for -S and -L options for MeTTa scripts and clarify usage of -s and -l options
—
Douglas R Miles /
githubweb
- fix: update mettalog script to add uppercase options to METTALOG_OPTIONS instead of SWI_OPTIONS
—
Douglas R Miles /
githubweb
- feat: update help output to include --time=debug and rename --eval= to --e=
—
Douglas R Miles /
githubweb
- docs: update README.md to include detailed directory structure for tests
—
Douglas R Miles /
githubweb
- fix: update paths in README.md to reflect new directory structure
—
Douglas R Miles /
githubweb
- feat: add new directories and update README structure
—
Douglas R Miles /
githubweb
- chore: reorganize test directory structure and update README documentation
—
Douglas R Miles /
githubweb
- docs: add new examples and update README with additional file entries
—
Douglas R Miles /
githubweb
- feat: integrate tree command output into README with additional file descriptions
—
Douglas R Miles /
githubweb
- docs: update README.md to include all files from the tree output in the Flybase section
—
Douglas R Miles /
githubweb
- docs: update README.md to introduce new directories and files for more anti-regression examples
—
Douglas R Miles /
githubweb
- docs: update README to include new Flybase examples and directory structure
—
Douglas R Miles /
githubweb
- docs: update README.md to reflect new file paths and add descriptions for new files in the Flybase module
—
Douglas R Miles /
githubweb
- removed docme files that were gettign stale
—
Douglas R Miles /
githubweb
- doc changes
—
Douglas R Miles /
githubweb
- sealing function ontology and test updates
—
Mike Archbold /
githubweb
- Back to 90
—
Douglas R Miles /
githubweb
- scripts/checkout_commits.sh scripts/jenkins_install_and_run.sh
—
Douglas R Miles /
githubweb
- 190| 24| 214| 88% | I hyperon-experimental | tests/baseline_compat/hyperon-experimental_scripts |
—
Douglas R Miles /
githubweb
- 193| 21| 214| 90% | I hyperon-experimental | tests/baseline_compat/hyperon-experimental_scripts |
—
Douglas R Miles /
githubweb
- minor change to sealing function description in ontology
—
Mike Archbold /
githubweb
- first effort documenting
—
Mike Archbold /
githubweb
- or test
—
Mike Archbold /
githubweb
- Delete comment try
—
Mike Archbold /
githubweb
- tests for https://github.com/trueagi-io/metta-wam/issues/116
—
Douglas R Miles /
githubweb
- anti-regression exists for a reason: issues/metta-wam-00116/ -> anti-regression/issues/metta-wam-issue-116
—
Douglas R Miles /
githubweb
- Turn GC back on
—
Douglas R Miles /
githubweb
- documented metta_repl.pl
—
Roy Ward /
githubweb
- still working on LSP hover
—
Roy Ward /
githubweb
- test updates
—
Mike Archbold /
githubweb
- test_spo_03_5000
—
Douglas R Miles /
githubweb
- ../../baseline_compat/anti-regression/issues/metta-wam-issue-116/hald_spo_116378.metta
—
Douglas R Miles /
githubweb
- INSTALL_TYPE=jenkins_ci
—
Douglas R Miles /
githubweb
- ../../../Test-files.vpj
—
Douglas R Miles /
githubweb
- metta_persists
—
Douglas R Miles /
githubweb
- ensure_loaded(metta_parser).
—
Douglas R Miles /
githubweb
- web2.0
—
Douglas R Miles /
githubweb
- almost completed web2.0 tests
—
Douglas R Miles /
githubweb
- In progress docme files from Douglas
—
Douglas R Miles /
githubweb
- began process of depricating/removing old reader
—
Douglas R Miles /
githubweb
- Begun fix for https://github.com/trueagi-io/metta-wam/issues/115
—
Douglas R Miles /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/115
—
Douglas R Miles /
githubweb
- Actual file #115
—
Douglas R Miles /
githubweb
- Handle codelists for #115
—
Douglas R Miles /
githubweb
- ./double_file.sh
—
Douglas R Miles /
githubweb
- fix for reader error neededing @arg Position The current /3 Term of the stream. and missing pred
—
Douglas R Miles /
githubweb
- baselien AR = 100%
—
Douglas R Miles /
githubweb
- quick/ .answers
—
Douglas R Miles /
githubweb
- show progress per test
—
Douglas R Miles /
githubweb
- fixed type that coused tests to fail
—
Douglas R Miles /
githubweb
- Update to tests like intersection
—
Douglas R Miles /
githubweb
- .answers files
—
Douglas R Miles /
githubweb
- fixed to pldoc entries
—
Douglas R Miles /
githubweb
- using a lambda in report_progress_so_far/4
—
Douglas R Miles /
githubweb
- Updates for or tests
—
Douglas R Miles /
githubweb
- Update to CI to put valid links in test output
—
Douglas R Miles /
githubweb
- Probably fixes the broken repl that @royward was thiunking was the case
—
Douglas R Miles /
githubweb
- correct intersect-elements which needs a collapse on the outside
—
Douglas R Miles /
githubweb
- Runs all the baseline tets once again
—
Douglas R Miles /
githubweb
- onely one resul;t
—
Douglas R Miles /
githubweb
- movement of files
—
Douglas R Miles /
githubweb
- divided upo mined info
—
Douglas R Miles /
githubweb
- swi_flybase_convert
—
Douglas R Miles /
githubweb
- setup starting
—
Douglas R Miles /
githubweb
- vspace-metta/pyswip/flybase_induced_types.pl
—
Douglas R Miles /
githubweb
- scripts/convert_to_metta.sh
—
Douglas R Miles /
githubweb
- fixed scripts/convert_to_metta.sh
—
Douglas R Miles /
githubweb
- begining of the command debugger
—
Douglas R Miles /
githubweb
- CallsVSpace=True
—
Douglas R Miles /
githubweb
- nars/current
—
Douglas R Miles /
githubweb
- .gitignore
—
Douglas R Miles /
githubweb
- tests from ~@abelikov
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/metta_interp.pl
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/metta_interp.pl 2
—
Douglas R Miles /
githubweb
- fast_column
—
Douglas R Miles /
githubweb
- show-metta-def
—
Douglas R Miles /
githubweb
- write_src
—
Douglas R Miles /
githubweb
- all 14 on examples/compat/hyperon-experimental/python/tests/scripts/d1_gadt.metta
—
Douglas R Miles /
githubweb
- metta_types
—
Douglas R Miles /
githubweb
- metta_types2
—
Douglas R Miles /
githubweb
- metta_types3
—
Douglas R Miles /
githubweb
- metta_types4
—
Douglas R Miles /
githubweb
- 88%
—
Douglas R Miles /
githubweb
- maybe 88%
—
Douglas R Miles /
githubweb
- .bash_history
—
Douglas R Miles /
githubweb
- pyswip/flybase_learn.pl
—
Douglas R Miles /
githubweb
- more debugging
—
Douglas R Miles /
githubweb
- metta_impl_data
—
Douglas R Miles /
githubweb
- v_1
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/metta_eval.pl
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/metta
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/flybase_learn.pl
—
Douglas R Miles /
githubweb
- metta_vspace/pyswip/metta_testing.pl
—
Douglas R Miles /
githubweb
- reports/cuRRent
—
Douglas R Miles /
githubweb
- ./MeTTa --v_77
—
Douglas R Miles /
githubweb
- 187| 24| 88%| reports/cuRRent/interp_00/hyperon-experimental_scripts
—
Douglas R Miles /
githubweb
- fuller readme
—
Douglas R Miles /
githubweb
- metta_data.
—
Douglas R Miles /
githubweb
- metta_data2
—
Douglas R Miles /
githubweb
- metta_data3
—
Douglas R Miles /
githubweb
- metta_data4
—
Douglas R Miles /
githubweb
- reports
—
Douglas R Miles /
githubweb
- 222
—
Douglas R Miles /
githubweb
- units2
—
Douglas R Miles /
githubweb
- reports/
—
Douglas R Miles /
githubweb
- Fixed flybase snaitry tests
—
Douglas R Miles /
githubweb
- too much --help
—
Douglas R Miles /
githubweb
- still baseline
—
Douglas R Miles /
githubweb
- still baseline 2
—
Douglas R Miles /
githubweb
- numme
—
Douglas R Miles /
githubweb
- det_results
—
Douglas R Miles /
githubweb
- better concurancy exmaples
—
Douglas R Miles /
githubweb
- implemented hyperpose as: eval_40(Eq,RetType,Depth,Self,['hyperpose',ArgL1],ResL):- \!, concurrent_maplist(eval(Eq,RetType,Depth,Self),ArgL1,ResL).
—
Douglas R Miles /
githubweb
- exceeds baseline sliughtly
—
Douglas R Miles /
githubweb
- from_vspace/
—
Douglas R Miles /
githubweb
- Instatter for VSPAce
—
Douglas R Miles /
githubweb
- Queries for flybase testing
—
Douglas R Miles /
githubweb
- try this remotely
—
Douglas R Miles /
githubweb
- prev_chains
—
Douglas R Miles /
githubweb
- /metta_eval.pl.save
—
Douglas R Miles /
githubweb
- 4 bioatomspace
—
Douglas R Miles /
githubweb
- for bio-atomspace
—
Douglas R Miles /
githubweb
- flybase-loader-size-estimates.metta
—
Douglas R Miles /
githubweb
- new some differnt backup versions in GIT
—
Douglas R Miles /
githubweb
- epxlains how the script mods their system
—
Douglas R Miles /
githubweb
- grab package from git now
—
Douglas R Miles /
githubweb
- loaded rest of files
—
Douglas R Miles /
githubweb
- loaded rest of files
—
Douglas R Miles /
githubweb
- loaded rest of files
—
Douglas R Miles /
githubweb
- /metta_convert
—
Douglas R Miles /
githubweb
- to other
—
Douglas R Miles /
githubweb
- unzip_or_redownload.sh
—
Douglas R Miles /
githubweb
- examples/features/polymorphic-types/
—
Douglas R Miles /
githubweb
- cvorrectly evals or not the arguments
—
Douglas R Miles /
githubweb
- fixed the extra retval
—
Douglas R Miles /
githubweb
- pyswip_lng
—
Douglas R Miles /
githubweb
- 12-15-want
—
Douglas R Miles /
githubweb
- flybase-loader-size-estimates.metta
—
Douglas R Miles /
githubweb
- fixed bad merge
—
Douglas R Miles /
githubweb
- restored accidental deleteion
—
Douglas R Miles /
githubweb
- relative-arithmetic.metta
—
Douglas R Miles /
githubweb
- added testcase
—
Douglas R Miles /
githubweb
- reports/features/bidirectional_computation/relative-arithmetic.metta.html
—
Douglas R Miles /
githubweb
- hyperpose
—
Douglas R Miles /
githubweb
- fixed let
—
Douglas R Miles /
githubweb
- INSTALL.sh
—
Douglas R Miles /
githubweb
- huge just in unit test results
—
Douglas R Miles /
githubweb
- omg.. that mispelling has caused a problem :)
—
GitHub /
githubweb
- up by 100
—
Douglas R Miles /
githubweb
- register_remote_code
—
Douglas R Miles /
githubweb
- debugging/debug_some.mettarc
—
Douglas R Miles /
githubweb
- examples/features/distributed-processing/create-server.metta
—
Douglas R Miles /
githubweb
- ssl error should not be deadly
—
Douglas R Miles /
githubweb
- is_testing
—
Douglas R Miles /
githubweb
- define current_self/1 earlier
—
Douglas R Miles /
githubweb
- by default use the fast reader
—
Douglas R Miles /
githubweb
- implemented (empty)
—
Douglas R Miles /
githubweb
- Freeze
—
Douglas R Miles /
githubweb
- multifile(asserted_metta/4)
—
Douglas R Miles /
githubweb
- respect string_to_syms
—
Douglas R Miles /
githubweb
- data/ftp.flybase.org/releases/current/precomputed_files/md5sum.txt
—
Douglas R Miles /
githubweb
- added max-time
—
Douglas R Miles /
githubweb
- Add Dockerfile to build docker image with MeTTaLog in it
—
Nil Geisweiller /
githubweb
- Add section about docker in the README.md
—
Nil Geisweiller /
githubweb
- mettalog is runfromdocker scrip
—
Douglas R Miles /
githubweb
- local development might need these changes without commiting
—
Douglas R Miles /
githubweb
- fbugio
—
Douglas R Miles /
githubweb
- inchtowards revert
—
Douglas R Miles /
githubweb
- inchtowards revert 2
—
Douglas R Miles /
githubweb
- inchtowards revert 3
—
Douglas R Miles /
githubweb
- inchtowards revert 4
—
Douglas R Miles /
githubweb
- implemented
—
Douglas R Miles /
githubweb
- send_keys_debug.sh
—
Douglas R Miles /
githubweb
- update to how tests/debug runs
—
Douglas R Miles /
githubweb
- make sure that ctrl-c works
—
Douglas R Miles /
githubweb
- debug_this_script
—
Douglas R Miles /
githubweb
- update to allow more compiler use and 2-way translation
—
Douglas R Miles /
githubweb
- set flag argv []
—
Douglas R Miles /
githubweb
- fixed the examples/python_compat/janus/ tests
—
Douglas R Miles /
githubweb
- usign a python function registry
—
Douglas R Miles /
githubweb
- MeTTa --compile=full examples/baseline_compat/hyperon-mettalog_sanity/fibo_hang.metta runs !(fibo 80) in 2.24 milliseconds
—
Douglas R Miles /
githubweb
- compile much closer tro rust output.. commitin since it fix other bugs
—
Douglas R Miles /
githubweb
- adding in benchmarks
—
Douglas R Miles /
githubweb
- rebased mettalog
—
Douglas R Miles /
githubweb
- scripts/flybase_setup.sh
—
Douglas R Miles /
githubweb
- almost like the real thing
—
Douglas R Miles /
githubweb
- dont print executing wtice to log
—
Douglas R Miles /
githubweb
- time mettalog examples/performance/comparisons/fibo_hang_900.metta
—
Douglas R Miles /
githubweb
- optimize_conjuncts
—
Douglas R Miles /
githubweb
- optimize_head_preconds_into_body1
—
Douglas R Miles /
githubweb
- time mettalog examples/performance/comparisons/fibo_hang_arg1.metta --args 111111 ;; in 7 seconds
—
Douglas R Miles /
githubweb
- start of dmiles branch
—
Douglas R Miles /
githubweb
- git checkout bb49b80c423ea93a9ccfd259d593d35690a8e0ef metta_vspace/pyswip/ -f
—
Douglas R Miles /
githubweb
- no longer need swi-prologs pack system since sometimes its down
—
Douglas R Miles /
githubweb
- testing docker so need this commited
—
Douglas R Miles /
githubweb
- testing docker so need this commited 23
—
Douglas R Miles /
githubweb
- testing docker so need this commited 234
—
Douglas R Miles /
githubweb
- Needing to add in packages so can be maintained with instlalation site
—
Douglas R Miles /
githubweb
- Dockerfile
—
Douglas R Miles /
githubweb
- #2 this is a bit of extra that dint make it in
—
Douglas R Miles /
githubweb
- ENV PATH="${PATH}:${MATTALOG_DIR}"
—
Douglas R Miles /
githubweb
- really got #2 fixed maybe
—
Douglas R Miles /
githubweb
- fixed large file loading
—
Douglas R Miles /
githubweb
- update for metta-examples
—
Douglas R Miles /
githubweb
- Merged README.md
—
Douglas R Miles /
githubweb
- no_panda.py
—
Douglas R Miles /
githubweb
- update the readme
—
Douglas R Miles /
githubweb
- update the readme 2
—
Douglas R Miles /
githubweb
- update the readme 3
—
Douglas R Miles /
githubweb
- simplified readme
—
Douglas R Miles /
githubweb
- less simplified readme
—
Douglas R Miles /
githubweb
- pre-canary pre-development
—
Douglas R Miles /
githubweb
- canary
—
Douglas R Miles /
githubweb
- development
—
Douglas R Miles /
githubweb
- main
—
Douglas R Miles /
githubweb
- mettalog
—
Douglas R Miles /
githubweb
- README.md formating
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- path updates
—
Douglas R Miles /
githubweb
- nullify_output_really
—
Douglas R Miles /
githubweb
- deleted_to_re_add
—
Douglas R Miles /
githubweb
- README.md
—
Douglas R Miles /
githubweb
- restore building of hyerponpy
—
Douglas R Miles /
githubweb
- towards combined.metta
—
Douglas R Miles /
githubweb
- towards file-output.metta
—
Douglas R Miles /
githubweb
- unset LD_PRELOAD
—
Douglas R Miles /
githubweb
- towards combined
—
Douglas R Miles /
githubweb
- with_output_to_stream
—
Douglas R Miles /
githubweb
- begun canary merge
—
Douglas R Miles /
githubweb
- fix for curried chain.. but back to the old IO
—
Douglas R Miles /
githubweb
- interp restored.. now eval is remaining
—
Douglas R Miles /
githubweb
- interp is now restored but eval is remaining
—
Douglas R Miles /
githubweb
- fixes for curried forward chainer
—
Douglas R Miles /
githubweb
- added a quick docs/;OVERVIEW.md
—
Douglas R Miles /
githubweb
- quick blurb about the methodology
—
Douglas R Miles /
githubweb
- fixed example
—
Douglas R Miles /
githubweb
- fixed the quick blurb
—
Douglas R Miles /
githubweb
- fixed the quick blurb 2
—
Douglas R Miles /
githubweb
- writing check in documentaiton the a** doith cash
—
Douglas R Miles /
githubweb
- clearer english?
—
Douglas R Miles /
githubweb
- more cowbell
—
Douglas R Miles /
githubweb
- reordered explanation
—
Douglas R Miles /
githubweb
- one more try
—
Douglas R Miles /
githubweb
- two more more tries
—
Douglas R Miles /
githubweb
- answer files
—
Douglas R Miles /
githubweb
- Rename from hyperon-wam to metta-log
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- apt -y
—
Douglas R Miles /
githubweb
- njo debug
—
Douglas R Miles /
githubweb
- no more debug
—
Douglas R Miles /
githubweb
- updates to fix the spam debug that made tmpMatch.metta hard for debug .. next commit hopefully fixes the failure
—
Douglas R Miles /
githubweb
- MeTTaLog runs on Windows
—
Douglas R Miles /
githubweb
- update from hyperon-experimental
—
Douglas R Miles /
githubweb
- more and more tests
—
Douglas R Miles /
githubweb
- supprt for catch/throw and function/return , update on how conversion files are found
—
Douglas R Miles /
githubweb
- corrected trace\! .. updated translator
—
Douglas R Miles /
githubweb
- returning %Undefined% for non-typed symbols
—
Douglas R Miles /
githubweb
- alighn ',' with real metta
—
Douglas R Miles /
githubweb
- alighn ',' with real metta this time
—
Douglas R Miles /
githubweb
- is_tollerant
—
Douglas R Miles /
githubweb
- tests/features/metta_convert
—
Douglas R Miles /
githubweb
- reset_eval_num
—
Douglas R Miles /
githubweb
- update of scripts including mettalog
—
Douglas R Miles /
githubweb
- Update the test result links
—
Douglas R Miles /
githubweb
- Stricter verison of ideally to avoid weirdness liek in MeTTa-NARS
—
Douglas R Miles /
githubweb
- update of canary version
—
Douglas R Miles /
githubweb
- version-config
—
Douglas R Miles /
githubweb
- fix some io issues where perious optut ios being created also one unit test fix a mispelling
—
Douglas R Miles /
githubweb
- better printing of empty values
—
Douglas R Miles /
githubweb
- allow eval if type decls
—
Douglas R Miles /
githubweb
- decide to locate the shared test results
—
Douglas R Miles /
githubweb
- src/version-config
—
Douglas R Miles /
githubweb
- update startup scripts
—
Douglas R Miles /
githubweb
- set cananry for devleopment
—
Douglas R Miles /
githubweb
- set main for stability
—
Douglas R Miles /
githubweb
- set update main now that is is stable
—
Douglas R Miles /
githubweb
- Big fixes to compiler .. also a rename of non atom api top symbol api
—
Douglas R Miles /
githubweb
- rename of non atom api top symbol api
—
Douglas R Miles /
githubweb
- test_in_metta allows interuptions now
—
Douglas R Miles /
githubweb
- Internal ontology file
—
Douglas R Miles /
githubweb
- update long development code
—
Douglas R Miles /
githubweb
- updates for baseline tests
—
Douglas R Miles /
githubweb
- Added by Visual Studio Code
—
Douglas R Miles /
githubweb
- compiler at 38% on mettamorph tests
—
Douglas R Miles /
githubweb
- tests/compiler/nars/main-branch/ are the canonical tests for the compiler
—
Douglas R Miles /
githubweb
- bio-atomspace updates
—
Douglas R Miles /
githubweb
- removed singleton and dicontiguous warning
—
Douglas R Miles /
githubweb
- allow compiler to push limits of depth and even eval to nonvar
—
Douglas R Miles /
githubweb
- will compile all functions that have their types declared - since some break in the compiler has bugs, you may declare these (: MyFunction Interpeted) to disable compilation
—
Douglas R Miles /
githubweb
- load asccsii
—
Douglas R Miles /
githubweb
- using $rettag for function return
—
Douglas R Miles /
githubweb
- src/canary/metta_loader.pl
—
Douglas R Miles /
githubweb
- fixes for @hedra s use of curried backchainer
—
Douglas R Miles /
githubweb
- loader updates for @abdu
—
Douglas R Miles /
githubweb
- removed singleton warnings
—
Douglas R Miles /
githubweb
- add 2 levels of indexing via s2t
—
Douglas R Miles /
githubweb
- one last fix for metta reader to more gracefully know when somehntingt is a comment
—
Douglas R Miles /
githubweb
- update space size calculations, slighlty deeper index for type declarations
—
Douglas R Miles /
githubweb
- src/main
—
Douglas R Miles /
githubweb
- Main is better than Canary Again
—
Douglas R Miles /
githubweb
- Main=Canary
—
Douglas R Miles /
githubweb
- no regression yet .. incremetnally working our way forward
—
Douglas R Miles /
githubweb
- base
—
Douglas R Miles /
githubweb
- updates for python
—
Douglas R Miles /
githubweb
- back to quiet
—
Douglas R Miles /
githubweb
- dir where they should be
—
Douglas R Miles /
githubweb
- py_argv
—
Douglas R Miles /
githubweb
- into_arg_code
—
Douglas R Miles /
githubweb
- canary_3_py
—
Douglas R Miles /
githubweb
- plz merge base into canary
—
Douglas R Miles /
githubweb
- s/asserted_metta_atom/metta_atom_asserted/g
—
Douglas R Miles /
githubweb
- interp
—
Douglas R Miles /
githubweb
- interp2
—
Douglas R Miles /
githubweb
- interp3
—
Douglas R Miles /
githubweb
- interp4
—
Douglas R Miles /
githubweb
- getting farther on MeTTa-NARS
—
Douglas R Miles /
githubweb
- src/canary
—
Douglas R Miles /
githubweb
- added test scripts to produce html report
—
Douglas R Miles /
githubweb
- compiler works on backchainer!
—
Douglas R Miles /
githubweb
- extra target
—
Douglas R Miles /
githubweb
- sync loader
—
Douglas R Miles /
githubweb
- updates to tests/baseline_compat/
—
Douglas R Miles /
githubweb
- main is still good
—
Douglas R Miles /
githubweb
- main uses new loader/compiler
—
Douglas R Miles /
githubweb
- main traces defns
—
Douglas R Miles /
githubweb
- pass MeTTaNARS 2/4!
—
Douglas R Miles /
githubweb
- canary
—
Douglas R Miles /
githubweb
- Best Yet Main
—
Douglas R Miles /
githubweb
- 4-03-fav
—
Douglas R Miles /
githubweb
- happy cananry
—
Douglas R Miles /
githubweb
- 97%git status .git status . on interperter tests
—
Douglas R Miles /
githubweb
- pre-answers
—
Douglas R Miles /
githubweb
- Fixed testing while compiling
—
Douglas R Miles /
githubweb
- Fixed findall_ne in optimize_body
—
Douglas R Miles /
githubweb
- 06-canary-lng-both
—
Douglas R Miles /
githubweb
- ../tests/nars_w_comp/
—
Douglas R Miles /
githubweb
- symc of compilers
—
Douglas R Miles /
githubweb
- uses internal fwd chainer to maintain compiler states
—
Douglas R Miles /
githubweb
- dont add extra default rel history items
—
Douglas R Miles /
githubweb
- bc_comp
—
Douglas R Miles /
githubweb
- mettalog --log bc_comp.metta fixed \!
—
Douglas R Miles /
githubweb
- compiler before optimizer is switched on
—
Douglas R Miles /
githubweb
- Reactive Compiler (Miles/Finnin) needed to be spread into multiple files ad well as some fixes tpo make sure the compiler recompiles functions upon user request.. also fixed bug where waited on the body
—
Douglas R Miles /
githubweb
- eval_for1
—
Douglas R Miles /
githubweb
- metta_compiler_inlining.pl
—
Douglas R Miles /
githubweb
- ../nars_w_comp/nars/main-branch/LIB_NARS_COMP_1.metta
—
Douglas R Miles /
githubweb
- hyperon-miner/utils/MinerUtils~OLD.metta
—
Douglas R Miles /
githubweb
- packs update
—
Douglas R Miles /
githubweb
- update baseline
—
Douglas R Miles /
githubweb
- library/genome/chado_xml_loader
—
Douglas R Miles /
githubweb
- canary
—
Douglas R Miles /
githubweb
- 431| 94% | tests
—
Douglas R Miles /
githubweb
- (do .. ) can return Empty
—
Douglas R Miles /
githubweb
- back track on empty
—
Douglas R Miles /
githubweb
- back to 94%
—
Douglas R Miles /
githubweb
- more complete
—
Douglas R Miles /
githubweb
- removed metta(e): no matching debug topic (yet)
—
Douglas R Miles /
githubweb
- undisabled debugging
—
Douglas R Miles /
githubweb
- really back to 94% - next is BadType fix
—
Douglas R Miles /
githubweb
- eval -> eval_args
—
Douglas R Miles /
githubweb
- main
—
Douglas R Miles /
githubweb
- canary
—
Douglas R Miles /
githubweb
- inf
—
Douglas R Miles /
githubweb
- New systems may not have cmake libpython3-dev
—
Douglas R Miles /
githubweb
- mettalog NARS tests
—
Douglas R Miles /
githubweb
- xlisting_update
—
Douglas R Miles /
githubweb
- assumed no regressions and now tests can run from windows
—
Douglas R Miles /
githubweb
- readme update
—
Douglas R Miles /
githubweb
- predicate types
—
Douglas R Miles /
githubweb
- MeTTa -> mettalog
—
Douglas R Miles /
githubweb
- compiler_specific/transpiler
—
Douglas R Miles /
githubweb
- canary
—
Douglas R Miles /
githubweb
- t(f, _x, _retval):- _retval #= 2 * _x
—
Douglas R Miles /
githubweb
- pip doesnt need sudo
—
Douglas R Miles /
githubweb
- add_py_dirs_to_pythonpath
—
Douglas R Miles /
githubweb
- scripts/ensure_env
—
Douglas R Miles /
githubweb
- scripts/ensure_venv
—
Douglas R Miles /
githubweb
- py_is_module
—
Douglas R Miles /
githubweb
- update of install section of readme
—
Douglas R Miles /
githubweb
- stdlib_minimal_test
—
Douglas R Miles /
githubweb
- TF2Res
—
Douglas R Miles /
githubweb
- Arity 3 version of get-type is now implemented
—
Douglas R Miles /
githubweb
- eval_20(_Eq,_RetType,_Depth,_Self,['decons-atom',[H|T]],[H,T])
—
Douglas R Miles /
githubweb
- superpose/collapse-bind
—
Douglas R Miles /
githubweb
- @doc some-func
—
Douglas R Miles /
githubweb
- pass the $space argument
—
Douglas R Miles /
githubweb
- fixed link to GitHub Issues Page
—
Douglas R Miles /
githubweb
- string to and from char conversion (and tests)
—
Roy Ward /
githubweb
- removed cuts, more tests
—
Roy Ward /
githubweb
- mostly working format-args
—
Roy Ward /
githubweb
- Corrected options to return MeTTa booleans instead of Prolog booleans
—
Douglas R Miles /
githubweb
- Commented metta_debug.pl file
—
Douglas R Miles /
githubweb
- format-args nearly finished
—
Roy Ward /
githubweb
- deal with escaped {{ }}
—
Roy Ward /
githubweb
- pre stdlib
—
Douglas R Miles /
githubweb
- checkbox display
—
Douglas R Miles /
githubweb
- initial JUnit.xml generation
—
Douglas R Miles /
githubweb
- pip install junit2html into README.md
—
Douglas R Miles /
githubweb
- add a test description JUnit.xml generation
—
Douglas R Miles /
githubweb
- Fake scripts/run_commit_tests.sh
—
Douglas R Miles /
githubweb
- Fixed chmod run_commit_tests.sh
—
Douglas R Miles /
githubweb
- reporter: 'junitxml'
—
Douglas R Miles /
githubweb
- reporter: 'java-junit'
—
Douglas R Miles /
githubweb
- junit-matrix-report.html --report-matrix
—
Douglas R Miles /
githubweb
- scripts/run_commit_tests.sh
—
Douglas R Miles /
githubweb
- resorts/SHARED.UNITS.PREV.md
—
Douglas R Miles /
githubweb
- --report-matrix junit-matrix-report.html
—
Douglas R Miles /
githubweb
- junit-matrix-report.html
—
Douglas R Miles /
githubweb
- Continue even if step fails
—
Douglas R Miles /
githubweb
- fail-on-error: false # Do not fail the job if tests fail (yet)
—
Douglas R Miles /
githubweb
- JUnit test comparison report is also available.
—
Douglas R Miles /
githubweb
- Trigger CI
—
Douglas R Miles /
githubweb
- Diff JUnit Test Results
—
Douglas R Miles /
githubweb
- Standard, matrix, and comparison HTML reports are available as artifacts.
—
Douglas R Miles /
githubweb
- Standard, matrix, and comparison HTML reports are available as artifacts.
—
Douglas R Miles /
githubweb
- JUnit reports, Allure report, and test comparison reports are available as artifacts.
—
Douglas R Miles /
githubweb
- Add permissions for contents and checks to avoid integration errors
—
Douglas R Miles /
githubweb
- Add permissions for contents and checks to avoid integration errors
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- fix to format-args with bad args
—
Roy Ward /
githubweb
- cleaned up code section header, error checking for format-args
—
Roy Ward /
githubweb
- Added comments to STDLIB
—
Douglas R Miles /
githubweb
- Added ORIGIN comments to STDLIB
—
Douglas R Miles /
githubweb
- Enhance CI workflow to handle permissions for pull requests effectively
—
Douglas R Miles /
githubweb
- Updated CI workflow to handle permissions for PRs with full write access
—
Douglas R Miles /
githubweb
- Updated failure messages
—
Douglas R Miles /
githubweb
- Updated CI workflow to conditionally execute test reporting on push events only
—
Douglas R Miles /
githubweb
- FIX: https://github.com/trueagi-io/metta-wam/issues/30 Allow exiting of interp on Ctrl-D. To get to the prolog prompt you can still type
—
Douglas R Miles /
githubweb
- Update ci.yml
—
GitHub /
githubweb
- Update ci.yml
—
GitHub /
githubweb
- Update ci.yml
—
GitHub /
githubweb
- separated unify and if-unify
—
Douglas R Miles /
githubweb
- wq!
—
Douglas R Miles /
githubweb
- get-type-state (commented out)
—
Roy Ward /
githubweb
- Update deprecated action versions
—
AdrickTench /
githubweb
- Publish Allure Report to GitHub Pages
—
AdrickTench /
githubweb
- internal op was the same things as MeTTa https://github.com/trueagi-io/metta-wam/issues/53
—
Douglas R Miles /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/86
—
Douglas R Miles /
githubweb
- recurse docs/*.* wiki/*.*
—
Douglas R Miles /
githubweb
- Towards Create and Integrate stdlib_mettalog.metta and/or corelib.metta https://github.com/trueagi-io/metta-wam/issues/72
—
Douglas R Miles /
githubweb
- docs/chatgpt_knowledge_doc.txt
—
Douglas R Miles /
githubweb
- updates to chatgpt_knowledge_doc
—
Douglas R Miles /
githubweb
- include more test results
—
Douglas R Miles /
githubweb
- add xor processing
—
Mike Archbold /
githubweb
- add xor processing
—
Mike Archbold /
githubweb
- add xor processing
—
Mike Archbold /
githubweb
- Solved part of https://github.com/trueagi-io/metta-wam/issues/92
—
Douglas R Miles /
githubweb
- Allow eval_## to happen in more places
—
Douglas R Miles /
githubweb
- subtraction for https://github.com/trueagi-io/metta-wam/issues/60
—
Douglas R Miles /
githubweb
- subtraction for https://github.com/trueagi-io/metta-wam/issues/60
—
Douglas R Miles /
githubweb
- Allow eval_## to happen in more places 2
—
Douglas R Miles /
githubweb
- canary-90
—
Douglas R Miles /
githubweb
- canary-90 metta_eq_def
—
Douglas R Miles /
githubweb
- canary-90 use_corelib_file
—
Douglas R Miles /
githubweb
- fixed prompt and history issues
—
Roy Ward /
githubweb
- some install/doc fixes
—
Roy Ward /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- required_version="9.3.8"
—
Douglas R Miles /
githubweb
- change back to starting directory
—
Douglas R Miles /
githubweb
- update 2 repr parse intersect
—
drspro /
githubweb
- useable src/canary/*.metta
—
Douglas R Miles /
githubweb
- change how metta finds its files
—
Douglas R Miles /
githubweb
- change how metta finds its files
—
Douglas R Miles /
githubweb
- graphml loader
—
Douglas R Miles /
githubweb
- really using stdlib_mettalog
—
Douglas R Miles /
githubweb
- start of graphml loader
—
Douglas R Miles /
githubweb
- have ci.yml & run_commit_tests.sh install mettalog and run tests
—
AdrickTench /
githubweb
- separate install and run tests step, show test output (for now)
—
AdrickTench /
githubweb
- try running tests with venv
—
AdrickTench /
githubweb
- store /home/atench/.vscode-server/bin/fee1edb8d6d72a0ddff41e5f71a671c23ed924b9/bin/remote-cli:/home/atench/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/usr/lib/wsl/lib:/mnt/c/windows/system32:/mnt/c/windows:/mnt/c/windows/System32/Wbem:/mnt/c/windows/System32/WindowsPowerShell/v1.0/:/mnt/c/windows/System32/OpenSSH/:/mnt/c/Program Files (x86)/NVIDIA Corporation/PhysX/Common:/mnt/c/WINDOWS/system32:/mnt/c/WINDOWS:/mnt/c/WINDOWS/System32/Wbem:/mnt/c/WINDOWS/System32/WindowsPowerShell/v1.0/:/mnt/c/WINDOWS/System32/OpenSSH/:/mnt/c/Program Files/NVIDIA Corporation/NVIDIA NvDLISR:/mnt/c/Program Files/dotnet/:/mnt/c/Program Files/Git/cmd:/mnt/c/Program Files/HP/HP One Agent:/mnt/c/Users/adric/AppData/Local/Microsoft/WindowsApps:/mnt/c/Users/adric/AppData/Local/Programs/Microsoft VS Code/bin:/snap/bin:/home/atench/.local/bin:/home/atench/mettalog/metta-wam to after mettalog install
—
AdrickTench /
githubweb
- set xterm-256color and only run subset of tests
—
AdrickTench /
githubweb
- set xterm-256color in yml
—
AdrickTench /
githubweb
- print SHARED.UNITS
—
AdrickTench /
githubweb
- only run one test file
—
AdrickTench /
githubweb
- don't run tests for now
—
AdrickTench /
githubweb
- update auto-approve-action version
—
AdrickTench /
githubweb
- Run 1 test again to see output
—
GitHub /
githubweb
- to run one test you have to use --test
—
GitHub /
githubweb
- make test run timestamp available
—
AdrickTench /
githubweb
- include timestamp in junit.xml
—
AdrickTench /
githubweb
- removed some commented out code
—
Roy Ward /
githubweb
- include test time in junit.xml
—
AdrickTench /
githubweb
- track commit SHA and branch
—
AdrickTench /
githubweb
- disables editline for non-tty inputs
—
Roy Ward /
githubweb
- bash file fixes for stty issues
—
Roy Ward /
githubweb
- generate executor.json
—
AdrickTench /
githubweb
- bash file fixes for stty issues
—
Roy Ward /
githubweb
- include timestamps for test suites
—
AdrickTench /
githubweb
- tests/performance/knowledge_graphs/graphml
—
Douglas R Miles /
githubweb
- Docker towards https://github.com/trueagi-io/metta-wam/issues/32
—
Douglas R Miles /
githubweb
- record_call_duration
—
Douglas R Miles /
githubweb
- Just for TeamSPOon Repo for 100
—
Douglas R Miles /
githubweb
- lets assume the output path contains reports/ dir
—
Douglas R Miles /
githubweb
- INSTALL detects if on github actions and might use PPA
—
Douglas R Miles /
githubweb
- Detect Github
—
Douglas R Miles /
githubweb
- detect stdio
—
Douglas R Miles /
githubweb
- py_* trampolines
—
Douglas R Miles /
githubweb
- initial starts of py-*
—
Douglas R Miles /
githubweb
- copy_outter_venv
—
Douglas R Miles /
githubweb
- ensure_loaded(metta_python).
—
Douglas R Miles /
githubweb
- Added generation of WHOLE-TESTS.
—
Douglas R Miles /
githubweb
- gen_interp_stubs
—
Douglas R Miles /
githubweb
- renamed misplaced test files
—
root /
githubweb
- py_is_module_unsafe
—
Douglas R Miles /
githubweb
- Needs not to be absolute and not relative to CWD (since tests like all .metta files change their local CWD at least while "loading"
—
root /
githubweb
- intersection union subtraction repr parse
—
drspro /
githubweb
- created scripts/cmd_as_test.sh so nightly isnt storing it
—
Douglas R Miles /
githubweb
- fixed import-py!
—
Douglas R Miles /
githubweb
- disable overriding notrace/1
—
Douglas R Miles /
githubweb
- skip over skipped files
—
Douglas R Miles /
githubweb
- py_is_py_dict
—
Douglas R Miles /
githubweb
- nightly ./scripts/ensure_venv
—
Douglas R Miles /
githubweb
- throw error if cant write units file
—
Douglas R Miles /
githubweb
- remove seconds string for SHARED.UNITS
—
Douglas R Miles /
githubweb
- less printing of 'Script is running inside a virtual environment'
—
Douglas R Miles /
githubweb
- runnning two tests and catting the locally ran tests
—
Douglas R Miles /
githubweb
- filter dotdirs from library
—
Douglas R Miles /
githubweb
- fixed many py_mcall -> py_ocall
—
Douglas R Miles /
githubweb
- needs to set METTALOG_OUTPUT
—
Douglas R Miles /
githubweb
- needs to set METTALOG_OUTPUT really
—
Douglas R Miles /
githubweb
- volatile(did_load_hyperon_module/0)
—
Douglas R Miles /
githubweb
- make scripts/ensure_venv less verbose and ensure its ran in the correct directory
—
Douglas R Miles /
githubweb
- hopefully less warnings toward #89
—
Douglas R Miles /
githubweb
- workspace project files
—
Douglas R Miles /
githubweb
- !(rust! (superpose (1 (+ 1 1) 3))) works
—
Douglas R Miles /
githubweb
- workarround for the warning: Found file *.metta relative to the current working directory
—
Douglas R Miles /
githubweb
- get rid of copied venv that is probably using a whole different python anyways
—
Douglas R Miles /
githubweb
- === to be documented as well as ====
—
Douglas R Miles /
githubweb
- sealing work in progress
—
Mike Archbold /
githubweb
- sealing work in progress
—
Mike Archbold /
githubweb
- remove startup warning Found file *.metta relative to the current working directory.
—
Douglas R Miles /
githubweb
- only gives output when needing to create venv
—
Douglas R Miles /
githubweb
- debuggable calls to rust
—
Douglas R Miles /
githubweb
- combine_term_l
—
Douglas R Miles /
githubweb
- cached_py_op
—
Douglas R Miles /
githubweb
- as_var
—
Douglas R Miles /
githubweb
- Higher Order pred-* set operations
—
Douglas R Miles /
githubweb
- variant_by_type
—
Douglas R Miles /
githubweb
- sealing work in progress, revision for recommended changes
—
Mike Archbold /
githubweb
- remove unused files
—
Douglas R Miles /
githubweb
- removed more unused files
—
Douglas R Miles /
githubweb
- canary_docme
—
Douglas R Miles /
githubweb
- once_writeq_nl
—
Douglas R Miles /
githubweb
- nb_setval(self_space,MSpace)
—
Douglas R Miles /
githubweb
- include actual times in junit.xml
—
AdrickTench /
githubweb
- include run number in pages URL
—
AdrickTench /
githubweb
- Revert "include run number in pages URL"
—
AdrickTench /
githubweb
- remove previous junit handling
—
AdrickTench /
githubweb
- sealed updates for same_term
—
Mike Archbold /
githubweb
- try using allure-report-action approach
—
AdrickTench /
githubweb
- update action version and tokens
—
AdrickTench /
githubweb
- include environment properties
—
AdrickTench /
githubweb
- pre-doc of src/canary_docme/metta_server.pl
—
Douglas R Miles /
githubweb
- After PlDoc
—
Douglas R Miles /
githubweb
- try to separate nightly and ci tests
—
AdrickTench /
githubweb
- debugging subfolder param
—
AdrickTench /
githubweb
- debugging subfolder param
—
AdrickTench /
githubweb
- try different approach for setting subfolder
—
AdrickTench /
githubweb
- sealing work in progress continued
—
Mike Archbold /
githubweb
- sealing work in progress continued
—
Mike Archbold /
githubweb
- zeroth cut at lsp metta server package
—
Roy Ward /
githubweb
- slickedit project files
—
Douglas R Miles /
githubweb
- supply mettalog runtime to LSP server
—
Douglas R Miles /
githubweb
- Strart of type-cast foldl-atom
—
Douglas R Miles /
githubweb
- \!(get-type 'a') --> Char
—
Douglas R Miles /
githubweb
- fixed merge conflicts from 78e677b550b61baff07cfce190782aa95c607ea6
—
Douglas R Miles /
githubweb
- functgor->functor
—
Douglas R Miles /
githubweb
- subst -> subst_same so it doesnt interfere with library versions
—
Douglas R Miles /
githubweb
- fixing an ealier commit that changed back .github/workflows/ci.yml
—
Douglas R Miles /
githubweb
- Updates and fixes for tests/baseline_compat/hyperon-mettalog_sanity
—
Douglas R Miles /
githubweb
- temp workarround for slowness of tests that look into the inherited spaces
—
Douglas R Miles /
githubweb
- Add more environment info to tests
—
Douglas R Miles /
githubweb
- upfdate to nightly script
—
Douglas R Miles /
githubweb
- update to CI tests script
—
Douglas R Miles /
githubweb
- correctly pass the TIMEOUT
—
Douglas R Miles /
githubweb
- synth+unloaded
—
Douglas R Miles /
githubweb
- synth+loaded
—
Douglas R Miles /
githubweb
- removed executeCommandProvider from mettalog LSP
—
Roy Ward /
githubweb
- have stubs for all the LSP messages received so far
—
Roy Ward /
githubweb
- (if (== -> ->) True False) returning boolean now as well as both synthesize works as well as get-doc
—
Douglas R Miles /
githubweb
- Design Workaround for argument types Expression in
—
Douglas R Miles /
githubweb
- allow swi-prolog specific options to command line
—
Douglas R Miles /
githubweb
- add runtime docs for py-eval and py-list as well as argument types
—
Douglas R Miles /
githubweb
- feat: add support for -G option for MeTTa goals and clarify -s and -l usage for scripts
—
Douglas R Miles /
githubweb
- feat: add support for -S and -L options for MeTTa scripts and clarify usage of -s and -l options
—
Douglas R Miles /
githubweb
- fix: update mettalog script to add uppercase options to METTALOG_OPTIONS instead of SWI_OPTIONS
—
Douglas R Miles /
githubweb
- feat: update help output to include --time=debug and rename --eval= to --e=
—
Douglas R Miles /
githubweb
- removed docme files that were gettign stale
—
Douglas R Miles /
githubweb
- doc changes
—
Douglas R Miles /
githubweb
- sealing function ontology and test updates
—
Mike Archbold /
githubweb
- Back to 90
—
Douglas R Miles /
githubweb
- scripts/checkout_commits.sh scripts/jenkins_install_and_run.sh
—
Douglas R Miles /
githubweb
- 190| 24| 214| 88% | I hyperon-experimental | tests/baseline_compat/hyperon-experimental_scripts |
—
Douglas R Miles /
githubweb
- 193| 21| 214| 90% | I hyperon-experimental | tests/baseline_compat/hyperon-experimental_scripts |
—
Douglas R Miles /
githubweb
- minor change to sealing function description in ontology
—
Mike Archbold /
githubweb
- first effort documenting
—
Mike Archbold /
githubweb
- Delete comment try
—
Mike Archbold /
githubweb
- Turn GC back on
—
Douglas R Miles /
githubweb
- documented metta_repl.pl
—
Roy Ward /
githubweb
- still working on LSP hover
—
Roy Ward /
githubweb
- test_spo_03_5000
—
Douglas R Miles /
githubweb
- INSTALL_TYPE=jenkins_ci
—
Douglas R Miles /
githubweb
- ../../../Test-files.vpj
—
Douglas R Miles /
githubweb
- metta_persists
—
Douglas R Miles /
githubweb
- ensure_loaded(metta_parser).
—
Douglas R Miles /
githubweb
- In progress docme files from Douglas
—
Douglas R Miles /
githubweb
- began process of depricating/removing old reader
—
Douglas R Miles /
githubweb
- Begun fix for https://github.com/trueagi-io/metta-wam/issues/115
—
Douglas R Miles /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/115
—
Douglas R Miles /
githubweb
- Actual file #115
—
Douglas R Miles /
githubweb
- Handle codelists for #115
—
Douglas R Miles /
githubweb
- fix for reader error neededing @arg Position The current /3 Term of the stream. and missing pred
—
Douglas R Miles /
githubweb
- baselien AR = 100%
—
Douglas R Miles /
githubweb
- show progress per test
—
Douglas R Miles /
githubweb
- fixed type that coused tests to fail
—
Douglas R Miles /
githubweb
- comment update
—
Mike Archbold /
githubweb
- comment update
—
Mike Archbold /
githubweb
- .answers files
—
Douglas R Miles /
githubweb
- fixed to pldoc entries
—
Douglas R Miles /
githubweb
- using a lambda in report_progress_so_far/4
—
Douglas R Miles /
githubweb
- Update to CI to put valid links in test output
—
Douglas R Miles /
githubweb
- Probably fixes the broken repl that @royward was thiunking was the case
—
Douglas R Miles /
githubweb
- Runs all the baseline tets once again
—
Douglas R Miles /
githubweb
- only run nightly tests in main repo
—
AdrickTench /
githubweb
- Removal of unused metta_reader.pl
—
Douglas R Miles /
githubweb
- add defragmenter python program
—
Mike Archbold /
githubweb
- metta_parser
—
Douglas R Miles /
githubweb
- file-level documentation for maplist! and concurrent-maplist!
—
AdrickTench /
githubweb
- doc and type declarations for maplist! and concurrent-maplist!
—
AdrickTench /
githubweb
- Docs and tests for findall!
—
AdrickTench /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- sexpr stuff working (but not annotated)
—
Roy Ward /
githubweb
- comments
—
Mike Archbold /
githubweb
- fuller arities of maplist! concurrent-maplist!
—
Douglas R Miles /
githubweb
- making it easier to rename the compiler
—
Douglas R Miles /
githubweb
- towards https://github.com/trueagi-io/metta-wam/issues/11 and https://github.com/trueagi-io/metta-wam/issues/12 and https://github.com/trueagi-io/metta-wam/issues/7
—
Douglas R Miles /
githubweb
- first real sync with https://github.com/trueagi-io/hyperon-experimental in order to start https://github.com/trueagi-io/metta-wam/issues/11 and https://github.com/trueagi-io/metta-wam/issues/12 and https://github.com/trueagi-io/metta-wam/issues/7
—
Douglas R Miles /
githubweb
- first divergence with with https://github.com/trueagi-io/hyperon-experimental https://github.com/trueagi-io/metta-wam/issues/11
—
Douglas R Miles /
githubweb
- README.md for the python stuff
—
Douglas R Miles /
githubweb
- hyperonpy
—
Douglas R Miles /
githubweb
- hyperonpy
—
Douglas R Miles /
githubweb
- motto
—
Douglas R Miles /
githubweb
- hyperonpy.py
—
Douglas R Miles /
githubweb
- hyperonpy.py_less_free
—
Douglas R Miles /
githubweb
- remove the error/warnming about metta_reader
—
Douglas R Miles /
githubweb
- restored the tensor test result
—
Douglas R Miles /
githubweb
- src/canary/metta_parser.pl allow block commentss -- no rule saying we cant have them in metta!
—
Douglas R Miles /
githubweb
- add to path python/hyperonpy.py
—
Douglas R Miles /
githubweb
- load_metta_python_proxy
—
Douglas R Miles /
githubweb
- export METTALOG_VERBOSE=1
—
Douglas R Miles /
githubweb
- fixed nondet bug in evql_40
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- fixed pldocs
—
Douglas R Miles /
githubweb
- allow hyperon to not be fully installed
—
Douglas R Miles /
githubweb
- expand the default installed python packages
—
Douglas R Miles /
githubweb
- canary_docme/metta_python.pl
—
Douglas R Miles /
githubweb
- passing back to mike
—
Douglas R Miles /
githubweb
- passing back to mike for real this timed
—
Douglas R Miles /
githubweb
- catch/throw docs and tests
—
AdrickTench /
githubweb
- lsp changes
—
Roy Ward /
githubweb
- improved handling of file names
—
Mike Archbold /
githubweb
- removed unused docmes
—
Douglas R Miles /
githubweb
- removed unused docme mizer
—
Douglas R Miles /
githubweb
- removed the ones i already merged into canary
—
Douglas R Miles /
githubweb
- mostly working, needs cleanup
—
Roy Ward /
githubweb
- minimal but working (very basic hover) LSP server
—
Roy Ward /
githubweb
- max-time! docs and tests
—
AdrickTench /
githubweb
- improved comments
—
Mike Archbold /
githubweb
- small compile fixes
—
Roy Ward /
githubweb
- allows `source INSTALL.sh --force --easy --swi=src`
—
Douglas R Miles /
githubweb
- Remove torch/torchvision
—
Douglas R Miles /
githubweb
- remove metta_corelib
—
Douglas R Miles /
githubweb
- rest of remove metta_corelib
—
Douglas R Miles /
githubweb
- fixes to split document
—
Roy Ward /
githubweb
- stability improvements to LSP (two bugs cancelling out fixed)
—
Roy Ward /
githubweb
- Remove program
—
Mike Archbold /
githubweb
- Comments added
—
Mike Archbold /
githubweb
- libgoogle-perftools-dev : Depends: libunwind-dev
—
Douglas R Miles /
githubweb
- libgoogle-perftools-dev : Depends: libunwind-dev oopsy
—
Douglas R Miles /
githubweb
- Comments added
—
Mike Archbold /
githubweb
- progress towards saving test report copies by number of failures
—
AdrickTench /
githubweb
- fixed lsp server so any splitting mode should work
—
Roy Ward /
githubweb
- src/canary/metta_proxy.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- py-exec
—
Douglas R Miles /
githubweb
- with_safe_argv
—
Douglas R Miles /
githubweb
- PlDoced patcher in corelib
—
Douglas R Miles /
githubweb
- metta_python_patcher.py
—
Douglas R Miles /
githubweb
- metta_python_patcher.py
—
Douglas R Miles /
githubweb
- remove debugging print in into_junit.py
—
AdrickTench /
githubweb
- progress to into_junit.py copying logs to new destination
—
AdrickTench /
githubweb
- copy test logs to new destination in into_junit.py
—
AdrickTench /
githubweb
- run all ci tests
—
AdrickTench /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- Comments added, remove from docme
—
Mike Archbold /
githubweb
- remove from docme
—
Mike Archbold /
githubweb
- fixes due to docs pfc
—
Mike Archbold /
githubweb
- fixes due to docs pfc
—
Mike Archbold /
githubweb
- Fix: Adjust determinism annotations in metta_corelib.pl
—
Douglas R Miles /
githubweb
- Enhancement: Load pldoc library in metta_interp.pl
—
Douglas R Miles /
githubweb
- Fix: Add quietly_sreader/1 predicate in metta_parser.pl
—
Douglas R Miles /
githubweb
- Refactor: Update metta_python_patcher.py with new threading logic
—
Douglas R Miles /
githubweb
- Enhancement: Add Enum and improve error handling in metta_python_proxy.py
—
Douglas R Miles /
githubweb
- Feature: Implement maplist meta-predicates and add dynamic predicates in metta_server.pl
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- disable the patcher
—
Douglas R Miles /
githubweb
- fixes due to docs pfc
—
Mike Archbold /
githubweb
- Fixes to some of the PLDocs
—
Douglas R Miles /
githubweb
- Added Prolog transpilation comments and assertTrue functional predicate.
—
Douglas R Miles /
githubweb
- Refactored mettalogpy_repl and added maybe_load_metta_python_patcher logic.
—
Douglas R Miles /
githubweb
- Changed determinism annotations for lookup_spft_match and lookup_spft_match_deeper.
—
Douglas R Miles /
githubweb
- Added lazy loading for Metta Python proxy and refactored initialization logic.
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- metta_python_override
—
Douglas R Miles /
githubweb
- VSPACE_VERBOSE -> METTALOG_VERBOSE, nonlocal submode, '@'('none'))
—
Douglas R Miles /
githubweb
- dynamically define my_module
—
Douglas R Miles /
githubweb
- ~/metta-wam/src/canary$ python metta_python_override.py
—
Douglas R Miles /
githubweb
- ~/metta-wam/src/canary$ python metta_python_override.py
—
Douglas R Miles /
githubweb
- ~/metta-wam/src/canary$ python metta_python_override.py
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- handle_method_call
—
Douglas R Miles /
githubweb
- Handle get_* methods
—
Douglas R Miles /
githubweb
- Handle get_name methods
—
Douglas R Miles /
githubweb
- tests/docs for limit!
—
AdrickTench /
githubweb
- comments
—
Mike Archbold /
githubweb
- janus_swi.query_once
—
Douglas R Miles /
githubweb
- new utf8/utf16 character stuff _mostly_ working
—
Roy Ward /
githubweb
- fixed warnings
—
Douglas R Miles /
githubweb
- no module
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- remove compiler changes
—
Roy Ward /
githubweb
- change fix, turned off some debugging
—
Roy Ward /
githubweb
- docs/tests for call! and call-string!
—
AdrickTench /
githubweb
- working on readme
—
Roy Ward /
githubweb
- image
—
Roy Ward /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- hybrid of old and new compiler
—
Douglas R Miles /
githubweb
- o_f_v
—
Douglas R Miles /
githubweb
- Adjusted oo_new/3 to reuse objects based on Type and 'value' field
—
Douglas R Miles /
githubweb
- Adjusted oo_new/3 to reuse objects based on Type and 'value' field, matching all other fields
—
Douglas R Miles /
githubweb
- Slightly more OOP in Prolog
—
Douglas R Miles /
githubweb
- src/canary/metta_python_override.py
—
Douglas R Miles /
githubweb
- better overriding
—
Douglas R Miles /
githubweb
- do_metta(stdio,+,'&self',String,Result)
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- refactored the files
—
Roy Ward /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- catchup on python/hyperon/exts
—
Douglas R Miles /
githubweb
- back towards previous metta_repl
—
Douglas R Miles /
githubweb
- dont claim hyperonpy
—
Douglas R Miles /
githubweb
- allow actual escape characters
—
Douglas R Miles /
githubweb
- removed time\! and replaced with time/wall-time/cpu-time also properly implemented as per bug report https://github.com/trueagi-io/metta-wam/issues/129 https://github.com/trueagi-io/metta-wam/issues/128
—
Douglas R Miles /
githubweb
- do not quit on comment in input
—
Douglas R Miles /
githubweb
- oops this belonged in the last commit -notrace(G):- once(G).
—
Douglas R Miles /
githubweb
- fix for https://github.com/trueagi-io/metta-wam/issues/128
—
Douglas R Miles /
githubweb
- really fixed https://github.com/trueagi-io/metta-wam/issues/128
—
Douglas R Miles /
githubweb
- GDL tests/features/games/
—
AdrickTench /
githubweb
- docs for number-of
—
AdrickTench /
githubweb
- docs/tests for offset!
—
AdrickTench /
githubweb
- Update README.md
—
GitHub /
githubweb
- the and enviroment variables mean quit a bit to SWI-Prolog!
—
Douglas R Miles /
githubweb
- Pretend for now we have a nondeterministic sig_atomic
—
Douglas R Miles /
githubweb
- Handle mostly blank lines
—
Douglas R Miles /
githubweb
- Dont mess with envrioment more thna we have to
—
Douglas R Miles /
githubweb
- Faster/sounder Tuple check
—
Douglas R Miles /
githubweb
- simplify the pretty printer
—
Douglas R Miles /
githubweb
- py-chain Impl .. still needs do0cs and test
—
Douglas R Miles /
githubweb
- py-chain Impl .. still needs do0cs and test
—
Douglas R Miles /
githubweb
- with_enc
—
Douglas R Miles /
githubweb
- - throw(i_loaded_this)
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- update doc on setup-call-cleanup!
—
AdrickTench /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- python
—
Douglas R Miles /
githubweb
- quietly checking if requirements are still met
—
Douglas R Miles /
githubweb
- python stuff added to .gitignore
—
Douglas R Miles /
githubweb
- snapshot
—
Roy Ward /
githubweb
- comments
—
Mike Archbold /
githubweb
- Update to LSP Server README.md about the vsce packaging
—
Douglas R Miles /
githubweb
- Removed lines breakign the LSP Server
—
Douglas R Miles /
githubweb
- Fixed py_nth
—
Douglas R Miles /
githubweb
- Update analyse to a Table and after CSV
—
drspro /
githubweb
- Update5 to try to come in sync
—
drspro /
githubweb
- begun the help! / get-doc interface that will work via the repl
—
Douglas R Miles /
githubweb
- predicate_help_fallback_hook/4
—
Douglas R Miles /
githubweb
- Impl if-decons-expr
—
Douglas R Miles /
githubweb
- Forgotten code to unbreka the LSP Server
—
Douglas R Miles /
githubweb
- fixed line issues in LSP
—
Roy Ward /
githubweb
- reverts
—
Roy Ward /
githubweb
- Add py-chain docs
—
Mike Archbold /
githubweb
- make_metta_file_buffer plus --help
—
Douglas R Miles /
githubweb
- make_metta_file_buffer plus 2
—
Douglas R Miles /
githubweb
- trace_on_pass
—
Douglas R Miles /
githubweb
- show function src
—
Douglas R Miles /
githubweb
- Write the full source content if it's complex
—
Douglas R Miles /
githubweb
- recover from stream errors durring input
—
Douglas R Miles /
githubweb
- allow read over multiple lines
—
Douglas R Miles /
githubweb
- allow stream_error/2s to be caught differntly than program errors
—
Douglas R Miles /
githubweb
- reference links
—
Douglas R Miles /
githubweb
- File ref links working
—
Douglas R Miles /
githubweb
- allow type links.. make sure the help! command runs under a flag
—
Douglas R Miles /
githubweb
- Fixed allow type links.. make sure the help! command runs under a flag
—
Douglas R Miles /
githubweb
- split by clause
—
Roy Ward /
githubweb
- split by clause, save some metadata
—
Roy Ward /
githubweb
- add comments
—
Mike Archbold /
githubweb
- remove bad venvs
—
Douglas R Miles /
githubweb
- Slighhtly less torent to INSTALL.sh problems
—
Douglas R Miles /
githubweb
- Could NOT find LibYAML (missing: LIBYAML_INCLUDE_DIR YAML_LIBRARY)
—
Douglas R Miles /
githubweb
- install_swi_from_src restores direcotry in failure
—
Douglas R Miles /
githubweb
- dont print success message twice
—
Douglas R Miles /
githubweb
- try to source the INSTALL.sh from Dockerfile
—
Douglas R Miles /
githubweb
- renamed: src/canary/metta_help.pl -> src/packs/lsp_server_metta/prolog/lsp_metta_outline.pl
—
Douglas R Miles /
githubweb
- dbg_server_thread
—
Douglas R Miles /
githubweb
- quick python compare for testing
—
Douglas R Miles /
githubweb
- better line number tracking
—
Douglas R Miles /
githubweb
- first cut of documentSymbol in which makes a vscode outline sheet
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- fixed line ending issue that was messing with didChange, and an escaped character in string issue
—
Roy Ward /
githubweb
- element -> outline
—
Douglas R Miles /
githubweb
- xref_source_expired
—
Douglas R Miles /
githubweb
- type_kind
—
Douglas R Miles /
githubweb
- populate variablke names
—
Douglas R Miles /
githubweb
- docs/tests for hyperpose, sequential, and do
—
AdrickTench /
githubweb
- allow for late definition to be evaluated
—
vulecoff /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- set default src_indents to false
—
Douglas R Miles /
githubweb
- run recompile from debug server by jsut pressing enter
—
Douglas R Miles /
githubweb
- Export clause_with_arity_in_file_at_position/4 in LSP Server
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- syntax highlighting
—
Roy Ward /
githubweb
- hacky threading system as well as refernces/definition provers etc
—
Douglas R Miles /
githubweb
- begining of codeActions
—
Douglas R Miles /
githubweb
- Pre worker pool
—
Douglas R Miles /
githubweb
- update docs for Minimal MeTTa functions
—
AdrickTench /
githubweb
- lsp_worker_threads(0)
—
Douglas R Miles /
githubweb
- anonymous QueueId
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- improved syntax highlighting
—
Roy Ward /
githubweb
- add comments
—
Mike Archbold /
githubweb
- @doc for Bool
—
Douglas R Miles /
githubweb
- Group declarations by type
—
Douglas R Miles /
githubweb
- do not halt on metta>@
—
Douglas R Miles /
githubweb
- get rid of extra_answer_padding
—
Douglas R Miles /
githubweb
- buffer the answer outpout into temp file but will change to becoem a memfile
—
Douglas R Miles /
githubweb
- in_answer_io using memfile isntead of disk
—
Douglas R Miles /
githubweb
- handle_catcher(exit) :- !
—
Douglas R Miles /
githubweb
- added missing old code
—
Douglas R Miles /
githubweb
- removed that elusive choice point
—
Douglas R Miles /
githubweb
- Fixed Syntax error: duplicate_key expected, found "codeActionProvider"
—
Douglas R Miles /
githubweb
- dont double print answers
—
Douglas R Miles /
githubweb
- fixed typo
—
Douglas R Miles /
githubweb
- moved codeAction to its own file .. it is about to get very busy otherwise.. change the metta_file_buffer/5 structure to keep a range rather than a single position
—
Douglas R Miles /
githubweb
- added two missing preds
—
Douglas R Miles /
githubweb
- update_changed_files
—
Douglas R Miles /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/169
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- Only compute actions for symbols right now
—
GitHub /
githubweb
- using new metta_file_buffer/7 and a buch of LSP Additions
—
Douglas R Miles /
githubweb
- really using new metta_file_buffer/7
—
Douglas R Miles /
githubweb
- canary really using new metta_file_buffer/7
—
Douglas R Miles /
githubweb
- Fixed outline_name/2
—
Douglas R Miles /
githubweb
- better ordinal
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- crazy outline
—
Douglas R Miles /
githubweb
- was_end/2
—
Douglas R Miles /
githubweb
- src/comp_werks
—
Douglas R Miles /
githubweb
- Fixed the loading of stdlib_mettalog for now
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- docs for eval-for and compile!
—
AdrickTench /
githubweb
- add comments
—
Mike Archbold /
githubweb
- clarify prolog mode
—
Mike Archbold /
githubweb
- checkpoint for lsp #0
—
Douglas R Miles /
githubweb
- isolate doc_text_d4 from doc_text which is full text
—
Douglas R Miles /
githubweb
- updates to LSP server and mettalog that are required for the LSP Server
—
Douglas R Miles /
githubweb
- Back to almost working version of compiler
—
Douglas R Miles /
githubweb
- allow errors and warning rather than silently doing nothing as the clause above would have done
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- src/canary/metta_compiler_werk.pl
—
Douglas R Miles /
githubweb
- Comp works
—
Douglas R Miles /
githubweb
- super_safety_checks + on_mettalog_error
—
Douglas R Miles /
githubweb
- super_safety_checks + on_mettalog_error
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- Use scripts/lsp_server_prolog_install.sh in INSTALL.sh
—
Douglas R Miles /
githubweb
- +LINK_TARGET="$HOME/metta-wam/src/packs/lsp_server_metta"
—
Douglas R Miles /
githubweb
- move super_safety_checks/1 to metta_utils.pl
—
Douglas R Miles /
githubweb
- src/comp_werks2
—
Douglas R Miles /
githubweb
- @jazzbox35 commenting merged to src/comp_werks2
—
Douglas R Miles /
githubweb
- symlink rest of the pack dirs
—
Douglas R Miles /
githubweb
- remove pldoc warnings
—
Douglas R Miles /
githubweb
- ideally settings will be sent with initialize
—
Douglas R Miles /
githubweb
- LSP Server experimental settings
—
Douglas R Miles /
githubweb
- Ok, evidently only metta-lsp.trace.server gets sent on changes
—
Douglas R Miles /
githubweb
- Ok, evidently only metta-lsp.trace.server gets sent on changes so trying only two settings.. also bumping version to 0.0.4
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- Merge of the compiler_werk.pl into compiler.pl
—
Douglas R Miles /
githubweb
- src/canary/metta_compiler.pl
—
Douglas R Miles /
githubweb
- hyperon-wam.vpj
—
Douglas R Miles /
githubweb
- start of thread LSP server
—
Douglas R Miles /
githubweb
- do_work_stuff(QueueId)
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- compile, compile-space tests & docs
—
AdrickTench /
githubweb
- eval-for docs & tests
—
AdrickTench /
githubweb
- Update install so it doesnt terminate github workflow
—
Douglas R Miles /
githubweb
- Fix syntax error in INSTAL.sh (missing then in if)
—
Douglas R Miles /
githubweb
- better resolution in setup scripts for LINK_TARGET
—
Douglas R Miles /
githubweb
- dont use prolog_ide(debug_monitor)
—
Douglas R Miles /
githubweb
- function-arity, predicate-arity docs & tests
—
AdrickTench /
githubweb
- comments added
—
Mike Archbold /
githubweb
- docs/tests for call-p!
—
AdrickTench /
githubweb
- fixed duplicate predicates in interpreter
—
Roy Ward /
githubweb
- Moved ther threaded/queueing code to its own section
—
Douglas R Miles /
githubweb
- lsp_hooks:code_action
—
Douglas R Miles /
githubweb
- better eval_metta
—
Douglas R Miles /
githubweb
- lsp_hooks:exec_code_action + answer_output is no longer using a temp file (it uses a memfile)
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- src/packs/lsp_server_metta/lsp-metta.el
—
Douglas R Miles /
githubweb
- more moving to compiler prefix
—
Roy Ward /
githubweb
- get rid of fixme messages
—
Roy Ward /
githubweb
- comments added
—
Mike Archbold /
githubweb
- nthx case mostly working
—
Roy Ward /
githubweb
- lsp_server_requests
—
Douglas R Miles /
githubweb
- Our request listener hooks monitor these on their own
—
Douglas R Miles /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/185 Dockerfile needs modification to run without errors #185
—
Douglas R Miles /
githubweb
- remove temp files
—
Douglas R Miles /
githubweb
- tests/docs for open, close, with-output-to
—
AdrickTench /
githubweb
- comments added
—
Mike Archbold /
githubweb
- docs for load-file, load-ascii
—
AdrickTench /
githubweb
- docs for include!
—
AdrickTench /
githubweb
- vscode-extra-settings
—
Douglas R Miles /
githubweb
- fetch_workspace_configuration
—
Douglas R Miles /
githubweb
- cleaned up check_supporting_predicates, added transpiler_mutex_lock
—
Roy Ward /
githubweb
- fix u_assign replacement
—
Roy Ward /
githubweb
- std debug for prolog
—
Douglas R Miles /
githubweb
- sync lsp config
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- x
—
Roy Ward /
githubweb
- package.json
—
Douglas R Miles /
githubweb
- x
—
Roy Ward /
githubweb
- comments added
—
Mike Archbold /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- always_rethrow('canceled')
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- basic execution
—
Roy Ward /
githubweb
- basic execution
—
Roy Ward /
githubweb
- update doc strings for load functions
—
AdrickTench /
githubweb
- needing to prefix user:metta_file_buffer
—
Douglas R Miles /
githubweb
- tests/docs for save-space!
—
AdrickTench /
githubweb
- removed unneeded unicode
—
Douglas R Miles /
githubweb
- docs for rust, rust!
—
AdrickTench /
githubweb
- Emacs does return a Client Configuration List
—
Douglas R Miles /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- comments added
—
Mike Archbold /
githubweb
- Lower impredicence of stdlib in diff tool
—
Douglas R Miles /
githubweb
- added docs to 10 new functiosn.. @todo their impl
—
Douglas R Miles /
githubweb
- added missing head_preconds_into_body/4
—
Douglas R Miles /
githubweb
- expirery
—
Douglas R Miles /
githubweb
- fibonacci working
—
Roy Ward /
githubweb
- 17 more functions
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- to address https://github.com/trueagi-io/metta-wam/issues/197 where caught exception is bubbling too far upwards
—
Douglas R Miles /
githubweb
- Way more stdlib docs
—
Douglas R Miles /
githubweb
- really should have a hover that lets us see precompiled MeTTa
—
Douglas R Miles /
githubweb
- assertNotEqualToResult+assertNotEqual
—
Douglas R Miles /
githubweb
- Setwise operations being implemented in MeTTa instead of backend!
—
Douglas R Miles /
githubweb
- Stream errors now tell us where the error started not where the end of file is
—
Douglas R Miles /
githubweb
- fixed unballenced paren
—
Douglas R Miles /
githubweb
- x
—
Roy Ward /
githubweb
- impletements the usage: metta [-h] [--version | MeTTa script] functions so we can also do https://github.com/trueagi-io/hyperon-experimental/issues/803
—
Douglas R Miles /
githubweb
- Makes it pass 4 more minimal metta tests
—
Douglas R Miles /
githubweb
- GPT-4 rust extract ... https://chatgpt.com/share/673eda77-7b3c-800c-9d38-64a54bef4823
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- get-type-space
—
Douglas R Miles /
githubweb
- got rid of naughty simple_math/1 call happening early
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- got format-args working, added missing file
—
Roy Ward /
githubweb
- sub module updates and better cache file time checking
—
Douglas R Miles /
githubweb
- load_flybase_with_size
—
Douglas R Miles /
githubweb
- only push a report of the test results have changed
—
Douglas R Miles /
githubweb
- nb_bound needs to be slighnly more permisive
—
Douglas R Miles /
githubweb
- use current_test_results.txt
—
Douglas R Miles /
githubweb
- always publish some of the artifacts
—
Douglas R Miles /
githubweb
- always save the state in git repo
—
Douglas R Miles /
githubweb
- fix double used 'if'
—
Douglas R Miles /
githubweb
- fixed discontiguous warning
—
Douglas R Miles /
githubweb
- fixed fatal: a branch named 'test-results' already exists
—
Douglas R Miles /
githubweb
- checkout 'test-results' to a subdir and use it
—
Douglas R Miles /
githubweb
- added small bits of forward chaining to corelib
—
Douglas R Miles /
githubweb
- :run less tests while debugging script
—
Douglas R Miles /
githubweb
- try again
—
Douglas R Miles /
githubweb
- removed double ifd
—
Douglas R Miles /
githubweb
- removed double ifs
—
Douglas R Miles /
githubweb
- ensure just-results exists
—
Douglas R Miles /
githubweb
- ensure just-results exists now
—
Douglas R Miles /
githubweb
- Ping for rebuild
—
Douglas R Miles /
githubweb
- Ping for rebuild 2
—
Douglas R Miles /
githubweb
- Ping for rebuild 3
—
Douglas R Miles /
githubweb
- Ping for rebuild 4
—
Douglas R Miles /
githubweb
- Ping for rebuild 5
—
Douglas R Miles /
githubweb
- Ping for rebuild 6
—
Douglas R Miles /
githubweb
- impl and doc of the 27 new preds
—
Douglas R Miles /
githubweb
- forward chaining the math op types
—
Douglas R Miles /
githubweb
- CI WF
—
Douglas R Miles /
githubweb
- pow-math
—
Douglas R Miles /
githubweb
- added _mw to test files that specifically wont be expected to work in hyperon
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- partial docs and implementation for coerce
—
AdrickTench /
githubweb
- don't run nightly tests on forks
—
AdrickTench /
githubweb
- list_vs_term_syntax_mw.metta
—
Douglas R Miles /
githubweb
- portray_compound_l_m_r
—
Douglas R Miles /
githubweb
- corisponding commit to https://github.com/trueagi-io/hyperon-experimental/commit/ccd030863467088c59b1d3a851b79b1edf08c336
—
Douglas R Miles /
githubweb
- add call-fn! doc and using if-decons-expr for easier code compare to minimal metta
—
Douglas R Miles /
githubweb
- Testing `predicate-arity` and `function-arity`
—
Douglas R Miles /
githubweb
- Update docs for `predicate-arity` and `function-arity`
—
Douglas R Miles /
githubweb
- HE issues into tests
—
Douglas R Miles /
githubweb
- Add .gitattributes to force .metta files as text
—
Douglas R Miles /
githubweb
- x
—
Roy Ward /
githubweb
- Lots of hooks
—
Douglas R Miles /
githubweb
- Lots of hooks
—
Douglas R Miles /
githubweb
- Still need to make the callbacks file load
—
Douglas R Miles /
githubweb
- re-run-file
—
Douglas R Miles /
githubweb
- toplevel_form -> toplevel
—
Douglas R Miles /
githubweb
- quote the json
—
Douglas R Miles /
githubweb
- start of nqueebs explaiantion
—
Douglas R Miles /
githubweb
- !(pragma! interpreter bare-minimal)
—
Douglas R Miles /
githubweb
- Fixed a typo thaqt was making assertEqualToResult appear twice"
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown in a file
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown in a _transout.pl
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown in a _transout.pl
—
Douglas R Miles /
githubweb
- metta_runtime
—
Douglas R Miles /
githubweb
- non_empty_atom
—
Douglas R Miles /
githubweb
- output_language
—
Douglas R Miles /
githubweb
- :- dynamic(enabled_log_progress/0).
—
Douglas R Miles /
githubweb
- testing updates
—
Douglas R Miles /
githubweb
- remove time/1 from startup
—
Douglas R Miles /
githubweb
- removed unused
—
Douglas R Miles /
githubweb
- settings and prolog directory
—
Douglas R Miles /
githubweb
- intial loader files
—
Douglas R Miles /
githubweb
- getting to startup
—
Douglas R Miles /
githubweb
- the pack.pl
—
Douglas R Miles /
githubweb
- ideally lsp server almost loads
—
Douglas R Miles /
githubweb
- lsp server mostly works again
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- answer-output
—
Douglas R Miles /
githubweb
- Attic Sync
—
Douglas R Miles /
githubweb
- Attic Sync 2
—
Douglas R Miles /
githubweb
- sync to https://github.com/trueagi-io/hyperon-experimental/tree/49c4ab07379107a458998a6539dac46e65d50941
—
Douglas R Miles /
githubweb
- split out pfc debug
—
Douglas R Miles /
githubweb
- fixed ERROR: /home/deb12user/metta-wam/prolog/metta_lang/metta_debug.pl:1129:80: Syntax error: Operator expected
—
Douglas R Miles /
githubweb
- added indenting to test pass/fail
—
Douglas R Miles /
githubweb
- Attempt to address https://github.com/trueagi-io/metta-wam/issues/207 by putting the update and the package installs as one docker layer.. there could been problems if someone has previous cached layers
—
Douglas R Miles /
githubweb
- tests/zebra/zebra1.pl
—
Douglas R Miles /
githubweb
- zebra5_no_states.metta
—
Douglas R Miles /
githubweb
- Moved many things to .Attic and some things to scripts/
—
Douglas R Miles /
githubweb
- testing updates
—
Douglas R Miles /
githubweb
- :- dynamic(enabled_log_progress/0).
—
Douglas R Miles /
githubweb
- non_empty_atom
—
Douglas R Miles /
githubweb
- output_language
—
Douglas R Miles /
githubweb
- format_args_ordered_low_overhead
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown in a _transout.pl
—
Douglas R Miles /
githubweb
- metta_runtime
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown in a _transout.pl
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown in a file
—
Douglas R Miles /
githubweb
- Sometimes its nice to have the output of the transpiler shown
—
Douglas R Miles /
githubweb
- bad_line_endings in metta sometimes are on purpose for testing
—
Douglas R Miles /
githubweb
- more moving to compiler prefix
—
Roy Ward /
githubweb
- get rid of fixme messages
—
Roy Ward /
githubweb
- nthx case mostly working
—
Roy Ward /
githubweb
- cleaned up check_supporting_predicates, added transpiler_mutex_lock
—
Roy Ward /
githubweb
- fix u_assign replacement
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- basic execution
—
Roy Ward /
githubweb
- basic execution
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- fibonacci working
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- got format-args working, added missing file
—
Roy Ward /
githubweb
- x
—
Roy Ward /
githubweb
- unbotch plain prolog
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- MeTTaRust
—
Douglas R Miles /
githubweb
- !(pragma! interpreter bare-minimal)
—
Douglas R Miles /
githubweb
- Fixed a typo thaqt was making assertEqualToResult appear twice"
—
Douglas R Miles /
githubweb
- start of nqueebs explaiantion
—
Douglas R Miles /
githubweb
- quote the json
—
Douglas R Miles /
githubweb
- toplevel_form -> toplevel
—
Douglas R Miles /
githubweb
- re-run-file
—
Douglas R Miles /
githubweb
- Lots of hooks
—
Douglas R Miles /
githubweb
- Lots of hooks
—
Douglas R Miles /
githubweb
- Still need to make the callbacks file load
—
Douglas R Miles /
githubweb
- Add additional tests for issue #659: Delaying reduction until bindings are ready
—
Douglas R Miles /
githubweb
- Add tests for delaying reduction until bindings are ready (issue #659): https://github.com/trueagi-io/hyperon-experimental/issues/659
—
Douglas R Miles /
githubweb
- Add tests for delaying reduction until bindings are ready (issue #659): https://github.com/trueagi-io/hyperon-experimental/issues/659
—
Douglas R Miles /
githubweb
- Add tests for quoting/scoping mechanism in MeTTa (issue #579): https://github.com/trueagi-io/hyperon-experimental/issues/579
—
Douglas R Miles /
githubweb
- Add benchmark with time assertions for recursive tuple/list deconstruction (issue #394): https://github.com/trueagi-io/hyperon-experimental/issues/394
—
Douglas R Miles /
githubweb
- Add benchmark for recursive tuple/list deconstruction performance (issue #394): https://github.com/trueagi-io/hyperon-experimental/issues/394
—
Douglas R Miles /
githubweb
- Add test for recursive tuple/list deconstruction performance (issue #394): https://github.com/trueagi-io/hyperon-experimental/issues/394
—
Douglas R Miles /
githubweb
- Add test for backward chaining on lambda abstraction (issue #556): https://github.com/trueagi-io/hyperon-experimental/issues/556
—
Douglas R Miles /
githubweb
- Add test for evaluation caching bug (issue #553): https://github.com/trueagi-io/hyperon-experimental/issues/553
—
Douglas R Miles /
githubweb
- Add .gitattributes to force .metta files as text
—
Douglas R Miles /
githubweb
- Re-normalize *.metta as text
—
Douglas R Miles /
githubweb
- Add test for car-atom bug (issue #621): https://github.com/trueagi-io/hyperon-experimental/issues/621
—
Douglas R Miles /
githubweb
- Add test for car-atom bug (issue #621): https://github.com/trueagi-io/hyperon-experimental/issues/621
—
Douglas R Miles /
githubweb
- HE issues into tests
—
Douglas R Miles /
githubweb
- Fix .metta files to be treated as text
—
Douglas R Miles /
githubweb
- Re-normalized .metta files to be treated as text
—
Douglas R Miles /
githubweb
- Re-encoded .metta files to UTF-8
—
Douglas R Miles /
githubweb
- Update docs for `predicate-arity` and `function-arity`
—
Douglas R Miles /
githubweb
- Testing `predicate-arity` and `function-arity`
—
Douglas R Miles /
githubweb
- add call-fn! doc and using if-decons-expr for easier code compare to minimal metta
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- partial docs and implementation for coerce
—
AdrickTench /
githubweb
- don't run nightly tests on forks
—
AdrickTench /
githubweb
- portray_compound_l_m_r
—
Douglas R Miles /
githubweb
- corisponding commit to https://github.com/trueagi-io/hyperon-experimental/commit/ccd030863467088c59b1d3a851b79b1edf08c336
—
Douglas R Miles /
githubweb
- list_vs_term_syntax_mw.metta
—
Douglas R Miles /
githubweb
- fixed missing bang
—
Douglas R Miles /
githubweb
- fixed paren ballance
—
Douglas R Miles /
githubweb
- added _mw to test files that specifically wont be expected to work in hyperon
—
Douglas R Miles /
githubweb
- simple functionality from exetend_compat that need to be in baseline_compat
—
Douglas R Miles /
githubweb
- pow-math
—
Douglas R Miles /
githubweb
- CI WF
—
Douglas R Miles /
githubweb
- forward chaining the math op types
—
Douglas R Miles /
githubweb
- impl and doc of the 27 new preds
—
Douglas R Miles /
githubweb
- Ping for rebuild 6
—
Douglas R Miles /
githubweb
- Ping for rebuild 5
—
Douglas R Miles /
githubweb
- Ping for rebuild 4
—
Douglas R Miles /
githubweb
- Ping for rebuild 3
—
Douglas R Miles /
githubweb
- Ping for rebuild 2
—
Douglas R Miles /
githubweb
- Ping for rebuild
—
Douglas R Miles /
githubweb
- ensure just-results exists now
—
Douglas R Miles /
githubweb
- ensure just-results exists
—
Douglas R Miles /
githubweb
- removed double ifs
—
Douglas R Miles /
githubweb
- removed double ifd
—
Douglas R Miles /
githubweb
- try again
—
Douglas R Miles /
githubweb
- :run less tests while debugging script
—
Douglas R Miles /
githubweb
- added small bits of forward chaining to corelib
—
Douglas R Miles /
githubweb
- checkout 'test-results' to a subdir and use it
—
Douglas R Miles /
githubweb
- fixed fatal: a branch named 'test-results' already exists
—
Douglas R Miles /
githubweb
- fixed discontiguous warning
—
Douglas R Miles /
githubweb
- fix double used 'if'
—
Douglas R Miles /
githubweb
- always save the state in git repo
—
Douglas R Miles /
githubweb
- always publish some of the artifacts
—
Douglas R Miles /
githubweb
- use current_test_results.txt
—
Douglas R Miles /
githubweb
- nb_bound needs to be slighnly more permisive
—
Douglas R Miles /
githubweb
- only push a report of the test results have changed
—
Douglas R Miles /
githubweb
- removed redundant metta_lang_dev tests and moved tests that are still being ported to still_porting directory
—
Douglas R Miles /
githubweb
- load_flybase_with_size
—
Douglas R Miles /
githubweb
- Fixed broken tests
—
Douglas R Miles /
githubweb
- corrected tests
—
Douglas R Miles /
githubweb
- tests update
—
Douglas R Miles /
githubweb
- sub module updates and better cache file time checking
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- got rid of naughty simple_math/1 call happening early
—
Douglas R Miles /
githubweb
- more H-E-Fails markers
—
Douglas R Miles /
githubweb
- get-type-space
—
Douglas R Miles /
githubweb
- remove some invalid tests
—
Douglas R Miles /
githubweb
- GPT-4 rust extract ... https://chatgpt.com/share/673eda77-7b3c-800c-9d38-64a54bef4823
—
Douglas R Miles /
githubweb
- Makes it pass 4 more minimal metta tests
—
Douglas R Miles /
githubweb
- added H-E-Fails wrapper arround predicates that Hyperon Experimental is failing:
—
Douglas R Miles /
githubweb
- add removal part of test
—
Douglas R Miles /
githubweb
- More tests related to https://github.com/trueagi-io/hyperon-experimental/issues/803
—
Douglas R Miles /
githubweb
- More tests related to https://github.com/trueagi-io/hyperon-experimental/issues/803
—
Douglas R Miles /
githubweb
- impletements the usage: metta [-h] [--version | MeTTa script] functions so we can also do https://github.com/trueagi-io/hyperon-experimental/issues/803
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- rust / rust! tests
—
AdrickTench /
githubweb
- Stream errors now tell us where the error started not where the end of file is
—
Douglas R Miles /
githubweb
- fixed unballenced paren
—
Douglas R Miles /
githubweb
- Setwise operations being implemented in MeTTa instead of backend!
—
Douglas R Miles /
githubweb
- assertNotEqualToResult+assertNotEqual
—
Douglas R Miles /
githubweb
- Way more stdlib docs
—
Douglas R Miles /
githubweb
- really should have a hover that lets us see precompiled MeTTa
—
Douglas R Miles /
githubweb
- 17 more functions
—
Douglas R Miles /
githubweb
- to address https://github.com/trueagi-io/metta-wam/issues/197 where caught exception is bubbling too far upwards
—
Douglas R Miles /
githubweb
- Emacs does return a Client Configuration List
—
Douglas R Miles /
githubweb
- Lower impredicence of stdlib in diff tool
—
Douglas R Miles /
githubweb
- added docs to 10 new functiosn.. @todo their impl
—
Douglas R Miles /
githubweb
- added missing head_preconds_into_body/4
—
Douglas R Miles /
githubweb
- expirery
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- update doc strings for load functions
—
AdrickTench /
githubweb
- tests/docs for save-space!
—
AdrickTench /
githubweb
- docs for rust, rust!
—
AdrickTench /
githubweb
- removed unneeded unicode
—
Douglas R Miles /
githubweb
- intermeiate result
—
Douglas R Miles /
githubweb
- needing to prefix user:metta_file_buffer
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- tests/docs for open, close, with-output-to
—
AdrickTench /
githubweb
- docs for load-file, load-ascii
—
AdrickTench /
githubweb
- docs for include!
—
AdrickTench /
githubweb
- always_rethrow('canceled')
—
Douglas R Miles /
githubweb
- package.json
—
Douglas R Miles /
githubweb
- Update fish-riddle.metta
—
GitHub /
githubweb
- Update fish-riddle.metta
—
GitHub /
githubweb
- tests/baseline_compat/hyperon-mettalog_sanity/what_evals_or_not.metta
—
Douglas R Miles /
githubweb
- std debug for prolog
—
Douglas R Miles /
githubweb
- sync lsp config
—
Douglas R Miles /
githubweb
- vscode-extra-settings
—
Douglas R Miles /
githubweb
- fetch_workspace_configuration
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- remove temp files
—
Douglas R Miles /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/185 Dockerfile needs modification to run without errors #185
—
Douglas R Miles /
githubweb
- Add file manual
—
GitHub /
githubweb
- add manually4 metta analyse and divide code
—
GitHub /
githubweb
- Update7 to try to come in sync
—
drspro /
githubweb
- Created 01 Metta from Rust
—
drspro /
githubweb
- Upload overview2 in Csv
—
drspro /
githubweb
- update2 from python generated metta
—
drspro /
githubweb
- update3 from python generated metta
—
drspro /
githubweb
- update5 from python generated metta
—
drspro /
githubweb
- Update analyse to a Table and after CSV
—
drspro /
githubweb
- Update to try to come in sync
—
drspro /
githubweb
- update python generated
—
drspro /
githubweb
- Update5 to try to come in sync
—
drspro /
githubweb
- Installation steps Pdf
—
drspro /
githubweb
- Installation steps-2 HTM
—
drspro /
githubweb
- Installation steps-3 HTM
—
drspro /
githubweb
- Installation steps4 Pdf
—
drspro /
githubweb
- Generated metta lang dev
—
drspro /
githubweb
- metta to prolog transpile visual-prolog 52
—
drspro /
githubweb
- updated python tests and transpiler
—
drspro /
githubweb
- created Python tests and metta-lang
—
drspro /
githubweb
- created metta-lang tests about 30 to go
—
drspro /
githubweb
- created metta-lang tests about 10 to go
—
drspro /
githubweb
- created metta-lang tests Allpossible one
—
drspro /
githubweb
- created metta-lang Spaces and tested
—
drspro /
githubweb
- cleaned metta lang and moved to baseline compat
—
drspro /
githubweb
- added metta lang 24 tests
—
drspro /
githubweb
- added metta lang PDF table
—
drspro /
githubweb
- Our request listener hooks monitor these on their own
—
Douglas R Miles /
githubweb
- lsp_server_requests
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- src/packs/lsp_server_metta/lsp-metta.el
—
Douglas R Miles /
githubweb
- fixed duplicate predicates in interpreter
—
Roy Ward /
githubweb
- docs for eval-for and compile!
—
AdrickTench /
githubweb
- compile, compile-space tests & docs
—
AdrickTench /
githubweb
- eval-for docs & tests
—
AdrickTench /
githubweb
- function-arity, predicate-arity docs & tests
—
AdrickTench /
githubweb
- docs/tests for call-p!
—
AdrickTench /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- better eval_metta
—
Douglas R Miles /
githubweb
- lsp_hooks:exec_code_action + answer_output is no longer using a temp file (it uses a memfile)
—
Douglas R Miles /
githubweb
- Moved ther threaded/queueing code to its own section
—
Douglas R Miles /
githubweb
- lsp_hooks:code_action
—
Douglas R Miles /
githubweb
- dont use prolog_ide(debug_monitor)
—
Douglas R Miles /
githubweb
- better resolution in setup scripts for LINK_TARGET
—
Douglas R Miles /
githubweb
- Fix syntax error in INSTAL.sh (missing then in if)
—
Douglas R Miles /
githubweb
- Update install so it doesnt terminate github workflow
—
Douglas R Miles /
githubweb
- Update README.md
—
GitHub /
githubweb
- hyperon-wam.vpj
—
Douglas R Miles /
githubweb
- start of thread LSP server
—
Douglas R Miles /
githubweb
- do_work_stuff(QueueId)
—
Douglas R Miles /
githubweb
- easy_tests
—
Douglas R Miles /
githubweb
- src/canary/metta_compiler.pl
—
Douglas R Miles /
githubweb
- Merge of the compiler_werk.pl into compiler.pl
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- Ok, evidently only metta-lsp.trace.server gets sent on changes so trying only two settings.. also bumping version to 0.0.4
—
Douglas R Miles /
githubweb
- Ok, evidently only metta-lsp.trace.server gets sent on changes
—
Douglas R Miles /
githubweb
- LSP Server experimental settings
—
Douglas R Miles /
githubweb
- ideally settings will be sent with initialize
—
Douglas R Miles /
githubweb
- remove pldoc warnings
—
Douglas R Miles /
githubweb
- symlink rest of the pack dirs
—
Douglas R Miles /
githubweb
- @jazzbox35 commenting merged to src/comp_werks2
—
Douglas R Miles /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- move super_safety_checks/1 to metta_utils.pl
—
Douglas R Miles /
githubweb
- src/comp_werks2
—
Douglas R Miles /
githubweb
- Use scripts/lsp_server_prolog_install.sh in INSTALL.sh
—
Douglas R Miles /
githubweb
- +LINK_TARGET="$HOME/metta-wam/src/packs/lsp_server_metta"
—
Douglas R Miles /
githubweb
- super_safety_checks + on_mettalog_error
—
Douglas R Miles /
githubweb
- super_safety_checks + on_mettalog_error
—
Douglas R Miles /
githubweb
- Comp works
—
Douglas R Miles /
githubweb
- src/canary/metta_compiler_werk.pl
—
Douglas R Miles /
githubweb
- Back to almost working version of compiler
—
Douglas R Miles /
githubweb
- allow errors and warning rather than silently doing nothing as the clause above would have done
—
Douglas R Miles /
githubweb
- checkpoint for lsp #0
—
Douglas R Miles /
githubweb
- isolate doc_text_d4 from doc_text which is full text
—
Douglas R Miles /
githubweb
- updates to LSP server and mettalog that are required for the LSP Server
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- clarify prolog mode
—
Mike Archbold /
githubweb
- Fixed the loading of stdlib_mettalog for now
—
Douglas R Miles /
githubweb
- src/comp_werks
—
Douglas R Miles /
githubweb
- was_end/2
—
Douglas R Miles /
githubweb
- crazy outline
—
Douglas R Miles /
githubweb
- better ordinal
—
Douglas R Miles /
githubweb
- Fixed outline_name/2
—
Douglas R Miles /
githubweb
- add tests/features/lsp_server/bad_line_endings.metta
—
Douglas R Miles /
githubweb
- canary really using new metta_file_buffer/7
—
Douglas R Miles /
githubweb
- really using new metta_file_buffer/7
—
Douglas R Miles /
githubweb
- using new metta_file_buffer/7 and a buch of LSP Additions
—
Douglas R Miles /
githubweb
- Update flybase_rust_uses_python_vspace.metta
—
GitHub /
githubweb
- Only compute actions for symbols right now
—
GitHub /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/169
—
Douglas R Miles /
githubweb
- update_changed_files
—
Douglas R Miles /
githubweb
- added two missing preds
—
Douglas R Miles /
githubweb
- add a couple more minimal metta tests
—
vulecoff /
githubweb
- fixed typo
—
Douglas R Miles /
githubweb
- moved codeAction to its own file .. it is about to get very busy otherwise.. change the metta_file_buffer/5 structure to keep a range rather than a single position
—
Douglas R Miles /
githubweb
- dont double print answers
—
Douglas R Miles /
githubweb
- removed that elusive choice point
—
Douglas R Miles /
githubweb
- Fixed Syntax error: duplicate_key expected, found "codeActionProvider"
—
Douglas R Miles /
githubweb
- added missing old code
—
Douglas R Miles /
githubweb
- handle_catcher(exit) :- !
—
Douglas R Miles /
githubweb
- in_answer_io using memfile isntead of disk
—
Douglas R Miles /
githubweb
- buffer the answer outpout into temp file but will change to becoem a memfile
—
Douglas R Miles /
githubweb
- get rid of extra_answer_padding
—
Douglas R Miles /
githubweb
- do not halt on metta>@
—
Douglas R Miles /
githubweb
- fixed line ending issue that was messing with didChange, and an escaped character in string issue
—
Roy Ward /
githubweb
- syntax highlighting
—
Roy Ward /
githubweb
- improved syntax highlighting
—
Roy Ward /
githubweb
- update docs for Minimal MeTTa functions
—
AdrickTench /
githubweb
- tests for Minimal MeTTa
—
AdrickTench /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- begining of codeActions
—
Douglas R Miles /
githubweb
- Pre worker pool
—
Douglas R Miles /
githubweb
- lsp_worker_threads(0)
—
Douglas R Miles /
githubweb
- anonymous QueueId
—
Douglas R Miles /
githubweb
- @doc for Bool
—
Douglas R Miles /
githubweb
- Group declarations by type
—
Douglas R Miles /
githubweb
- run recompile from debug server by jsut pressing enter
—
Douglas R Miles /
githubweb
- Export clause_with_arity_in_file_at_position/4 in LSP Server
—
Douglas R Miles /
githubweb
- hacky threading system as well as refernces/definition provers etc
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- set default src_indents to false
—
Douglas R Miles /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- add comments
—
Mike Archbold /
githubweb
- allow for late definition to be evaluated
—
vulecoff /
githubweb
- update doc on setup-call-cleanup!
—
AdrickTench /
githubweb
- additional test for setup-call-cleanup
—
AdrickTench /
githubweb
- docs/tests for hyperpose, sequential, and do
—
AdrickTench /
githubweb
- populate variablke names
—
Douglas R Miles /
githubweb
- type_kind
—
Douglas R Miles /
githubweb
- element -> outline
—
Douglas R Miles /
githubweb
- xref_source_expired
—
Douglas R Miles /
githubweb
- renamed: src/canary/metta_help.pl -> src/packs/lsp_server_metta/prolog/lsp_metta_outline.pl
—
Douglas R Miles /
githubweb
- dbg_server_thread
—
Douglas R Miles /
githubweb
- quick python compare for testing
—
Douglas R Miles /
githubweb
- better line number tracking
—
Douglas R Miles /
githubweb
- first cut of documentSymbol in which makes a vscode outline sheet
—
Douglas R Miles /
githubweb
- try to source the INSTALL.sh from Dockerfile
—
Douglas R Miles /
githubweb
- dont print success message twice
—
Douglas R Miles /
githubweb
- install_swi_from_src restores direcotry in failure
—
Douglas R Miles /
githubweb
- Could NOT find LibYAML (missing: LIBYAML_INCLUDE_DIR YAML_LIBRARY)
—
Douglas R Miles /
githubweb
- Slighhtly less torent to INSTALL.sh problems
—
Douglas R Miles /
githubweb
- remove bad venvs
—
Douglas R Miles /
githubweb
- split by clause
—
Roy Ward /
githubweb
- split by clause, save some metadata
—
Roy Ward /
githubweb
- add comments
—
Mike Archbold /
githubweb
- Fixed allow type links.. make sure the help! command runs under a flag
—
Douglas R Miles /
githubweb
- allow type links.. make sure the help! command runs under a flag
—
Douglas R Miles /
githubweb
- File ref links working
—
Douglas R Miles /
githubweb
- reference links
—
Douglas R Miles /
githubweb
- allow stream_error/2s to be caught differntly than program errors
—
Douglas R Miles /
githubweb
- allow read over multiple lines
—
Douglas R Miles /
githubweb
- recover from stream errors durring input
—
Douglas R Miles /
githubweb
- Write the full source content if it's complex
—
Douglas R Miles /
githubweb
- show function src
—
Douglas R Miles /
githubweb
- Add py-chain docs
—
Mike Archbold /
githubweb
- Add another py-chain test
—
Mike Archbold /
githubweb
- snapshot
—
Roy Ward /
githubweb
- fixed line issues in LSP
—
Roy Ward /
githubweb
- reverts
—
Roy Ward /
githubweb
- reverts
—
Roy Ward /
githubweb
- reverts
—
Roy Ward /
githubweb
- trace_on_pass
—
Douglas R Miles /
githubweb
- make_metta_file_buffer plus --help
—
Douglas R Miles /
githubweb
- make_metta_file_buffer plus 2
—
Douglas R Miles /
githubweb
- Forgotten code to unbreka the LSP Server
—
Douglas R Miles /
githubweb
- begun the help! / get-doc interface that will work via the repl
—
Douglas R Miles /
githubweb
- predicate_help_fallback_hook/4
—
Douglas R Miles /
githubweb
- Impl if-decons-expr
—
Douglas R Miles /
githubweb
- Couple of early on tests
—
Douglas R Miles /
githubweb
- Removed lines breakign the LSP Server
—
Douglas R Miles /
githubweb
- Fixed py_nth
—
Douglas R Miles /
githubweb
- python stuff added to .gitignore
—
Douglas R Miles /
githubweb
- Update to LSP Server README.md about the vsce packaging
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- python
—
Douglas R Miles /
githubweb
- quietly checking if requirements are still met
—
Douglas R Miles /
githubweb
- refactored the files
—
Roy Ward /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- - throw(i_loaded_this)
—
Douglas R Miles /
githubweb
- with_enc
—
Douglas R Miles /
githubweb
- py-chain Impl .. still needs do0cs and test
—
Douglas R Miles /
githubweb
- py-chain Impl .. still needs do0cs and test
—
Douglas R Miles /
githubweb
- simplify the pretty printer
—
Douglas R Miles /
githubweb
- Faster/sounder Tuple check
—
Douglas R Miles /
githubweb
- Handle mostly blank lines
—
Douglas R Miles /
githubweb
- Dont mess with envrioment more thna we have to
—
Douglas R Miles /
githubweb
- Pretend for now we have a nondeterministic sig_atomic
—
Douglas R Miles /
githubweb
- the and enviroment variables mean quit a bit to SWI-Prolog!
—
Douglas R Miles /
githubweb
- test for issue #145
—
Douglas R Miles /
githubweb
- GDL tests/features/games/
—
AdrickTench /
githubweb
- docs for number-of
—
AdrickTench /
githubweb
- number-of tests
—
AdrickTench /
githubweb
- docs/tests for offset!
—
AdrickTench /
githubweb
- more setup-call-cleanup! tests
—
AdrickTench /
githubweb
- GDL tests/features/games/
—
Douglas R Miles /
githubweb
- really fixed https://github.com/trueagi-io/metta-wam/issues/128
—
Douglas R Miles /
githubweb
- fix for https://github.com/trueagi-io/metta-wam/issues/128
—
Douglas R Miles /
githubweb
- oops this belonged in the last commit -notrace(G):- once(G).
—
Douglas R Miles /
githubweb
- do not quit on comment in input
—
Douglas R Miles /
githubweb
- removed time\! and replaced with time/wall-time/cpu-time also properly implemented as per bug report https://github.com/trueagi-io/metta-wam/issues/129 https://github.com/trueagi-io/metta-wam/issues/128
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- New motto
—
Douglas R Miles /
githubweb
- catchup on python/hyperon/exts
—
Douglas R Miles /
githubweb
- back towards previous metta_repl
—
Douglas R Miles /
githubweb
- dont claim hyperonpy
—
Douglas R Miles /
githubweb
- allow actual escape characters
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- better overriding
—
Douglas R Miles /
githubweb
- do_metta(stdio,+,'&self',String,Result)
—
Douglas R Miles /
githubweb
- src/canary/metta_python_override.py
—
Douglas R Miles /
githubweb
- Slightly more OOP in Prolog
—
Douglas R Miles /
githubweb
- Adjusted oo_new/3 to reuse objects based on Type and 'value' field, matching all other fields
—
Douglas R Miles /
githubweb
- o_f_v
—
Douglas R Miles /
githubweb
- Adjusted oo_new/3 to reuse objects based on Type and 'value' field
—
Douglas R Miles /
githubweb
- hybrid of old and new compiler
—
Douglas R Miles /
githubweb
- working on readme
—
Roy Ward /
githubweb
- image
—
Roy Ward /
githubweb
- Update README.md
—
GitHub /
githubweb
- Update README.md
—
GitHub /
githubweb
- tests/docs for limit!
—
AdrickTench /
githubweb
- docs/tests for call! and call-string!
—
AdrickTench /
githubweb
- small compile fixes
—
Roy Ward /
githubweb
- fixes to split document
—
Roy Ward /
githubweb
- stability improvements to LSP (two bugs cancelling out fixed)
—
Roy Ward /
githubweb
- fixed lsp server so any splitting mode should work
—
Roy Ward /
githubweb
- new utf8/utf16 character stuff _mostly_ working
—
Roy Ward /
githubweb
- remove compiler changes
—
Roy Ward /
githubweb
- change fix, turned off some debugging
—
Roy Ward /
githubweb
- no module
—
Douglas R Miles /
githubweb
- janus_swi.query_once
—
Douglas R Miles /
githubweb
- fixed warnings
—
Douglas R Miles /
githubweb
- Handle get_name methods
—
Douglas R Miles /
githubweb
- handle_method_call
—
Douglas R Miles /
githubweb
- Handle get_* methods
—
Douglas R Miles /
githubweb
- ~/metta-wam/src/canary$ python metta_python_override.py
—
Douglas R Miles /
githubweb
- ~/metta-wam/src/canary$ python metta_python_override.py
—
Douglas R Miles /
githubweb
- ~/metta-wam/src/canary$ python metta_python_override.py
—
Douglas R Miles /
githubweb
- dynamically define my_module
—
Douglas R Miles /
githubweb
- VSPACE_VERBOSE -> METTALOG_VERBOSE, nonlocal submode, '@'('none'))
—
Douglas R Miles /
githubweb
- metta_python_override
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- Added Prolog transpilation comments and assertTrue functional predicate.
—
Douglas R Miles /
githubweb
- Refactored mettalogpy_repl and added maybe_load_metta_python_patcher logic.
—
Douglas R Miles /
githubweb
- Changed determinism annotations for lookup_spft_match and lookup_spft_match_deeper.
—
Douglas R Miles /
githubweb
- Added lazy loading for Metta Python proxy and refactored initialization logic.
—
Douglas R Miles /
githubweb
- Fixes to some of the PLDocs
—
Douglas R Miles /
githubweb
- Comments added, remove from docme
—
Mike Archbold /
githubweb
- remove from docme
—
Mike Archbold /
githubweb
- fixes due to docs pfc
—
Mike Archbold /
githubweb
- fixes due to docs pfc
—
Mike Archbold /
githubweb
- fixes due to docs pfc
—
Mike Archbold /
githubweb
- progress towards saving test report copies by number of failures
—
AdrickTench /
githubweb
- remove debugging print in into_junit.py
—
AdrickTench /
githubweb
- progress to into_junit.py copying logs to new destination
—
AdrickTench /
githubweb
- copy test logs to new destination in into_junit.py
—
AdrickTench /
githubweb
- run all ci tests
—
AdrickTench /
githubweb
- disable the patcher
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- hyperon-experimental_scripts/g1_docs.metta
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- Fix: Adjust determinism annotations in metta_corelib.pl
—
Douglas R Miles /
githubweb
- Enhancement: Load pldoc library in metta_interp.pl
—
Douglas R Miles /
githubweb
- Fix: Add quietly_sreader/1 predicate in metta_parser.pl
—
Douglas R Miles /
githubweb
- Refactor: Update metta_python_patcher.py with new threading logic
—
Douglas R Miles /
githubweb
- Enhancement: Add Enum and improve error handling in metta_python_proxy.py
—
Douglas R Miles /
githubweb
- Feature: Implement maplist meta-predicates and add dynamic predicates in metta_server.pl
—
Douglas R Miles /
githubweb
- metta_python_patcher.py
—
Douglas R Miles /
githubweb
- metta_python_patcher.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- with_safe_argv
—
Douglas R Miles /
githubweb
- PlDoced patcher in corelib
—
Douglas R Miles /
githubweb
- src/canary/metta_proxy.py
—
Douglas R Miles /
githubweb
- src/canary/metta_python_patcher.py
—
Douglas R Miles /
githubweb
- py-exec
—
Douglas R Miles /
githubweb
- improved handling of file names
—
Mike Archbold /
githubweb
- improved comments
—
Mike Archbold /
githubweb
- Remove program
—
Mike Archbold /
githubweb
- Comments added
—
Mike Archbold /
githubweb
- Comments added
—
Mike Archbold /
githubweb
- libgoogle-perftools-dev : Depends: libunwind-dev oopsy
—
Douglas R Miles /
githubweb
- libgoogle-perftools-dev : Depends: libunwind-dev
—
Douglas R Miles /
githubweb
- rest of remove metta_corelib
—
Douglas R Miles /
githubweb
- remove metta_corelib
—
Douglas R Miles /
githubweb
- Remove torch/torchvision
—
Douglas R Miles /
githubweb
- allows `source INSTALL.sh --force --easy --swi=src`
—
Douglas R Miles /
githubweb
- max-time! docs and tests
—
AdrickTench /
githubweb
- sexpr stuff working (but not annotated)
—
Roy Ward /
githubweb
- lsp changes
—
Roy Ward /
githubweb
- mostly working, needs cleanup
—
Roy Ward /
githubweb
- minimal but working (very basic hover) LSP server
—
Roy Ward /
githubweb
- removed the ones i already merged into canary
—
Douglas R Miles /
githubweb
- removed unused docme mizer
—
Douglas R Miles /
githubweb
- removed unused docmes
—
Douglas R Miles /
githubweb
- catch/throw docs and tests
—
AdrickTench /
githubweb
- one more catch/throw test
—
AdrickTench /
githubweb
- more README updates under tests
—
Douglas R Miles /
githubweb
- fixed paths in README under tests
—
Douglas R Miles /
githubweb
- README of dir contents
—
Douglas R Miles /
githubweb
- removed minimal-metta updated metta-motto
—
Douglas R Miles /
githubweb
- passing back to mike for real this timed
—
Douglas R Miles /
githubweb
- passing back to mike
—
Douglas R Miles /
githubweb
- canary_docme/metta_python.pl
—
Douglas R Miles /
githubweb
- fixed pldocs
—
Douglas R Miles /
githubweb
- allow hyperon to not be fully installed
—
Douglas R Miles /
githubweb
- expand the default installed python packages
—
Douglas R Miles /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments added
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- comments
—
Mike Archbold /
githubweb
- Tests for maplist!
—
AdrickTench /
githubweb
- file-level documentation for maplist! and concurrent-maplist!
—
AdrickTench /
githubweb
- test for concurrent-maplist!
—
AdrickTench /
githubweb
- doc and type declarations for maplist! and concurrent-maplist!
—
AdrickTench /
githubweb
- Docs and tests for findall!
—
AdrickTench /
githubweb
- move maplist! tests
—
AdrickTench /
githubweb
- update concurrent-maplist! tests with timeouts
—
AdrickTench /
githubweb
- fixed nondet bug in evql_40
—
Douglas R Miles /
githubweb
- add to path python/hyperonpy.py
—
Douglas R Miles /
githubweb
- load_metta_python_proxy
—
Douglas R Miles /
githubweb
- export METTALOG_VERBOSE=1
—
Douglas R Miles /
githubweb
- restored the tensor test result
—
Douglas R Miles /
githubweb
- src/canary/metta_parser.pl allow block commentss -- no rule saying we cant have them in metta!
—
Douglas R Miles /
githubweb
- remove the error/warnming about metta_reader
—
Douglas R Miles /
githubweb
- hyperonpy.py_less_free
—
Douglas R Miles /
githubweb
- hyperonpy.py
—
Douglas R Miles /
githubweb
- hyperonpy
—
Douglas R Miles /
githubweb
- hyperonpy
—
Douglas R Miles /
githubweb
- motto
—
Douglas R Miles /
githubweb
- first real sync with https://github.com/trueagi-io/hyperon-experimental in order to start https://github.com/trueagi-io/metta-wam/issues/11 and https://github.com/trueagi-io/metta-wam/issues/12 and https://github.com/trueagi-io/metta-wam/issues/7
—
Douglas R Miles /
githubweb
- first divergence with with https://github.com/trueagi-io/hyperon-experimental https://github.com/trueagi-io/metta-wam/issues/11
—
Douglas R Miles /
githubweb
- README.md for the python stuff
—
Douglas R Miles /
githubweb
- making it easier to rename the compiler
—
Douglas R Miles /
githubweb
- towards https://github.com/trueagi-io/metta-wam/issues/11 and https://github.com/trueagi-io/metta-wam/issues/12 and https://github.com/trueagi-io/metta-wam/issues/7
—
Douglas R Miles /
githubweb
- fuller arities of maplist! concurrent-maplist!
—
Douglas R Miles /
githubweb
- try to separate nightly and ci tests
—
AdrickTench /
githubweb
- debugging subfolder param
—
AdrickTench /
githubweb
- debugging subfolder param
—
AdrickTench /
githubweb
- try different approach for setting subfolder
—
AdrickTench /
githubweb
- only run nightly tests in main repo
—
AdrickTench /
githubweb
- comment update
—
Mike Archbold /
githubweb
- comment update
—
Mike Archbold /
githubweb
- add defragmenter python program
—
Mike Archbold /
githubweb
- metta_parser
—
Douglas R Miles /
githubweb
- Removal of unused metta_reader.pl
—
Douglas R Miles /
githubweb
- fix of one intersection test
—
Douglas R Miles /
githubweb
- Runs all the baseline tets once again
—
Douglas R Miles /
githubweb
- Updates for or tests
—
Douglas R Miles /
githubweb
- Update to CI to put valid links in test output
—
Douglas R Miles /
githubweb
- Probably fixes the broken repl that @royward was thiunking was the case
—
Douglas R Miles /
githubweb
- correct intersect-elements which needs a collapse on the outside
—
Douglas R Miles /
githubweb
- .answers files
—
Douglas R Miles /
githubweb
- fixed to pldoc entries
—
Douglas R Miles /
githubweb
- using a lambda in report_progress_so_far/4
—
Douglas R Miles /
githubweb
- Update to tests like intersection
—
Douglas R Miles /
githubweb
- fixed type that coused tests to fail
—
Douglas R Miles /
githubweb
- show progress per test
—
Douglas R Miles /
githubweb
- quick/ .answers
—
Douglas R Miles /
githubweb
- baselien AR = 100%
—
Douglas R Miles /
githubweb
- ./double_file.sh
—
Douglas R Miles /
githubweb
- fix for reader error neededing @arg Position The current /3 Term of the stream. and missing pred
—
Douglas R Miles /
githubweb
- Handle codelists for #115
—
Douglas R Miles /
githubweb
- Actual file #115
—
Douglas R Miles /
githubweb
- Fix for https://github.com/trueagi-io/metta-wam/issues/115
—
Douglas R Miles /
githubweb
- test_spo_03_5000
—
Douglas R Miles /
githubweb
- ../../baseline_compat/anti-regression/issues/metta-wam-issue-116/hald_spo_116378.metta
—
Douglas R Miles /
githubweb
- INSTALL_TYPE=jenkins_ci
—
Douglas R Miles /
githubweb
- ../../../Test-files.vpj
—
Douglas R Miles /
githubweb
- metta_persists
—
Douglas R Miles /
githubweb
- ensure_loaded(metta_parser).
—
Douglas R Miles /
githubweb
- web2.0
—
Douglas R Miles /
githubweb
- almost completed web2.0 tests
—
Douglas R Miles /
githubweb
- In progress docme files from Douglas
—
Douglas R Miles /
githubweb
- began process of depricating/removing old reader
—
Douglas R Miles /
githubweb
- Begun fix for https://github.com/trueagi-io/metta-wam/issues/115
—
Douglas R Miles /
githubweb
- first effort documenting
—
Mike Archbold /
githubweb
- or test
—
Mike Archbold /
githubweb
- Delete comment try
—
Mike Archbold /
githubweb
- test updates
—
Mike Archbold /
githubweb
- documented metta_repl.pl
—
Roy Ward /
githubweb
- still working on LSP hover
—
Roy Ward /
githubweb