Skip to content
[Jenkins]Jenkins
log in
Success

#339 (Dec 6, 2024, 9:49:21 AM)

Started 16 days ago
Took 5.4 sec

Started by GitHub push by TeamSPoon

This run spent:

  • 6.4 sec waiting;
  • 5.4 sec build duration;
  • 11 sec total from scheduled to completion.
Revision: 352b2973fafcd87d0448b176f40afa5f5cc35b63
Repository: https://github.com/trueagi-io/metta-wam/
  • refs/remotes/origin/main
Environment Variables(45)13 different
Slave Information(99)2 different
Project Information(15)0 different
Changes
  1. try to separate nightly and ci tests (details / githubweb)
  2. debugging subfolder param (details / githubweb)
  3. debugging subfolder param (details / githubweb)
  4. try different approach for setting subfolder (details / githubweb)
  5. comment update (details / githubweb)
  6. comment update (details / githubweb)
  7. only run nightly tests in main repo (details / githubweb)
  8. Removal of unused metta_reader.pl (details / githubweb)
  9. fix of one intersection test (details / githubweb)
  10. add defragmenter python program (details / githubweb)
  11. metta_parser (details / githubweb)
  12. Tests for maplist! (details / githubweb)
  13. file-level documentation for maplist! and concurrent-maplist! (details / githubweb)
  14. test for concurrent-maplist! (details / githubweb)
  15. doc and type declarations for maplist! and concurrent-maplist! (details / githubweb)
  16. Docs and tests for findall! (details / githubweb)
  17. move maplist! tests (details / githubweb)
  18. update concurrent-maplist! tests with timeouts (details / githubweb)
  19. comments added (details / githubweb)
  20. comments (details / githubweb)
  21. sexpr stuff working (but not annotated) (details / githubweb)
  22. comments (details / githubweb)
  23. fuller arities of maplist! concurrent-maplist! (details / githubweb)
  24. making it easier to rename the compiler (details / githubweb)
  25. 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 (details / githubweb)
  26. 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 (details / githubweb)
  27. first divergence with with https://github.com/trueagi-io/hyperon-experimental  https://github.com/trueagi-io/metta-wam/issues/11 (details / githubweb)
  28. README.md for the python stuff (details / githubweb)
  29. hyperonpy (details / githubweb)
  30. hyperonpy (details / githubweb)
  31. motto (details / githubweb)
  32. hyperonpy.py (details / githubweb)
  33. hyperonpy.py_less_free (details / githubweb)
  34. remove the error/warnming about metta_reader (details / githubweb)
  35. restored the tensor test result (details / githubweb)
  36. src/canary/metta_parser.pl allow block commentss -- no rule saying we cant have them in metta! (details / githubweb)
  37. add to path python/hyperonpy.py (details / githubweb)
  38. load_metta_python_proxy (details / githubweb)
  39. export METTALOG_VERBOSE=1 (details / githubweb)
  40. fixed nondet bug in evql_40 (details / githubweb)
  41. comments (details / githubweb)
  42. comments (details / githubweb)
  43. fixed pldocs (details / githubweb)
  44. allow hyperon to not be fully installed (details / githubweb)
  45. expand the default installed python packages (details / githubweb)
  46. canary_docme/metta_python.pl (details / githubweb)
  47. passing back to mike (details / githubweb)
  48. passing back to mike for real this timed (details / githubweb)
  49. README of dir contents (details / githubweb)
  50. removed minimal-metta updated metta-motto (details / githubweb)
  51. fixed paths in README under tests (details / githubweb)
  52. more README updates under tests (details / githubweb)
  53. catch/throw docs and tests (details / githubweb)
  54. one more catch/throw test (details / githubweb)
  55. lsp changes (details / githubweb)
  56. improved handling of file names (details / githubweb)
  57. removed unused docmes (details / githubweb)
  58. removed unused docme mizer (details / githubweb)
  59. removed the ones i already merged into canary (details / githubweb)
  60. mostly working, needs cleanup (details / githubweb)
  61. minimal but working (very basic hover) LSP server (details / githubweb)
  62. max-time! docs and tests (details / githubweb)
  63. improved comments (details / githubweb)
  64. small compile fixes (details / githubweb)
  65. allows `source INSTALL.sh --force --easy --swi=src` (details / githubweb)
  66. Remove torch/torchvision (details / githubweb)
  67. remove metta_corelib (details / githubweb)
  68. rest of remove metta_corelib (details / githubweb)
  69. fixes to split document (details / githubweb)
  70. stability improvements to LSP (two bugs cancelling out fixed) (details / githubweb)
  71. Remove program (details / githubweb)
  72. Comments added (details / githubweb)
  73. libgoogle-perftools-dev : Depends: libunwind-dev (details / githubweb)
  74. libgoogle-perftools-dev : Depends: libunwind-dev oopsy (details / githubweb)
  75. Comments added (details / githubweb)
  76. progress towards saving test report copies by number of failures (details / githubweb)
  77. fixed lsp server so any splitting mode should work (details / githubweb)
  78. src/canary/metta_proxy.py (details / githubweb)
  79. src/canary/metta_python_patcher.py (details / githubweb)
  80. py-exec (details / githubweb)
  81. with_safe_argv (details / githubweb)
  82. PlDoced patcher in corelib (details / githubweb)
  83. metta_python_patcher.py (details / githubweb)
  84. metta_python_patcher.py (details / githubweb)
  85. remove debugging print in into_junit.py (details / githubweb)
  86. progress to into_junit.py copying logs to new destination (details / githubweb)
  87. copy test logs to new destination in into_junit.py (details / githubweb)
  88. run all ci tests (details / githubweb)
  89. src/canary/metta_python_patcher.py (details / githubweb)
  90. src/canary/metta_python_patcher.py (details / githubweb)
  91. src/canary/metta_python_patcher.py (details / githubweb)
  92. src/canary/metta_python_patcher.py (details / githubweb)
  93. Comments added, remove from docme (details / githubweb)
  94. remove from docme (details / githubweb)
  95. fixes due to docs pfc (details / githubweb)
  96. fixes due to docs pfc (details / githubweb)
  97. Fix: Adjust determinism annotations in metta_corelib.pl (details / githubweb)
  98. Enhancement: Load pldoc library in metta_interp.pl (details / githubweb)
  99. Fix: Add quietly_sreader/1 predicate in metta_parser.pl (details / githubweb)
  100. Refactor: Update metta_python_patcher.py with new threading logic (details / githubweb)
  101. Enhancement: Add Enum and improve error handling in metta_python_proxy.py (details / githubweb)
  102. Feature: Implement maplist meta-predicates and add dynamic predicates in metta_server.pl (details / githubweb)
  103. hyperon-experimental_scripts/g1_docs.metta (details / githubweb)
  104. src/canary/metta_python_patcher.py (details / githubweb)
  105. disable the patcher (details / githubweb)
  106. fixes due to docs pfc (details / githubweb)
  107. Fixes to some of the PLDocs (details / githubweb)
  108. Added Prolog transpilation comments and assertTrue functional predicate. (details / githubweb)
  109. Refactored mettalogpy_repl and added maybe_load_metta_python_patcher logic. (details / githubweb)
  110. Changed determinism annotations for lookup_spft_match and lookup_spft_match_deeper. (details / githubweb)
  111. Added lazy loading for Metta Python proxy and refactored initialization logic. (details / githubweb)
  112. comments (details / githubweb)
  113. Add file manual (details / githubweb)
  114. comments (details / githubweb)
  115. metta_python_override (details / githubweb)
  116. VSPACE_VERBOSE -> METTALOG_VERBOSE,  nonlocal submode, '@'('none')) (details / githubweb)
  117. dynamically define my_module (details / githubweb)
  118. ~/metta-wam/src/canary$ python metta_python_override.py (details / githubweb)
  119. ~/metta-wam/src/canary$ python metta_python_override.py (details / githubweb)
  120. ~/metta-wam/src/canary$ python metta_python_override.py (details / githubweb)
  121. comments (details / githubweb)
  122. handle_method_call (details / githubweb)
  123. Handle get_* methods (details / githubweb)
  124. Handle get_name methods (details / githubweb)
  125. add manually4 metta analyse and divide code (details / githubweb)
  126. tests/docs for limit! (details / githubweb)
  127. comments (details / githubweb)
  128. janus_swi.query_once (details / githubweb)
  129. new utf8/utf16 character stuff _mostly_ working (details / githubweb)
  130. fixed warnings (details / githubweb)
  131. no module (details / githubweb)
  132. comments (details / githubweb)
  133. remove compiler changes (details / githubweb)
  134. change fix, turned off some debugging (details / githubweb)
  135. docs/tests for call! and call-string! (details / githubweb)
  136. working on readme (details / githubweb)
  137. image (details / githubweb)
  138. Update README.md (details / githubweb)
  139. Update README.md (details / githubweb)
  140. hybrid of old and new compiler (details / githubweb)
  141. o_f_v (details / githubweb)
  142. Adjusted oo_new/3 to reuse objects based on Type and 'value' field (details / githubweb)
  143. Adjusted oo_new/3 to reuse objects based on Type and 'value' field, matching all other fields (details / githubweb)
  144. Slightly more OOP in Prolog (details / githubweb)
  145. src/canary/metta_python_override.py (details / githubweb)
  146. better overriding (details / githubweb)
  147. do_metta(stdio,+,'&self',String,Result) (details / githubweb)
  148. comments (details / githubweb)
  149. refactored the files (details / githubweb)
  150. comments (details / githubweb)
  151. Update7 to try to come in sync (details / githubweb)
  152. Created 01 Metta from Rust (details / githubweb)
  153. Upload overview2 in Csv (details / githubweb)
  154. comments (details / githubweb)
  155. comments (details / githubweb)
  156. comments (details / githubweb)
  157. New motto (details / githubweb)
  158. catchup on python/hyperon/exts (details / githubweb)
  159. back towards previous metta_repl (details / githubweb)
  160. dont claim hyperonpy (details / githubweb)
  161. allow actual escape characters (details / githubweb)
  162. 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 (details / githubweb)
  163. do not quit on comment in input (details / githubweb)
  164. oops this belonged in the last commit -notrace(G):- once(G). (details / githubweb)
  165. fix for https://github.com/trueagi-io/metta-wam/issues/128 (details / githubweb)
  166. really fixed https://github.com/trueagi-io/metta-wam/issues/128 (details / githubweb)
  167. GDL  tests/features/games/ (details / githubweb)
  168. update2 from python generated metta (details / githubweb)
  169. update3 from python generated metta (details / githubweb)
  170. GDL  tests/features/games/ (details / githubweb)
  171. docs for number-of (details / githubweb)
  172. number-of tests (details / githubweb)
  173. docs/tests for offset! (details / githubweb)
  174. more setup-call-cleanup! tests (details / githubweb)
  175. test for issue #145 (details / githubweb)
  176. Update README.md (details / githubweb)
  177. the  and   enviroment variables mean quit a bit to SWI-Prolog! (details / githubweb)
  178. Pretend for now we have a nondeterministic sig_atomic (details / githubweb)
  179. Handle mostly blank lines (details / githubweb)
  180. Dont mess with envrioment more thna we have to (details / githubweb)
  181. Faster/sounder Tuple check (details / githubweb)
  182. simplify the pretty printer (details / githubweb)
  183. py-chain Impl .. still needs do0cs and test (details / githubweb)
  184. py-chain Impl .. still needs do0cs and test (details / githubweb)
  185. with_enc (details / githubweb)
  186. -    throw(i_loaded_this) (details / githubweb)
  187. Update README.md (details / githubweb)
  188. update doc on setup-call-cleanup! (details / githubweb)
  189. comments (details / githubweb)
  190. comments (details / githubweb)
  191. python (details / githubweb)
  192. quietly checking if requirements are still met (details / githubweb)
  193. python stuff added to .gitignore (details / githubweb)
  194. snapshot (details / githubweb)
  195. comments (details / githubweb)
  196. update5 from python generated metta (details / githubweb)
  197. Update to LSP Server README.md about the vsce packaging (details / githubweb)
  198. Removed lines breakign the LSP Server (details / githubweb)
  199. Fixed py_nth (details / githubweb)
  200. Couple of early on tests (details / githubweb)
  201. Update analyse to a Table and after CSV (details / githubweb)
  202. Update to try to come in sync (details / githubweb)
  203. update python generated (details / githubweb)
  204. Update5 to try to come in sync (details / githubweb)
  205. Installation steps Pdf (details / githubweb)
  206. begun the help! / get-doc interface that will work via the repl (details / githubweb)
  207. predicate_help_fallback_hook/4 (details / githubweb)
  208. Impl if-decons-expr (details / githubweb)
  209. Installation steps-2 HTM (details / githubweb)
  210. Installation steps-3 HTM (details / githubweb)
  211. Forgotten code to unbreka the LSP Server (details / githubweb)
  212. Installation steps4 Pdf (details / githubweb)
  213. fixed line issues in LSP (details / githubweb)
  214. reverts (details / githubweb)
  215. reverts (details / githubweb)
  216. reverts (details / githubweb)
  217. Add py-chain docs (details / githubweb)
  218. Add another py-chain test (details / githubweb)
  219. make_metta_file_buffer plus --help (details / githubweb)
  220. make_metta_file_buffer plus 2 (details / githubweb)
  221. trace_on_pass (details / githubweb)
  222. show function src (details / githubweb)
  223. Write the full source content if it's complex (details / githubweb)
  224. recover from stream errors durring input (details / githubweb)
  225. allow read over multiple lines (details / githubweb)
  226. allow stream_error/2s to be caught differntly than program errors (details / githubweb)
  227. reference links (details / githubweb)
  228. File ref links working (details / githubweb)
  229. allow type links.. make sure the help! command runs under a  flag (details / githubweb)
  230. Fixed allow type links.. make sure the help! command runs under a  flag (details / githubweb)
  231. split by clause (details / githubweb)
  232. additional test for setup-call-cleanup (details / githubweb)
  233. split by clause, save some metadata (details / githubweb)
  234. add comments (details / githubweb)
  235. remove bad venvs (details / githubweb)
  236. Slighhtly less torent to INSTALL.sh problems (details / githubweb)
  237. Could NOT find LibYAML (missing: LIBYAML_INCLUDE_DIR YAML_LIBRARY) (details / githubweb)
  238. install_swi_from_src restores direcotry in failure (details / githubweb)
  239. dont print success message twice (details / githubweb)
  240. try to source the INSTALL.sh from Dockerfile (details / githubweb)
  241. renamed:    src/canary/metta_help.pl -> src/packs/lsp_server_metta/prolog/lsp_metta_outline.pl (details / githubweb)
  242. dbg_server_thread (details / githubweb)
  243. quick python compare for testing (details / githubweb)
  244. better line number tracking (details / githubweb)
  245. first cut of documentSymbol in which makes a vscode outline sheet (details / githubweb)
  246. Generated metta lang dev (details / githubweb)
  247. add comments (details / githubweb)
  248. fixed line ending issue that was messing with didChange, and an escaped character in string issue (details / githubweb)
  249. element -> outline (details / githubweb)
  250. xref_source_expired (details / githubweb)
  251. type_kind (details / githubweb)
  252. populate variablke names (details / githubweb)
  253. docs/tests for hyperpose, sequential, and do (details / githubweb)
  254. allow for late definition to be evaluated (details / githubweb)
  255. add comments (details / githubweb)
  256. add comments (details / githubweb)
  257. set default src_indents to false (details / githubweb)
  258. run recompile from debug server by jsut pressing enter (details / githubweb)
  259. Export clause_with_arity_in_file_at_position/4 in LSP Server (details / githubweb)
  260. add comments (details / githubweb)
  261. add comments (details / githubweb)
  262. syntax highlighting (details / githubweb)
  263. hacky threading system as well as refernces/definition provers etc (details / githubweb)
  264. begining of codeActions (details / githubweb)
  265. Pre worker pool (details / githubweb)
  266. update docs for Minimal MeTTa functions (details / githubweb)
  267. metta to prolog transpile visual-prolog 52 (details / githubweb)
  268. tests for Minimal MeTTa (details / githubweb)
  269. lsp_worker_threads(0) (details / githubweb)
  270. anonymous QueueId (details / githubweb)
  271. add comments (details / githubweb)
  272. add comments (details / githubweb)
  273. improved syntax highlighting (details / githubweb)
  274. add comments (details / githubweb)
  275. @doc for Bool (details / githubweb)
  276. Group declarations by type (details / githubweb)
  277. do not halt on metta>@ (details / githubweb)
  278. get rid of extra_answer_padding (details / githubweb)
  279. buffer the answer outpout into temp file but will change to becoem a memfile (details / githubweb)
  280. in_answer_io using memfile isntead of disk (details / githubweb)
  281. handle_catcher(exit) :- ! (details / githubweb)
  282. added missing old code (details / githubweb)
  283. removed that elusive choice point (details / githubweb)
  284. Fixed Syntax error: duplicate_key expected, found "codeActionProvider" (details / githubweb)
  285. dont double print answers (details / githubweb)
  286. fixed typo (details / githubweb)
  287. 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 (details / githubweb)
  288. add a couple more minimal metta tests (details / githubweb)
  289. updated python tests and transpiler (details / githubweb)
  290. added two missing preds (details / githubweb)
  291. update_changed_files (details / githubweb)
  292. Fix for https://github.com/trueagi-io/metta-wam/issues/169 (details / githubweb)
  293. add comments (details / githubweb)
  294. Only compute actions for symbols right now (details / githubweb)
  295. Update flybase_rust_uses_python_vspace.metta (details / githubweb)
  296. created Python tests and metta-lang (details / githubweb)
  297. using new metta_file_buffer/7 and a buch of LSP Additions (details / githubweb)
  298. really using new metta_file_buffer/7 (details / githubweb)
  299. canary really using new metta_file_buffer/7 (details / githubweb)
  300. add tests/features/lsp_server/bad_line_endings.metta (details / githubweb)
  301. Fixed outline_name/2 (details / githubweb)
  302. better ordinal (details / githubweb)
  303. add comments (details / githubweb)
  304. crazy outline (details / githubweb)
  305. was_end/2 (details / githubweb)
  306. src/comp_werks (details / githubweb)
  307. Fixed the loading of stdlib_mettalog for now (details / githubweb)
  308. add comments (details / githubweb)
  309. docs for eval-for and compile! (details / githubweb)
  310. created metta-lang tests about 30 to go (details / githubweb)
  311. add comments (details / githubweb)
  312. clarify prolog mode (details / githubweb)
  313. checkpoint for lsp #0 (details / githubweb)
  314. isolate doc_text_d4 from doc_text which is full text (details / githubweb)
  315. created metta-lang tests about 10 to go (details / githubweb)
  316. updates to LSP server and mettalog that are required for the LSP Server (details / githubweb)
  317. Back to almost working version of compiler (details / githubweb)
  318. allow errors and warning rather than silently doing nothing as the clause above would have done (details / githubweb)
  319. created metta-lang tests Allpossible one (details / githubweb)
  320. comments added (details / githubweb)
  321. comments added (details / githubweb)
  322. src/canary/metta_compiler_werk.pl (details / githubweb)
  323. Comp works (details / githubweb)
  324. super_safety_checks + on_mettalog_error (details / githubweb)
  325. super_safety_checks + on_mettalog_error (details / githubweb)
  326. comments added (details / githubweb)
  327. Use scripts/lsp_server_prolog_install.sh in INSTALL.sh (details / githubweb)
  328. +LINK_TARGET="$HOME/metta-wam/src/packs/lsp_server_metta" (details / githubweb)
  329. move super_safety_checks/1 to metta_utils.pl (details / githubweb)
  330. src/comp_werks2 (details / githubweb)
  331. @jazzbox35 commenting merged to src/comp_werks2 (details / githubweb)
  332. symlink rest of the pack dirs (details / githubweb)
  333. remove pldoc warnings (details / githubweb)
  334. ideally settings will be sent with initialize (details / githubweb)
  335. LSP Server experimental settings (details / githubweb)
  336. Ok, evidently only metta-lsp.trace.server gets sent on changes (details / githubweb)
  337. Ok, evidently only metta-lsp.trace.server gets sent on changes so trying only two settings.. also bumping version to 0.0.4 (details / githubweb)
  338. comments added (details / githubweb)
  339. comments added (details / githubweb)
  340. comments added (details / githubweb)
  341. created metta-lang Spaces and tested (details / githubweb)
  342. comments added (details / githubweb)
  343. comments added (details / githubweb)
  344. comments added (details / githubweb)
  345. Merge of the compiler_werk.pl into compiler.pl (details / githubweb)
  346. src/canary/metta_compiler.pl (details / githubweb)
  347. easy_tests (details / githubweb)
  348. hyperon-wam.vpj (details / githubweb)
  349. start of thread LSP server (details / githubweb)
  350. do_work_stuff(QueueId) (details / githubweb)
  351. Update README.md (details / githubweb)
  352. cleaned metta lang and moved to baseline compat (details / githubweb)
  353. comments added (details / githubweb)
  354. comments added (details / githubweb)
  355. compile, compile-space tests & docs (details / githubweb)
  356. eval-for docs & tests (details / githubweb)
  357. Update install so it doesnt terminate github workflow (details / githubweb)
  358. Fix syntax error in INSTAL.sh (missing then in if) (details / githubweb)
  359. better resolution in setup scripts for LINK_TARGET (details / githubweb)
  360. dont use prolog_ide(debug_monitor) (details / githubweb)
  361. function-arity, predicate-arity docs & tests (details / githubweb)
  362. comments added (details / githubweb)
  363. docs/tests for call-p! (details / githubweb)
  364. fixed duplicate predicates in interpreter (details / githubweb)
  365. Moved ther threaded/queueing code to its own section (details / githubweb)
  366. added metta lang 24 tests (details / githubweb)
  367. lsp_hooks:code_action (details / githubweb)
  368. better eval_metta (details / githubweb)
  369. lsp_hooks:exec_code_action + answer_output is no longer using a temp file (it uses a memfile) (details / githubweb)
  370. comments added (details / githubweb)
  371. added metta lang PDF table (details / githubweb)
  372. src/packs/lsp_server_metta/lsp-metta.el (details / githubweb)
  373. more moving to compiler prefix (details / githubweb)
  374. get rid of fixme messages (details / githubweb)
  375. comments added (details / githubweb)
  376. nthx case mostly working (details / githubweb)
  377. lsp_server_requests (details / githubweb)
  378. Our request listener hooks monitor these on their own (details / githubweb)
  379. Fix for https://github.com/trueagi-io/metta-wam/issues/185 Dockerfile needs modification to run without errors #185 (details / githubweb)
  380. remove temp files (details / githubweb)
  381. tests/docs for open, close, with-output-to (details / githubweb)
  382. comments added (details / githubweb)
  383. docs for load-file, load-ascii (details / githubweb)
  384. docs for include! (details / githubweb)
  385. vscode-extra-settings (details / githubweb)
  386. fetch_workspace_configuration (details / githubweb)
  387. cleaned up check_supporting_predicates, added transpiler_mutex_lock (details / githubweb)
  388. fix u_assign replacement (details / githubweb)
  389. std debug for prolog (details / githubweb)
  390. sync lsp config (details / githubweb)
  391. tests/baseline_compat/hyperon-mettalog_sanity/what_evals_or_not.metta (details / githubweb)
  392. comments added (details / githubweb)
  393. Update fish-riddle.metta (details / githubweb)
  394. Update fish-riddle.metta (details / githubweb)
  395. x (details / githubweb)
  396. package.json (details / githubweb)
  397. x (details / githubweb)
  398. comments added (details / githubweb)
  399. x (details / githubweb)
  400. x (details / githubweb)
  401. x (details / githubweb)
  402. always_rethrow('canceled') (details / githubweb)
  403. comments added (details / githubweb)
  404. basic execution (details / githubweb)
  405. basic execution (details / githubweb)
  406. update doc strings for load functions (details / githubweb)
  407. intermeiate result (details / githubweb)
  408. needing to prefix  user:metta_file_buffer (details / githubweb)
  409. tests/docs for save-space! (details / githubweb)
  410. removed unneeded unicode (details / githubweb)
  411. docs for rust, rust! (details / githubweb)
  412. Emacs does return a Client Configuration List (details / githubweb)
  413. x (details / githubweb)
  414. x (details / githubweb)
  415. comments added (details / githubweb)
  416. Lower impredicence of stdlib in diff tool (details / githubweb)
  417. added docs to 10 new functiosn.. @todo their impl (details / githubweb)
  418. added missing head_preconds_into_body/4 (details / githubweb)
  419. expirery (details / githubweb)
  420. fibonacci working (details / githubweb)
  421. 17 more functions (details / githubweb)
  422. comments added (details / githubweb)
  423. x (details / githubweb)
  424. x (details / githubweb)
  425. to address https://github.com/trueagi-io/metta-wam/issues/197 where caught exception is bubbling too far upwards (details / githubweb)
  426. Way more stdlib docs (details / githubweb)
  427. really should have a hover that lets us see precompiled MeTTa (details / githubweb)
  428. assertNotEqualToResult+assertNotEqual (details / githubweb)
  429. Setwise operations being implemented in MeTTa instead of backend! (details / githubweb)
  430. Stream errors now tell us where the error started not where the end of file is (details / githubweb)
  431. fixed unballenced paren (details / githubweb)
  432. x (details / githubweb)
  433. rust / rust! tests (details / githubweb)
  434. impletements the usage: metta [-h] [--version | MeTTa script] functions so we can also do https://github.com/trueagi-io/hyperon-experimental/issues/803 (details / githubweb)
  435. More tests related to https://github.com/trueagi-io/hyperon-experimental/issues/803 (details / githubweb)
  436. More tests related to https://github.com/trueagi-io/hyperon-experimental/issues/803 (details / githubweb)
  437. add removal part of test (details / githubweb)
  438. added H-E-Fails wrapper arround predicates that Hyperon Experimental is failing: (details / githubweb)
  439. Makes it pass 4 more minimal metta tests (details / githubweb)
  440. GPT-4 rust extract ... https://chatgpt.com/share/673eda77-7b3c-800c-9d38-64a54bef4823 (details / githubweb)
  441. remove some invalid tests (details / githubweb)
  442. comments added (details / githubweb)
  443. get-type-space (details / githubweb)
  444. more H-E-Fails markers (details / githubweb)
  445. got rid of naughty simple_math/1 call happening early (details / githubweb)
  446. Fixed broken tests (details / githubweb)
  447. comments added (details / githubweb)
  448. got format-args working, added missing file (details / githubweb)
  449. corrected tests (details / githubweb)
  450. tests update (details / githubweb)
  451. sub module updates and better cache file time checking (details / githubweb)
  452. load_flybase_with_size (details / githubweb)
  453. removed redundant metta_lang_dev tests and moved tests that are still being ported to still_porting directory (details / githubweb)
  454. only push a report of the test results have changed (details / githubweb)
  455. nb_bound needs to be slighnly more permisive (details / githubweb)
  456. use current_test_results.txt (details / githubweb)
  457. always publish some of the artifacts (details / githubweb)
  458. always save the state in git repo (details / githubweb)
  459. fix double used 'if' (details / githubweb)
  460. fixed discontiguous warning (details / githubweb)
  461. fixed fatal: a branch named 'test-results' already exists (details / githubweb)
  462. checkout  'test-results' to a subdir and use it (details / githubweb)
  463. added small bits of forward chaining to corelib (details / githubweb)
  464. :run less tests while debugging script (details / githubweb)
  465. try again (details / githubweb)
  466. removed double ifd (details / githubweb)
  467. removed double ifs (details / githubweb)
  468. ensure just-results exists (details / githubweb)
  469. ensure just-results exists now (details / githubweb)
  470. Ping for rebuild (details / githubweb)
  471. Ping for rebuild 2 (details / githubweb)
  472. Ping for rebuild 3 (details / githubweb)
  473. Ping for rebuild 4 (details / githubweb)
  474. Ping for rebuild 5 (details / githubweb)
  475. Ping for rebuild 6 (details / githubweb)
  476. impl and doc of the 27 new preds (details / githubweb)
  477. forward chaining the math op types (details / githubweb)
  478. CI WF (details / githubweb)
  479. pow-math (details / githubweb)
  480. simple functionality from exetend_compat that need to be in baseline_compat (details / githubweb)
  481. added _mw to test files that specifically wont be expected to work in hyperon (details / githubweb)
  482. fixed paren ballance (details / githubweb)
  483. fixed missing bang (details / githubweb)
  484. comments added (details / githubweb)
  485. comments added (details / githubweb)
  486. partial docs and implementation for coerce (details / githubweb)
  487. don't run nightly tests on forks (details / githubweb)
  488. list_vs_term_syntax_mw.metta (details / githubweb)
  489. portray_compound_l_m_r (details / githubweb)
  490. corisponding commit to https://github.com/trueagi-io/hyperon-experimental/commit/ccd030863467088c59b1d3a851b79b1edf08c336 (details / githubweb)
  491. add call-fn! doc and using if-decons-expr for easier code compare to minimal metta (details / githubweb)
  492. Testing `predicate-arity` and `function-arity` (details / githubweb)
  493. Update docs for `predicate-arity` and `function-arity` (details / githubweb)
  494. HE issues into tests (details / githubweb)
  495. Fix .metta files to be treated as text (details / githubweb)
  496. Re-normalized .metta files to be treated as text (details / githubweb)
  497. Re-encoded .metta files to UTF-8 (details / githubweb)
  498. Add test for car-atom bug (issue #621): https://github.com/trueagi-io/hyperon-experimental/issues/621 (details / githubweb)
  499. Add test for car-atom bug (issue #621): https://github.com/trueagi-io/hyperon-experimental/issues/621 (details / githubweb)
  500. Add .gitattributes to force .metta files as text (details / githubweb)
  501. Re-normalize *.metta as text (details / githubweb)
  502. Add test for evaluation caching bug (issue #553): https://github.com/trueagi-io/hyperon-experimental/issues/553 (details / githubweb)
  503. Add test for backward chaining on lambda abstraction (issue #556): https://github.com/trueagi-io/hyperon-experimental/issues/556 (details / githubweb)
  504. Add test for recursive tuple/list deconstruction performance (issue #394): https://github.com/trueagi-io/hyperon-experimental/issues/394 (details / githubweb)
  505. Add benchmark for recursive tuple/list deconstruction performance (issue #394): https://github.com/trueagi-io/hyperon-experimental/issues/394 (details / githubweb)
  506. Add benchmark with time assertions for recursive tuple/list deconstruction (issue #394): https://github.com/trueagi-io/hyperon-experimental/issues/394 (details / githubweb)
  507. Add tests for quoting/scoping mechanism in MeTTa (issue #579): https://github.com/trueagi-io/hyperon-experimental/issues/579 (details / githubweb)
  508. Add tests for delaying reduction until bindings are ready (issue #659): https://github.com/trueagi-io/hyperon-experimental/issues/659 (details / githubweb)
  509. Add tests for delaying reduction until bindings are ready (issue #659): https://github.com/trueagi-io/hyperon-experimental/issues/659 (details / githubweb)
  510. Add additional tests for issue #659: Delaying reduction until bindings are ready (details / githubweb)
  511. x (details / githubweb)
  512. Lots of hooks (details / githubweb)
  513. Lots of hooks (details / githubweb)
  514. Still need to make the callbacks file load (details / githubweb)
  515. re-run-file (details / githubweb)
  516. toplevel_form -> toplevel (details / githubweb)
  517. quote the json (details / githubweb)
  518. start of nqueebs explaiantion (details / githubweb)
  519. !(pragma! interpreter bare-minimal) (details / githubweb)
  520. Fixed a typo thaqt was making assertEqualToResult appear twice" (details / githubweb)
  521. MeTTaRust (details / githubweb)
  522. Update README.md (details / githubweb)
  523. Update README.md (details / githubweb)
  524. Update README.md (details / githubweb)
  525. Update README.md (details / githubweb)
  526. Update README.md (details / githubweb)
  527. Update README.md (details / githubweb)
  528. Update README.md (details / githubweb)
  529. Update README.md (details / githubweb)
  530. Update README.md (details / githubweb)
  531. Update README.md (details / githubweb)
  532. Update README.md (details / githubweb)
  533. Update README.md (details / githubweb)
  534. Update README.md (details / githubweb)
  535. Update README.md (details / githubweb)
  536. Update README.md (details / githubweb)
  537. unbotch plain prolog (details / githubweb)
  538. Sometimes its nice to have the output of the transpiler shown (details / githubweb)
  539. bad_line_endings in metta sometimes are on purpose for testing (details / githubweb)
  540. Sometimes its nice to have the output of the transpiler shown in a file (details / githubweb)
  541. Sometimes its nice to have the output of the transpiler shown in a _transout.pl (details / githubweb)
  542. Sometimes its nice to have the output of the transpiler shown in a _transout.pl (details / githubweb)
  543. metta_runtime (details / githubweb)
  544. format_args_ordered_low_overhead (details / githubweb)
  545. non_empty_atom (details / githubweb)
  546. output_language (details / githubweb)
  547. :- dynamic(enabled_log_progress/0). (details / githubweb)
  548. testing updates (details / githubweb)