Change Log for mettalog #152 [Jenkins]

Status

Changes

Console Output

View Build Information

Polling Log

Metadata

Timings

Git Build Data

Changes since last success

Compare environment

Previous Build

Next Build

build #152 : Changes
1. do not halt on metta>@ (details / githubweb)
build #151 : Changes
1. fixed line ending issue that was messing with didChange, and an escaped character in string issue (details / githubweb)
2. syntax highlighting (details / githubweb)
3. improved syntax highlighting (details / githubweb)
build #150 : Changes
1. update docs for Minimal MeTTa functions (details / githubweb)
2. tests for Minimal MeTTa (details / githubweb)
build #149 : Changes
1. add comments (details / githubweb)
2. add comments (details / githubweb)
3. add comments (details / githubweb)
build #148 : Changes
1. begining of codeActions (details / githubweb)
2. Pre worker pool (details / githubweb)
3. lsp_worker_threads(0) (details / githubweb)
4. anonymous QueueId (details / githubweb)
5. @doc for Bool (details / githubweb)
6. Group declarations by type (details / githubweb)
build #147 : Changes
1. run recompile from debug server by jsut pressing enter (details / githubweb)
2. Export clause_with_arity_in_file_at_position/4 in LSP Server (details / githubweb)
3. hacky threading system as well as refernces/definition provers etc (details / githubweb)
build #146 : Changes
1. add comments (details / githubweb)
2. add comments (details / githubweb)
build #145 : Changes
1. set default src_indents to false (details / githubweb)
build #144 : Changes
1. add comments (details / githubweb)
2. add comments (details / githubweb)
3. add comments (details / githubweb)
build #143 : Changes
1. allow for late definition to be evaluated (details / githubweb)
build #142 : Changes
1. update doc on setup-call-cleanup! (details / githubweb)
2. additional test for setup-call-cleanup (details / githubweb)
3. docs/tests for hyperpose, sequential, and do (details / githubweb)