Skip to content
[Jenkins]Jenkins
log in
Success

#337 (Dec 5, 2024, 8:12:09 AM)

Started 17 days ago
Took 5.2 sec

Started by GitHub push by TeamSPoon

This run spent:

  • 5.6 sec waiting;
  • 5.2 sec build duration;
  • 10 sec total from scheduled to completion.
Revision: 0f578b1c1e28f7709ae0912540f8f1bb49314678
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. onely one resul;t (details / githubweb)
  2. movement of files (details / githubweb)
  3. divided upo mined info (details / githubweb)
  4. swi_flybase_convert (details / githubweb)
  5. setup starting (details / githubweb)
  6. vspace-metta/pyswip/flybase_induced_types.pl (details / githubweb)
  7. scripts/convert_to_metta.sh (details / githubweb)
  8. fixed scripts/convert_to_metta.sh (details / githubweb)
  9. begining of the command debugger (details / githubweb)
  10. CallsVSpace=True (details / githubweb)
  11. nars/current (details / githubweb)
  12. .gitignore (details / githubweb)
  13. tests from ~@abelikov (details / githubweb)
  14. metta_vspace/pyswip/metta_interp.pl (details / githubweb)
  15. metta_vspace/pyswip/metta_interp.pl 2 (details / githubweb)
  16. fast_column (details / githubweb)
  17. show-metta-def (details / githubweb)
  18. write_src (details / githubweb)
  19. all 14 on examples/compat/hyperon-experimental/python/tests/scripts/d1_gadt.metta (details / githubweb)
  20. metta_types (details / githubweb)
  21. metta_types2 (details / githubweb)
  22. metta_types3 (details / githubweb)
  23. metta_types4 (details / githubweb)
  24. 88% (details / githubweb)
  25. maybe 88% (details / githubweb)
  26. .bash_history (details / githubweb)
  27. pyswip/flybase_learn.pl (details / githubweb)
  28. more debugging (details / githubweb)
  29. metta_impl_data (details / githubweb)
  30. v_1 (details / githubweb)
  31. metta_vspace/pyswip/metta_eval.pl (details / githubweb)
  32. metta_vspace/pyswip/metta (details / githubweb)
  33. metta_vspace/pyswip/flybase_learn.pl (details / githubweb)
  34. metta_vspace/pyswip/metta_testing.pl (details / githubweb)
  35. reports/cuRRent (details / githubweb)
  36. ./MeTTa --v_77 (details / githubweb)
  37. 187|    24|    88%| reports/cuRRent/interp_00/hyperon-experimental_scripts (details / githubweb)
  38. fuller readme (details / githubweb)
  39. metta_data. (details / githubweb)
  40. metta_data2 (details / githubweb)
  41. metta_data3 (details / githubweb)
  42. metta_data4 (details / githubweb)
  43. reports (details / githubweb)
  44. 222 (details / githubweb)
  45. units2 (details / githubweb)
  46. reports/ (details / githubweb)
  47. Fixed flybase snaitry tests (details / githubweb)
  48. too  much --help (details / githubweb)
  49. still baseline (details / githubweb)
  50. still baseline 2 (details / githubweb)
  51. numme (details / githubweb)
  52. det_results (details / githubweb)
  53. better concurancy exmaples (details / githubweb)
  54. implemented hyperpose as: eval_40(Eq,RetType,Depth,Self,['hyperpose',ArgL1],ResL):- \!, concurrent_maplist(eval(Eq,RetType,Depth,Self),ArgL1,ResL). (details / githubweb)
  55. exceeds baseline sliughtly (details / githubweb)
  56. from_vspace/ (details / githubweb)
  57. Instatter for VSPAce (details / githubweb)
  58. Queries for flybase testing (details / githubweb)
  59. try this remotely (details / githubweb)
  60. prev_chains (details / githubweb)
  61. /metta_eval.pl.save (details / githubweb)
  62. 4 bioatomspace (details / githubweb)
  63. for bio-atomspace (details / githubweb)
  64. flybase-loader-size-estimates.metta (details / githubweb)
  65. new some differnt backup versions in GIT (details / githubweb)
  66. epxlains how the script mods their system (details / githubweb)
  67. grab package from git now (details / githubweb)
  68. loaded rest of files (details / githubweb)
  69. loaded rest of files (details / githubweb)
  70. loaded rest of files (details / githubweb)
  71. /metta_convert (details / githubweb)
  72. to other (details / githubweb)
  73. unzip_or_redownload.sh (details / githubweb)
  74. examples/features/polymorphic-types/ (details / githubweb)
  75. cvorrectly evals or not the arguments (details / githubweb)
  76. fixed the extra retval (details / githubweb)
  77. pyswip_lng (details / githubweb)
  78. 12-15-want (details / githubweb)
  79. flybase-loader-size-estimates.metta (details / githubweb)
  80. fixed bad merge (details / githubweb)
  81. restored accidental deleteion (details / githubweb)
  82. relative-arithmetic.metta (details / githubweb)
  83. added testcase (details / githubweb)
  84. reports/features/bidirectional_computation/relative-arithmetic.metta.html (details / githubweb)
  85. hyperpose (details / githubweb)
  86. fixed let (details / githubweb)
  87. INSTALL.sh (details / githubweb)
  88. huge just in unit test results (details / githubweb)
  89. omg.. that mispelling has caused a problem :) (details / githubweb)
  90. up by 100 (details / githubweb)
  91. register_remote_code (details / githubweb)
  92. debugging/debug_some.mettarc (details / githubweb)
  93. examples/features/distributed-processing/create-server.metta (details / githubweb)
  94. ssl error should not be deadly (details / githubweb)
  95. is_testing (details / githubweb)
  96. define current_self/1 earlier (details / githubweb)
  97. by default use the fast reader (details / githubweb)
  98. implemented (empty) (details / githubweb)
  99. Freeze (details / githubweb)
  100. multifile(asserted_metta/4) (details / githubweb)
  101. respect string_to_syms (details / githubweb)
  102. data/ftp.flybase.org/releases/current/precomputed_files/md5sum.txt (details / githubweb)
  103. added max-time (details / githubweb)
  104. Add Dockerfile to build docker image with MeTTaLog in it (details / githubweb)
  105. Add section about docker in the README.md (details / githubweb)
  106. mettalog is runfromdocker scrip (details / githubweb)
  107. local development might need these changes without commiting (details / githubweb)
  108. fbugio (details / githubweb)
  109. inchtowards revert (details / githubweb)
  110. inchtowards revert 2 (details / githubweb)
  111. inchtowards revert 3 (details / githubweb)
  112. inchtowards revert 4 (details / githubweb)
  113. implemented (details / githubweb)
  114. send_keys_debug.sh (details / githubweb)
  115. update to how tests/debug runs (details / githubweb)
  116. make sure that ctrl-c works (details / githubweb)
  117. debug_this_script (details / githubweb)
  118. update to allow more compiler use and 2-way translation (details / githubweb)
  119. set  flag argv [] (details / githubweb)
  120. fixed the  examples/python_compat/janus/ tests (details / githubweb)
  121. usign a python function registry (details / githubweb)
  122. MeTTa --compile=full examples/baseline_compat/hyperon-mettalog_sanity/fibo_hang.metta  runs !(fibo 80) in 2.24 milliseconds (details / githubweb)
  123. compile much closer tro rust output.. commitin since it fix other bugs (details / githubweb)
  124. adding in benchmarks (details / githubweb)
  125. rebased mettalog (details / githubweb)
  126. scripts/flybase_setup.sh (details / githubweb)
  127. almost like the real thing (details / githubweb)
  128. dont print executing wtice to log (details / githubweb)
  129. time mettalog examples/performance/comparisons/fibo_hang_900.metta (details / githubweb)
  130. optimize_conjuncts (details / githubweb)
  131. optimize_head_preconds_into_body1 (details / githubweb)
  132. time mettalog examples/performance/comparisons/fibo_hang_arg1.metta --args 111111 ;; in 7 seconds (details / githubweb)
  133. start of dmiles branch (details / githubweb)
  134. git checkout bb49b80c423ea93a9ccfd259d593d35690a8e0ef metta_vspace/pyswip/ -f (details / githubweb)
  135. no longer need swi-prologs pack system since sometimes its down (details / githubweb)
  136. testing docker so need this commited (details / githubweb)
  137. testing docker so need this commited 23 (details / githubweb)
  138. testing docker so need this commited 234 (details / githubweb)
  139. Needing to add in packages so can be maintained with instlalation site (details / githubweb)
  140. Dockerfile (details / githubweb)
  141. #2 this is a bit of extra that dint make it in (details / githubweb)
  142. ENV PATH="${PATH}:${MATTALOG_DIR}" (details / githubweb)
  143. really got #2 fixed maybe (details / githubweb)
  144. fixed large file loading (details / githubweb)
  145. update for metta-examples (details / githubweb)
  146. Merged README.md (details / githubweb)
  147. no_panda.py (details / githubweb)
  148. update the readme (details / githubweb)
  149. update the readme 2 (details / githubweb)
  150. update the readme 3 (details / githubweb)
  151. simplified readme (details / githubweb)
  152. less simplified readme (details / githubweb)
  153. pre-canary pre-development (details / githubweb)
  154. canary (details / githubweb)
  155. development (details / githubweb)
  156. main (details / githubweb)
  157. mettalog (details / githubweb)
  158. README.md formating (details / githubweb)
  159. Update README.md (details / githubweb)
  160. path updates (details / githubweb)
  161. nullify_output_really (details / githubweb)
  162. deleted_to_re_add (details / githubweb)
  163. README.md (details / githubweb)
  164. restore building of hyerponpy (details / githubweb)
  165. towards combined.metta (details / githubweb)
  166. towards file-output.metta (details / githubweb)
  167. unset LD_PRELOAD (details / githubweb)
  168. towards combined (details / githubweb)
  169. with_output_to_stream (details / githubweb)
  170. begun canary merge (details / githubweb)
  171. fix for curried chain.. but back to the old IO (details / githubweb)
  172. interp restored.. now eval is remaining (details / githubweb)
  173. interp is now restored but eval is remaining (details / githubweb)
  174. fixes for curried forward chainer (details / githubweb)
  175. added a quick docs/;OVERVIEW.md (details / githubweb)
  176. quick blurb about the methodology (details / githubweb)
  177. fixed example (details / githubweb)
  178. fixed the quick blurb (details / githubweb)
  179. fixed the quick blurb 2 (details / githubweb)
  180. writing check in documentaiton the a** doith cash (details / githubweb)
  181. clearer english? (details / githubweb)
  182. more cowbell (details / githubweb)
  183. reordered explanation (details / githubweb)
  184. one more try (details / githubweb)
  185. two more more tries (details / githubweb)
  186. answer files (details / githubweb)
  187. Rename from hyperon-wam to metta-log (details / githubweb)
  188. Update README.md (details / githubweb)
  189. apt -y (details / githubweb)
  190. njo debug (details / githubweb)
  191. no more debug (details / githubweb)
  192. updates to fix the spam debug that made tmpMatch.metta hard for debug .. next commit hopefully fixes the failure (details / githubweb)
  193. MeTTaLog runs on Windows (details / githubweb)
  194. update from hyperon-experimental (details / githubweb)
  195. more and more tests (details / githubweb)
  196. supprt for catch/throw and function/return , update on how conversion files are found (details / githubweb)
  197. corrected trace\! .. updated translator (details / githubweb)
  198. returning %Undefined% for non-typed symbols (details / githubweb)
  199. alighn ',' with real metta (details / githubweb)
  200. alighn ',' with real metta this time (details / githubweb)
  201. is_tollerant (details / githubweb)
  202. tests/features/metta_convert (details / githubweb)
  203. reset_eval_num (details / githubweb)
  204. update of scripts including mettalog (details / githubweb)
  205. Update the test result links (details / githubweb)
  206. Stricter verison of  ideally to avoid weirdness liek in MeTTa-NARS (details / githubweb)
  207. update of canary version (details / githubweb)
  208. version-config (details / githubweb)
  209. fix some io issues where perious optut ios being created also one unit test fix a mispelling (details / githubweb)
  210. better printing of empty values (details / githubweb)
  211. allow eval if type decls (details / githubweb)
  212. decide to locate the shared test results (details / githubweb)
  213. src/version-config (details / githubweb)
  214. update startup scripts (details / githubweb)
  215. set cananry for devleopment (details / githubweb)
  216. set main for stability (details / githubweb)
  217. set update main now that is is stable (details / githubweb)
  218. Big fixes to compiler .. also a rename of non atom api top symbol api (details / githubweb)
  219. rename of non atom api top symbol api (details / githubweb)
  220. test_in_metta allows interuptions now (details / githubweb)
  221. Internal ontology file (details / githubweb)
  222. update long development code (details / githubweb)
  223. updates for baseline tests (details / githubweb)
  224. Added by Visual Studio Code (details / githubweb)
  225. compiler at 38% on mettamorph tests (details / githubweb)
  226. tests/compiler/nars/main-branch/ are the canonical tests for the compiler (details / githubweb)
  227. bio-atomspace updates (details / githubweb)
  228. removed singleton and dicontiguous warning (details / githubweb)
  229. allow compiler to push limits of depth and even eval to nonvar (details / githubweb)
  230. 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 (details / githubweb)
  231. load asccsii (details / githubweb)
  232. using $rettag for function return (details / githubweb)
  233. src/canary/metta_loader.pl (details / githubweb)
  234. fixes for @hedra s use of curried backchainer (details / githubweb)
  235. loader updates for @abdu (details / githubweb)
  236. removed singleton warnings (details / githubweb)
  237. add 2 levels of indexing via s2t (details / githubweb)
  238. one last fix for metta reader to more gracefully know when somehntingt is a comment (details / githubweb)
  239. update space size calculations, slighlty deeper index for type declarations (details / githubweb)
  240. src/main (details / githubweb)
  241. Main is better than Canary Again (details / githubweb)
  242. Main=Canary (details / githubweb)
  243. no regression yet .. incremetnally working our way forward (details / githubweb)
  244. base (details / githubweb)
  245. updates for python (details / githubweb)
  246. back to quiet (details / githubweb)
  247. dir where they should be (details / githubweb)
  248. py_argv (details / githubweb)
  249. into_arg_code (details / githubweb)
  250. canary_3_py (details / githubweb)
  251. plz merge base into canary (details / githubweb)
  252. s/asserted_metta_atom/metta_atom_asserted/g (details / githubweb)
  253. interp (details / githubweb)
  254. interp2 (details / githubweb)
  255. interp3 (details / githubweb)
  256. interp4 (details / githubweb)
  257. getting farther on MeTTa-NARS (details / githubweb)
  258. src/canary (details / githubweb)
  259. added test scripts to produce html report (details / githubweb)
  260. compiler works on backchainer! (details / githubweb)
  261. extra target (details / githubweb)
  262. sync loader (details / githubweb)
  263. updates to tests/baseline_compat/ (details / githubweb)
  264. main is still good (details / githubweb)
  265. main uses new loader/compiler (details / githubweb)
  266. main traces defns (details / githubweb)
  267. pass MeTTaNARS 2/4! (details / githubweb)
  268. canary (details / githubweb)
  269. Best Yet Main (details / githubweb)
  270. 4-03-fav (details / githubweb)
  271. happy cananry (details / githubweb)
  272. 97%git status .git status . on interperter tests (details / githubweb)
  273. pre-answers (details / githubweb)
  274. Fixed testing while compiling (details / githubweb)
  275. Fixed findall_ne in optimize_body (details / githubweb)
  276. 06-canary-lng-both (details / githubweb)
  277. ../tests/nars_w_comp/ (details / githubweb)
  278. symc of compilers (details / githubweb)
  279. uses internal fwd chainer to maintain compiler states (details / githubweb)
  280. dont add extra default rel history items (details / githubweb)
  281. bc_comp (details / githubweb)
  282. mettalog --log bc_comp.metta fixed \! (details / githubweb)
  283. compiler before optimizer is switched on (details / githubweb)
  284. 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 (details / githubweb)
  285. eval_for1 (details / githubweb)
  286. metta_compiler_inlining.pl (details / githubweb)
  287. ../nars_w_comp/nars/main-branch/LIB_NARS_COMP_1.metta (details / githubweb)
  288. hyperon-miner/utils/MinerUtils~OLD.metta (details / githubweb)
  289. packs update (details / githubweb)
  290. update baseline (details / githubweb)
  291. library/genome/chado_xml_loader (details / githubweb)
  292. canary (details / githubweb)
  293. 431|   94% | tests (details / githubweb)
  294. (do .. ) can return Empty (details / githubweb)
  295. back track on empty (details / githubweb)
  296. back to 94% (details / githubweb)
  297. more complete (details / githubweb)
  298. removed metta(e): no matching debug topic (yet) (details / githubweb)
  299. undisabled debugging (details / githubweb)
  300. really back to 94% - next is BadType fix (details / githubweb)
  301. eval -> eval_args (details / githubweb)
  302. main (details / githubweb)
  303. canary (details / githubweb)
  304. inf (details / githubweb)
  305. New systems may not have cmake libpython3-dev (details / githubweb)
  306. mettalog NARS tests (details / githubweb)
  307. xlisting_update (details / githubweb)
  308. assumed no regressions and now tests can run from windows (details / githubweb)
  309. readme update (details / githubweb)
  310. predicate types (details / githubweb)
  311. MeTTa -> mettalog (details / githubweb)
  312. compiler_specific/transpiler (details / githubweb)
  313. canary (details / githubweb)
  314. t(f, _x, _retval):- _retval #= 2 * _x (details / githubweb)
  315. pip doesnt need sudo (details / githubweb)
  316. add_py_dirs_to_pythonpath (details / githubweb)
  317. scripts/ensure_env (details / githubweb)
  318. scripts/ensure_venv (details / githubweb)
  319. py_is_module (details / githubweb)
  320. update of  install section of readme (details / githubweb)
  321. stdlib_minimal_test (details / githubweb)
  322. TF2Res (details / githubweb)
  323. Arity 3 version of get-type is now implemented (details / githubweb)
  324. eval_20(_Eq,_RetType,_Depth,_Self,['decons-atom',[H|T]],[H,T]) (details / githubweb)
  325. superpose/collapse-bind (details / githubweb)
  326. @doc some-func (details / githubweb)
  327. pass the $space argument (details / githubweb)
  328. fixed link to GitHub Issues Page (details / githubweb)
  329. string to and from char conversion (and tests) (details / githubweb)
  330. removed cuts, more tests (details / githubweb)
  331. mostly working format-args (details / githubweb)
  332. Corrected options to return MeTTa booleans instead of Prolog booleans (details / githubweb)
  333. Commented metta_debug.pl file (details / githubweb)
  334. format-args nearly finished (details / githubweb)
  335. deal with escaped {{ }} (details / githubweb)
  336. pre stdlib (details / githubweb)
  337. checkbox display (details / githubweb)
  338. initial JUnit.xml generation (details / githubweb)
  339. pip install junit2html into README.md (details / githubweb)
  340. add a test description JUnit.xml generation (details / githubweb)
  341. Fake scripts/run_commit_tests.sh (details / githubweb)
  342. Fixed chmod run_commit_tests.sh (details / githubweb)
  343. reporter: 'junitxml' (details / githubweb)
  344. reporter: 'java-junit' (details / githubweb)
  345. junit-matrix-report.html --report-matrix (details / githubweb)
  346. scripts/run_commit_tests.sh (details / githubweb)
  347. resorts/SHARED.UNITS.PREV.md (details / githubweb)
  348. --report-matrix junit-matrix-report.html (details / githubweb)
  349. junit-matrix-report.html (details / githubweb)
  350. Continue even if step fails (details / githubweb)
  351. fail-on-error: false  # Do not fail the job if tests fail (yet) (details / githubweb)
  352. JUnit test comparison report is also available. (details / githubweb)
  353. Trigger CI (details / githubweb)
  354. Diff JUnit Test Results (details / githubweb)
  355. Standard, matrix, and comparison HTML reports are available as artifacts. (details / githubweb)
  356. Standard, matrix, and comparison HTML reports are available as artifacts. (details / githubweb)
  357. JUnit reports, Allure report, and test comparison reports are available as artifacts. (details / githubweb)
  358. Add permissions for contents and checks to avoid integration errors (details / githubweb)
  359. Add permissions for contents and checks to avoid integration errors (details / githubweb)
  360. Update README.md (details / githubweb)
  361. fix to format-args with bad args (details / githubweb)
  362. cleaned up code section header, error checking for format-args (details / githubweb)
  363. Added comments to STDLIB (details / githubweb)
  364. Added ORIGIN comments to STDLIB (details / githubweb)
  365. Enhance CI workflow to handle permissions for pull requests effectively (details / githubweb)
  366. Updated CI workflow to handle permissions for PRs with full write access (details / githubweb)
  367. Updated failure messages (details / githubweb)
  368. Updated CI workflow to conditionally execute test reporting on push events only (details / githubweb)
  369. 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 (details / githubweb)
  370. Update ci.yml (details / githubweb)
  371. Update ci.yml (details / githubweb)
  372. Update ci.yml (details / githubweb)
  373. separated unify and if-unify (details / githubweb)
  374. wq! (details / githubweb)
  375. get-type-state (commented out) (details / githubweb)
  376. Update deprecated action versions (details / githubweb)
  377. Publish Allure Report to GitHub Pages (details / githubweb)
  378. internal op was the same things as MeTTa  https://github.com/trueagi-io/metta-wam/issues/53 (details / githubweb)
  379. Fix for https://github.com/trueagi-io/metta-wam/issues/86 (details / githubweb)
  380. recurse docs/*.* wiki/*.* (details / githubweb)
  381. Towards Create and Integrate stdlib_mettalog.metta and/or corelib.metta https://github.com/trueagi-io/metta-wam/issues/72 (details / githubweb)
  382. docs/chatgpt_knowledge_doc.txt (details / githubweb)
  383. updates to chatgpt_knowledge_doc (details / githubweb)
  384. include more test results (details / githubweb)
  385. add xor processing (details / githubweb)
  386. add xor processing (details / githubweb)
  387. add xor processing (details / githubweb)
  388. Solved part of https://github.com/trueagi-io/metta-wam/issues/92 (details / githubweb)
  389. Allow eval_## to happen in more places (details / githubweb)
  390. subtraction for https://github.com/trueagi-io/metta-wam/issues/60 (details / githubweb)
  391. subtraction for https://github.com/trueagi-io/metta-wam/issues/60 (details / githubweb)
  392. Allow eval_## to happen in more places 2 (details / githubweb)
  393. canary-90 (details / githubweb)
  394. canary-90 metta_eq_def (details / githubweb)
  395. canary-90 use_corelib_file (details / githubweb)
  396. fixed prompt and history issues (details / githubweb)
  397. some install/doc fixes (details / githubweb)
  398. Update README.md (details / githubweb)
  399. Update README.md (details / githubweb)
  400. Update README.md (details / githubweb)
  401. Update README.md (details / githubweb)
  402. required_version="9.3.8" (details / githubweb)
  403. change back to starting directory (details / githubweb)
  404. update 2 repr parse intersect (details / githubweb)
  405. useable src/canary/*.metta (details / githubweb)
  406. change how metta finds its files (details / githubweb)
  407. change how metta finds its files (details / githubweb)
  408. graphml loader (details / githubweb)
  409. really using stdlib_mettalog (details / githubweb)
  410. start of graphml loader (details / githubweb)
  411. have ci.yml & run_commit_tests.sh install mettalog and run tests (details / githubweb)
  412. separate install and run tests step, show test output (for now) (details / githubweb)
  413. try running tests with venv (details / githubweb)
  414. 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 (details / githubweb)
  415. set xterm-256color and only run subset of tests (details / githubweb)
  416. set xterm-256color in yml (details / githubweb)
  417. print SHARED.UNITS (details / githubweb)
  418. only run one test file (details / githubweb)
  419. don't run tests for now (details / githubweb)
  420. update auto-approve-action version (details / githubweb)
  421. Run 1 test again to see output (details / githubweb)
  422. to run one test you have to use --test (details / githubweb)
  423. make test run timestamp available (details / githubweb)
  424. include timestamp in junit.xml (details / githubweb)
  425. removed some commented out code (details / githubweb)
  426. include test time in junit.xml (details / githubweb)
  427. track commit SHA and branch (details / githubweb)
  428. disables editline for non-tty inputs (details / githubweb)
  429. bash file fixes for stty issues (details / githubweb)
  430. generate executor.json (details / githubweb)
  431. bash file fixes for stty issues (details / githubweb)
  432. include timestamps for test suites (details / githubweb)
  433. tests/performance/knowledge_graphs/graphml (details / githubweb)
  434. Docker towards https://github.com/trueagi-io/metta-wam/issues/32 (details / githubweb)
  435. record_call_duration (details / githubweb)
  436. Just for TeamSPOon Repo for 100 (details / githubweb)
  437. lets assume the output path contains reports/ dir (details / githubweb)
  438. INSTALL detects if on github actions and might use PPA (details / githubweb)
  439. Detect Github (details / githubweb)
  440. detect stdio (details / githubweb)
  441. py_* trampolines (details / githubweb)
  442. initial starts of py-* (details / githubweb)
  443. copy_outter_venv (details / githubweb)
  444. ensure_loaded(metta_python). (details / githubweb)
  445. Added generation of WHOLE-TESTS. (details / githubweb)
  446. gen_interp_stubs (details / githubweb)
  447. renamed misplaced test files (details / githubweb)
  448. py_is_module_unsafe (details / githubweb)
  449. Needs not to be absolute and not relative to CWD (since tests like all .metta files change their local CWD at least while "loading" (details / githubweb)
  450. intersection union subtraction repr parse (details / githubweb)
  451. created scripts/cmd_as_test.sh so nightly isnt storing it (details / githubweb)
  452. fixed import-py! (details / githubweb)
  453. disable overriding notrace/1 (details / githubweb)
  454. skip over skipped files (details / githubweb)
  455. py_is_py_dict (details / githubweb)
  456. nightly ./scripts/ensure_venv (details / githubweb)
  457. throw error if cant write units file (details / githubweb)
  458. remove seconds string for SHARED.UNITS (details / githubweb)
  459. less printing of 'Script is running inside a virtual environment' (details / githubweb)
  460. runnning two tests and catting the locally ran tests (details / githubweb)
  461. filter dotdirs from library (details / githubweb)
  462. fixed many py_mcall -> py_ocall (details / githubweb)
  463. needs to set METTALOG_OUTPUT (details / githubweb)
  464. needs to set METTALOG_OUTPUT really (details / githubweb)
  465. volatile(did_load_hyperon_module/0) (details / githubweb)
  466. make scripts/ensure_venv less verbose and ensure its ran in the correct directory (details / githubweb)
  467. hopefully less warnings toward #89 (details / githubweb)
  468. workspace project files (details / githubweb)
  469. !(rust! (superpose (1 (+ 1 1) 3))) works (details / githubweb)
  470. workarround for the warning: Found file *.metta relative to the current working directory (details / githubweb)
  471. get rid of copied venv that is probably using a whole different python anyways (details / githubweb)
  472. === to be documented as well as ==== (details / githubweb)
  473. sealing work in progress (details / githubweb)
  474. sealing work in progress (details / githubweb)
  475. remove startup warning  Found file  *.metta relative to the current working directory. (details / githubweb)
  476. only gives output when needing to create venv (details / githubweb)
  477. debuggable calls to rust (details / githubweb)
  478. combine_term_l (details / githubweb)
  479. cached_py_op (details / githubweb)
  480. as_var (details / githubweb)
  481. Higher Order pred-* set operations (details / githubweb)
  482. variant_by_type (details / githubweb)
  483. sealing work in progress, revision for recommended changes (details / githubweb)
  484. remove unused files (details / githubweb)
  485. removed more unused files (details / githubweb)
  486. canary_docme (details / githubweb)
  487. once_writeq_nl (details / githubweb)
  488. nb_setval(self_space,MSpace) (details / githubweb)
  489. include actual times in junit.xml (details / githubweb)
  490. include run number in pages URL (details / githubweb)
  491. Revert "include run number in pages URL" (details / githubweb)
  492. remove previous junit handling (details / githubweb)
  493. sealed updates for same_term (details / githubweb)
  494. try using allure-report-action approach (details / githubweb)
  495. update action version and tokens (details / githubweb)
  496. include environment properties (details / githubweb)
  497. pre-doc of  src/canary_docme/metta_server.pl (details / githubweb)
  498. After PlDoc (details / githubweb)
  499. try to separate nightly and ci tests (details / githubweb)
  500. debugging subfolder param (details / githubweb)
  501. debugging subfolder param (details / githubweb)
  502. try different approach for setting subfolder (details / githubweb)
  503. sealing work in progress continued (details / githubweb)
  504. sealing work in progress continued (details / githubweb)
  505. zeroth cut at lsp metta server package (details / githubweb)
  506. slickedit project files (details / githubweb)
  507. supply mettalog runtime to LSP server (details / githubweb)
  508. Strart of type-cast foldl-atom (details / githubweb)
  509. \!(get-type 'a') --> Char (details / githubweb)
  510. fixed merge conflicts from 78e677b550b61baff07cfce190782aa95c607ea6 (details / githubweb)
  511. functgor->functor (details / githubweb)
  512. subst -> subst_same so it doesnt interfere with library versions (details / githubweb)
  513. fixing an ealier commit that changed back  .github/workflows/ci.yml (details / githubweb)
  514. Updates and fixes for tests/baseline_compat/hyperon-mettalog_sanity (details / githubweb)
  515. temp workarround for slowness of tests that look into the inherited spaces (details / githubweb)
  516. Add more environment info to tests (details / githubweb)
  517. upfdate to nightly script (details / githubweb)
  518. update to CI tests script (details / githubweb)
  519. correctly pass the TIMEOUT (details / githubweb)
  520. synth+unloaded (details / githubweb)
  521. synth+loaded (details / githubweb)
  522. removed executeCommandProvider from mettalog LSP (details / githubweb)
  523. have stubs for all the LSP messages received so far (details / githubweb)
  524. (if (== -> ->) True False) returning boolean now as well as both synthesize works as well as get-doc (details / githubweb)
  525. Design Workaround for argument types Expression in (details / githubweb)
  526. allow swi-prolog specific options to command line (details / githubweb)
  527. add runtime docs for py-eval and py-list as well as argument types (details / githubweb)
  528. feat: add support for -G option for MeTTa goals and clarify -s and -l usage for scripts (details / githubweb)
  529. feat: add support for -S and -L options for MeTTa scripts and clarify usage of -s and -l options (details / githubweb)
  530. fix: update mettalog script to add uppercase options to METTALOG_OPTIONS instead of SWI_OPTIONS (details / githubweb)
  531. feat: update help output to include --time=debug and rename --eval= to --e= (details / githubweb)
  532. removed docme files that were gettign stale (details / githubweb)
  533. doc changes (details / githubweb)
  534. sealing function ontology and test updates (details / githubweb)
  535. Back to 90 (details / githubweb)
  536. scripts/checkout_commits.sh scripts/jenkins_install_and_run.sh (details / githubweb)
  537. 190|   24| 214|   88% | I  hyperon-experimental        | tests/baseline_compat/hyperon-experimental_scripts | (details / githubweb)
  538. 193|   21| 214|   90% | I  hyperon-experimental        | tests/baseline_compat/hyperon-experimental_scripts | (details / githubweb)
  539. minor change to sealing function description in ontology (details / githubweb)
  540. first effort documenting (details / githubweb)
  541. Delete comment try (details / githubweb)
  542. Turn GC back on (details / githubweb)
  543. documented metta_repl.pl (details / githubweb)
  544. still working on LSP hover (details / githubweb)
  545. test_spo_03_5000 (details / githubweb)
  546. INSTALL_TYPE=jenkins_ci (details / githubweb)
  547. ../../../Test-files.vpj (details / githubweb)
  548. metta_persists (details / githubweb)
  549. ensure_loaded(metta_parser). (details / githubweb)
  550. In progress docme files from Douglas (details / githubweb)
  551. began process of depricating/removing old reader (details / githubweb)
  552. Begun fix for https://github.com/trueagi-io/metta-wam/issues/115 (details / githubweb)
  553. Fix for https://github.com/trueagi-io/metta-wam/issues/115 (details / githubweb)
  554. Actual file #115 (details / githubweb)
  555. Handle codelists for #115 (details / githubweb)
  556. fix for reader error neededing @arg Position The current /3 Term of the stream. and missing pred (details / githubweb)
  557. baselien AR = 100% (details / githubweb)
  558. show progress per test (details / githubweb)
  559. fixed type that coused tests to fail (details / githubweb)
  560. comment update (details / githubweb)
  561. comment update (details / githubweb)
  562. .answers files (details / githubweb)
  563. fixed to pldoc entries (details / githubweb)
  564. using a lambda in report_progress_so_far/4 (details / githubweb)
  565. Update to CI to put valid links in test output (details / githubweb)
  566. Probably fixes the broken repl that @royward was thiunking was the case (details / githubweb)
  567. Runs all the baseline tets once again (details / githubweb)
  568. only run nightly tests in main repo (details / githubweb)
  569. Removal of unused metta_reader.pl (details / githubweb)
  570. add defragmenter python program (details / githubweb)
  571. metta_parser (details / githubweb)
  572. file-level documentation for maplist! and concurrent-maplist! (details / githubweb)
  573. doc and type declarations for maplist! and concurrent-maplist! (details / githubweb)
  574. Docs and tests for findall! (details / githubweb)
  575. comments added (details / githubweb)
  576. comments (details / githubweb)
  577. sexpr stuff working (but not annotated) (details / githubweb)
  578. comments (details / githubweb)
  579. fuller arities of maplist! concurrent-maplist! (details / githubweb)
  580. making it easier to rename the compiler (details / githubweb)
  581. 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)
  582. 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)
  583. first divergence with with https://github.com/trueagi-io/hyperon-experimental  https://github.com/trueagi-io/metta-wam/issues/11 (details / githubweb)
  584. README.md for the python stuff (details / githubweb)
  585. hyperonpy (details / githubweb)
  586. hyperonpy (details / githubweb)
  587. motto (details / githubweb)
  588. hyperonpy.py (details / githubweb)
  589. hyperonpy.py_less_free (details / githubweb)
  590. remove the error/warnming about metta_reader (details / githubweb)
  591. restored the tensor test result (details / githubweb)
  592. src/canary/metta_parser.pl allow block commentss -- no rule saying we cant have them in metta! (details / githubweb)
  593. add to path python/hyperonpy.py (details / githubweb)
  594. load_metta_python_proxy (details / githubweb)
  595. export METTALOG_VERBOSE=1 (details / githubweb)
  596. fixed nondet bug in evql_40 (details / githubweb)
  597. comments (details / githubweb)
  598. comments (details / githubweb)
  599. fixed pldocs (details / githubweb)
  600. allow hyperon to not be fully installed (details / githubweb)
  601. expand the default installed python packages (details / githubweb)
  602. canary_docme/metta_python.pl (details / githubweb)
  603. passing back to mike (details / githubweb)
  604. passing back to mike for real this timed (details / githubweb)
  605. catch/throw docs and tests (details / githubweb)
  606. lsp changes (details / githubweb)
  607. improved handling of file names (details / githubweb)
  608. removed unused docmes (details / githubweb)
  609. removed unused docme mizer (details / githubweb)
  610. removed the ones i already merged into canary (details / githubweb)
  611. mostly working, needs cleanup (details / githubweb)
  612. minimal but working (very basic hover) LSP server (details / githubweb)
  613. max-time! docs and tests (details / githubweb)
  614. improved comments (details / githubweb)
  615. small compile fixes (details / githubweb)
  616. allows `source INSTALL.sh --force --easy --swi=src` (details / githubweb)
  617. Remove torch/torchvision (details / githubweb)
  618. remove metta_corelib (details / githubweb)
  619. rest of remove metta_corelib (details / githubweb)
  620. fixes to split document (details / githubweb)
  621. stability improvements to LSP (two bugs cancelling out fixed) (details / githubweb)
  622. Remove program (details / githubweb)
  623. Comments added (details / githubweb)
  624. libgoogle-perftools-dev : Depends: libunwind-dev (details / githubweb)
  625. libgoogle-perftools-dev : Depends: libunwind-dev oopsy (details / githubweb)
  626. Comments added (details / githubweb)
  627. progress towards saving test report copies by number of failures (details / githubweb)
  628. fixed lsp server so any splitting mode should work (details / githubweb)
  629. src/canary/metta_proxy.py (details / githubweb)
  630. src/canary/metta_python_patcher.py (details / githubweb)
  631. py-exec (details / githubweb)
  632. with_safe_argv (details / githubweb)
  633. PlDoced patcher in corelib (details / githubweb)
  634. metta_python_patcher.py (details / githubweb)
  635. metta_python_patcher.py (details / githubweb)
  636. remove debugging print in into_junit.py (details / githubweb)
  637. progress to into_junit.py copying logs to new destination (details / githubweb)
  638. copy test logs to new destination in into_junit.py (details / githubweb)
  639. run all ci tests (details / githubweb)
  640. src/canary/metta_python_patcher.py (details / githubweb)
  641. src/canary/metta_python_patcher.py (details / githubweb)
  642. src/canary/metta_python_patcher.py (details / githubweb)
  643. src/canary/metta_python_patcher.py (details / githubweb)
  644. Comments added, remove from docme (details / githubweb)
  645. remove from docme (details / githubweb)
  646. fixes due to docs pfc (details / githubweb)
  647. fixes due to docs pfc (details / githubweb)
  648. Fix: Adjust determinism annotations in metta_corelib.pl (details / githubweb)
  649. Enhancement: Load pldoc library in metta_interp.pl (details / githubweb)
  650. Fix: Add quietly_sreader/1 predicate in metta_parser.pl (details / githubweb)
  651. Refactor: Update metta_python_patcher.py with new threading logic (details / githubweb)
  652. Enhancement: Add Enum and improve error handling in metta_python_proxy.py (details / githubweb)
  653. Feature: Implement maplist meta-predicates and add dynamic predicates in metta_server.pl (details / githubweb)
  654. src/canary/metta_python_patcher.py (details / githubweb)
  655. disable the patcher (details / githubweb)
  656. fixes due to docs pfc (details / githubweb)
  657. Fixes to some of the PLDocs (details / githubweb)
  658. Added Prolog transpilation comments and assertTrue functional predicate. (details / githubweb)
  659. Refactored mettalogpy_repl and added maybe_load_metta_python_patcher logic. (details / githubweb)
  660. Changed determinism annotations for lookup_spft_match and lookup_spft_match_deeper. (details / githubweb)
  661. Added lazy loading for Metta Python proxy and refactored initialization logic. (details / githubweb)
  662. comments (details / githubweb)
  663. comments (details / githubweb)
  664. metta_python_override (details / githubweb)
  665. VSPACE_VERBOSE -> METTALOG_VERBOSE,  nonlocal submode, '@'('none')) (details / githubweb)
  666. dynamically define my_module (details / githubweb)
  667. ~/metta-wam/src/canary$ python metta_python_override.py (details / githubweb)
  668. ~/metta-wam/src/canary$ python metta_python_override.py (details / githubweb)
  669. ~/metta-wam/src/canary$ python metta_python_override.py (details / githubweb)
  670. comments (details / githubweb)
  671. handle_method_call (details / githubweb)
  672. Handle get_* methods (details / githubweb)
  673. Handle get_name methods (details / githubweb)
  674. tests/docs for limit! (details / githubweb)
  675. comments (details / githubweb)
  676. janus_swi.query_once (details / githubweb)
  677. new utf8/utf16 character stuff _mostly_ working (details / githubweb)
  678. fixed warnings (details / githubweb)
  679. no module (details / githubweb)
  680. comments (details / githubweb)
  681. remove compiler changes (details / githubweb)
  682. change fix, turned off some debugging (details / githubweb)
  683. docs/tests for call! and call-string! (details / githubweb)
  684. working on readme (details / githubweb)
  685. image (details / githubweb)
  686. Update README.md (details / githubweb)
  687. Update README.md (details / githubweb)
  688. hybrid of old and new compiler (details / githubweb)
  689. o_f_v (details / githubweb)
  690. Adjusted oo_new/3 to reuse objects based on Type and 'value' field (details / githubweb)
  691. Adjusted oo_new/3 to reuse objects based on Type and 'value' field, matching all other fields (details / githubweb)
  692. Slightly more OOP in Prolog (details / githubweb)
  693. src/canary/metta_python_override.py (details / githubweb)
  694. better overriding (details / githubweb)
  695. do_metta(stdio,+,'&self',String,Result) (details / githubweb)
  696. comments (details / githubweb)
  697. refactored the files (details / githubweb)
  698. comments (details / githubweb)
  699. comments (details / githubweb)
  700. comments (details / githubweb)
  701. comments (details / githubweb)
  702. catchup on python/hyperon/exts (details / githubweb)
  703. back towards previous metta_repl (details / githubweb)
  704. dont claim hyperonpy (details / githubweb)
  705. allow actual escape characters (details / githubweb)
  706. 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)
  707. do not quit on comment in input (details / githubweb)
  708. oops this belonged in the last commit -notrace(G):- once(G). (details / githubweb)
  709. fix for https://github.com/trueagi-io/metta-wam/issues/128 (details / githubweb)
  710. really fixed https://github.com/trueagi-io/metta-wam/issues/128 (details / githubweb)
  711. GDL  tests/features/games/ (details / githubweb)
  712. docs for number-of (details / githubweb)
  713. docs/tests for offset! (details / githubweb)
  714. Update README.md (details / githubweb)
  715. the  and   enviroment variables mean quit a bit to SWI-Prolog! (details / githubweb)
  716. Pretend for now we have a nondeterministic sig_atomic (details / githubweb)
  717. Handle mostly blank lines (details / githubweb)
  718. Dont mess with envrioment more thna we have to (details / githubweb)
  719. Faster/sounder Tuple check (details / githubweb)
  720. simplify the pretty printer (details / githubweb)
  721. py-chain Impl .. still needs do0cs and test (details / githubweb)
  722. py-chain Impl .. still needs do0cs and test (details / githubweb)
  723. with_enc (details / githubweb)
  724. -    throw(i_loaded_this) (details / githubweb)
  725. Update README.md (details / githubweb)
  726. update doc on setup-call-cleanup! (details / githubweb)
  727. comments (details / githubweb)
  728. comments (details / githubweb)
  729. python (details / githubweb)
  730. quietly checking if requirements are still met (details / githubweb)
  731. python stuff added to .gitignore (details / githubweb)
  732. snapshot (details / githubweb)
  733. comments (details / githubweb)
  734. Update to LSP Server README.md about the vsce packaging (details / githubweb)
  735. Removed lines breakign the LSP Server (details / githubweb)
  736. Fixed py_nth (details / githubweb)
  737. Update analyse to a Table and after CSV (details / githubweb)
  738. Update5 to try to come in sync (details / githubweb)
  739. begun the help! / get-doc interface that will work via the repl (details / githubweb)
  740. predicate_help_fallback_hook/4 (details / githubweb)
  741. Impl if-decons-expr (details / githubweb)
  742. Forgotten code to unbreka the LSP Server (details / githubweb)
  743. fixed line issues in LSP (details / githubweb)
  744. reverts (details / githubweb)
  745. Add py-chain docs (details / githubweb)
  746. make_metta_file_buffer plus --help (details / githubweb)
  747. make_metta_file_buffer plus 2 (details / githubweb)
  748. trace_on_pass (details / githubweb)
  749. show function src (details / githubweb)
  750. Write the full source content if it's complex (details / githubweb)
  751. recover from stream errors durring input (details / githubweb)
  752. allow read over multiple lines (details / githubweb)
  753. allow stream_error/2s to be caught differntly than program errors (details / githubweb)
  754. reference links (details / githubweb)
  755. File ref links working (details / githubweb)
  756. allow type links.. make sure the help! command runs under a  flag (details / githubweb)
  757. Fixed allow type links.. make sure the help! command runs under a  flag (details / githubweb)
  758. split by clause (details / githubweb)
  759. split by clause, save some metadata (details / githubweb)
  760. add comments (details / githubweb)
  761. remove bad venvs (details / githubweb)
  762. Slighhtly less torent to INSTALL.sh problems (details / githubweb)
  763. Could NOT find LibYAML (missing: LIBYAML_INCLUDE_DIR YAML_LIBRARY) (details / githubweb)
  764. install_swi_from_src restores direcotry in failure (details / githubweb)
  765. dont print success message twice (details / githubweb)
  766. try to source the INSTALL.sh from Dockerfile (details / githubweb)
  767. renamed:    src/canary/metta_help.pl -> src/packs/lsp_server_metta/prolog/lsp_metta_outline.pl (details / githubweb)
  768. dbg_server_thread (details / githubweb)
  769. quick python compare for testing (details / githubweb)
  770. better line number tracking (details / githubweb)
  771. first cut of documentSymbol in which makes a vscode outline sheet (details / githubweb)
  772. add comments (details / githubweb)
  773. fixed line ending issue that was messing with didChange, and an escaped character in string issue (details / githubweb)
  774. element -> outline (details / githubweb)
  775. xref_source_expired (details / githubweb)
  776. type_kind (details / githubweb)
  777. populate variablke names (details / githubweb)
  778. docs/tests for hyperpose, sequential, and do (details / githubweb)
  779. allow for late definition to be evaluated (details / githubweb)
  780. add comments (details / githubweb)
  781. add comments (details / githubweb)
  782. set default src_indents to false (details / githubweb)
  783. run recompile from debug server by jsut pressing enter (details / githubweb)
  784. Export clause_with_arity_in_file_at_position/4 in LSP Server (details / githubweb)
  785. add comments (details / githubweb)
  786. add comments (details / githubweb)
  787. syntax highlighting (details / githubweb)
  788. hacky threading system as well as refernces/definition provers etc (details / githubweb)
  789. begining of codeActions (details / githubweb)
  790. Pre worker pool (details / githubweb)
  791. update docs for Minimal MeTTa functions (details / githubweb)
  792. lsp_worker_threads(0) (details / githubweb)
  793. anonymous QueueId (details / githubweb)
  794. add comments (details / githubweb)
  795. add comments (details / githubweb)
  796. improved syntax highlighting (details / githubweb)
  797. add comments (details / githubweb)
  798. @doc for Bool (details / githubweb)
  799. Group declarations by type (details / githubweb)
  800. do not halt on metta>@ (details / githubweb)
  801. get rid of extra_answer_padding (details / githubweb)
  802. buffer the answer outpout into temp file but will change to becoem a memfile (details / githubweb)
  803. in_answer_io using memfile isntead of disk (details / githubweb)
  804. handle_catcher(exit) :- ! (details / githubweb)
  805. added missing old code (details / githubweb)
  806. removed that elusive choice point (details / githubweb)
  807. Fixed Syntax error: duplicate_key expected, found "codeActionProvider" (details / githubweb)
  808. dont double print answers (details / githubweb)
  809. fixed typo (details / githubweb)
  810. 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)
  811. added two missing preds (details / githubweb)
  812. update_changed_files (details / githubweb)
  813. Fix for https://github.com/trueagi-io/metta-wam/issues/169 (details / githubweb)
  814. add comments (details / githubweb)
  815. Only compute actions for symbols right now (details / githubweb)
  816. using new metta_file_buffer/7 and a buch of LSP Additions (details / githubweb)
  817. really using new metta_file_buffer/7 (details / githubweb)
  818. canary really using new metta_file_buffer/7 (details / githubweb)
  819. Fixed outline_name/2 (details / githubweb)
  820. better ordinal (details / githubweb)
  821. add comments (details / githubweb)
  822. crazy outline (details / githubweb)
  823. was_end/2 (details / githubweb)
  824. src/comp_werks (details / githubweb)
  825. Fixed the loading of stdlib_mettalog for now (details / githubweb)
  826. add comments (details / githubweb)
  827. docs for eval-for and compile! (details / githubweb)
  828. add comments (details / githubweb)
  829. clarify prolog mode (details / githubweb)
  830. checkpoint for lsp #0 (details / githubweb)
  831. isolate doc_text_d4 from doc_text which is full text (details / githubweb)
  832. updates to LSP server and mettalog that are required for the LSP Server (details / githubweb)
  833. Back to almost working version of compiler (details / githubweb)
  834. allow errors and warning rather than silently doing nothing as the clause above would have done (details / githubweb)
  835. comments added (details / githubweb)
  836. comments added (details / githubweb)
  837. src/canary/metta_compiler_werk.pl (details / githubweb)
  838. Comp works (details / githubweb)
  839. super_safety_checks + on_mettalog_error (details / githubweb)
  840. super_safety_checks + on_mettalog_error (details / githubweb)
  841. comments added (details / githubweb)
  842. Use scripts/lsp_server_prolog_install.sh in INSTALL.sh (details / githubweb)
  843. +LINK_TARGET="$HOME/metta-wam/src/packs/lsp_server_metta" (details / githubweb)
  844. move super_safety_checks/1 to metta_utils.pl (details / githubweb)
  845. src/comp_werks2 (details / githubweb)
  846. @jazzbox35 commenting merged to src/comp_werks2 (details / githubweb)
  847. symlink rest of the pack dirs (details / githubweb)
  848. remove pldoc warnings (details / githubweb)
  849. ideally settings will be sent with initialize (details / githubweb)
  850. LSP Server experimental settings (details / githubweb)
  851. Ok, evidently only metta-lsp.trace.server gets sent on changes (details / githubweb)
  852. 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)
  853. comments added (details / githubweb)
  854. comments added (details / githubweb)
  855. comments added (details / githubweb)
  856. comments added (details / githubweb)
  857. comments added (details / githubweb)
  858. comments added (details / githubweb)
  859. Merge of the compiler_werk.pl into compiler.pl (details / githubweb)
  860. src/canary/metta_compiler.pl (details / githubweb)
  861. hyperon-wam.vpj (details / githubweb)
  862. start of thread LSP server (details / githubweb)
  863. do_work_stuff(QueueId) (details / githubweb)
  864. Update README.md (details / githubweb)
  865. comments added (details / githubweb)
  866. comments added (details / githubweb)
  867. compile, compile-space tests & docs (details / githubweb)
  868. eval-for docs & tests (details / githubweb)
  869. Update install so it doesnt terminate github workflow (details / githubweb)
  870. Fix syntax error in INSTAL.sh (missing then in if) (details / githubweb)
  871. better resolution in setup scripts for LINK_TARGET (details / githubweb)
  872. dont use prolog_ide(debug_monitor) (details / githubweb)
  873. function-arity, predicate-arity docs & tests (details / githubweb)
  874. comments added (details / githubweb)
  875. docs/tests for call-p! (details / githubweb)
  876. fixed duplicate predicates in interpreter (details / githubweb)
  877. Moved ther threaded/queueing code to its own section (details / githubweb)
  878. lsp_hooks:code_action (details / githubweb)
  879. better eval_metta (details / githubweb)
  880. lsp_hooks:exec_code_action + answer_output is no longer using a temp file (it uses a memfile) (details / githubweb)
  881. comments added (details / githubweb)
  882. src/packs/lsp_server_metta/lsp-metta.el (details / githubweb)
  883. more moving to compiler prefix (details / githubweb)
  884. get rid of fixme messages (details / githubweb)
  885. comments added (details / githubweb)
  886. nthx case mostly working (details / githubweb)
  887. lsp_server_requests (details / githubweb)
  888. Our request listener hooks monitor these on their own (details / githubweb)
  889. Fix for https://github.com/trueagi-io/metta-wam/issues/185 Dockerfile needs modification to run without errors #185 (details / githubweb)
  890. remove temp files (details / githubweb)
  891. tests/docs for open, close, with-output-to (details / githubweb)
  892. comments added (details / githubweb)
  893. docs for load-file, load-ascii (details / githubweb)
  894. docs for include! (details / githubweb)
  895. vscode-extra-settings (details / githubweb)
  896. fetch_workspace_configuration (details / githubweb)
  897. cleaned up check_supporting_predicates, added transpiler_mutex_lock (details / githubweb)
  898. fix u_assign replacement (details / githubweb)
  899. std debug for prolog (details / githubweb)
  900. sync lsp config (details / githubweb)
  901. comments added (details / githubweb)
  902. x (details / githubweb)
  903. package.json (details / githubweb)
  904. x (details / githubweb)
  905. comments added (details / githubweb)
  906. x (details / githubweb)
  907. x (details / githubweb)
  908. x (details / githubweb)
  909. always_rethrow('canceled') (details / githubweb)
  910. comments added (details / githubweb)
  911. basic execution (details / githubweb)
  912. basic execution (details / githubweb)
  913. update doc strings for load functions (details / githubweb)
  914. needing to prefix  user:metta_file_buffer (details / githubweb)
  915. tests/docs for save-space! (details / githubweb)
  916. removed unneeded unicode (details / githubweb)
  917. docs for rust, rust! (details / githubweb)
  918. Emacs does return a Client Configuration List (details / githubweb)
  919. x (details / githubweb)
  920. x (details / githubweb)
  921. comments added (details / githubweb)
  922. Lower impredicence of stdlib in diff tool (details / githubweb)
  923. added docs to 10 new functiosn.. @todo their impl (details / githubweb)
  924. added missing head_preconds_into_body/4 (details / githubweb)
  925. expirery (details / githubweb)
  926. fibonacci working (details / githubweb)
  927. 17 more functions (details / githubweb)
  928. comments added (details / githubweb)
  929. x (details / githubweb)
  930. x (details / githubweb)
  931. to address https://github.com/trueagi-io/metta-wam/issues/197 where caught exception is bubbling too far upwards (details / githubweb)
  932. Way more stdlib docs (details / githubweb)
  933. really should have a hover that lets us see precompiled MeTTa (details / githubweb)
  934. assertNotEqualToResult+assertNotEqual (details / githubweb)
  935. Setwise operations being implemented in MeTTa instead of backend! (details / githubweb)
  936. Stream errors now tell us where the error started not where the end of file is (details / githubweb)
  937. fixed unballenced paren (details / githubweb)
  938. x (details / githubweb)
  939. 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)
  940. Makes it pass 4 more minimal metta tests (details / githubweb)
  941. GPT-4 rust extract ... https://chatgpt.com/share/673eda77-7b3c-800c-9d38-64a54bef4823 (details / githubweb)
  942. comments added (details / githubweb)
  943. get-type-space (details / githubweb)
  944. got rid of naughty simple_math/1 call happening early (details / githubweb)
  945. comments added (details / githubweb)
  946. got format-args working, added missing file (details / githubweb)
  947. sub module updates and better cache file time checking (details / githubweb)
  948. load_flybase_with_size (details / githubweb)
  949. only push a report of the test results have changed (details / githubweb)
  950. nb_bound needs to be slighnly more permisive (details / githubweb)
  951. use current_test_results.txt (details / githubweb)
  952. always publish some of the artifacts (details / githubweb)
  953. always save the state in git repo (details / githubweb)
  954. fix double used 'if' (details / githubweb)
  955. fixed discontiguous warning (details / githubweb)
  956. fixed fatal: a branch named 'test-results' already exists (details / githubweb)
  957. checkout  'test-results' to a subdir and use it (details / githubweb)
  958. added small bits of forward chaining to corelib (details / githubweb)
  959. :run less tests while debugging script (details / githubweb)
  960. try again (details / githubweb)
  961. removed double ifd (details / githubweb)
  962. removed double ifs (details / githubweb)
  963. ensure just-results exists (details / githubweb)
  964. ensure just-results exists now (details / githubweb)
  965. Ping for rebuild (details / githubweb)
  966. Ping for rebuild 2 (details / githubweb)
  967. Ping for rebuild 3 (details / githubweb)
  968. Ping for rebuild 4 (details / githubweb)
  969. Ping for rebuild 5 (details / githubweb)
  970. Ping for rebuild 6 (details / githubweb)
  971. impl and doc of the 27 new preds (details / githubweb)
  972. forward chaining the math op types (details / githubweb)
  973. CI WF (details / githubweb)
  974. pow-math (details / githubweb)
  975. added _mw to test files that specifically wont be expected to work in hyperon (details / githubweb)
  976. comments added (details / githubweb)
  977. comments added (details / githubweb)
  978. partial docs and implementation for coerce (details / githubweb)
  979. don't run nightly tests on forks (details / githubweb)
  980. list_vs_term_syntax_mw.metta (details / githubweb)
  981. portray_compound_l_m_r (details / githubweb)
  982. corisponding commit to https://github.com/trueagi-io/hyperon-experimental/commit/ccd030863467088c59b1d3a851b79b1edf08c336 (details / githubweb)
  983. add call-fn! doc and using if-decons-expr for easier code compare to minimal metta (details / githubweb)
  984. Testing `predicate-arity` and `function-arity` (details / githubweb)
  985. Update docs for `predicate-arity` and `function-arity` (details / githubweb)
  986. HE issues into tests (details / githubweb)
  987. Add .gitattributes to force .metta files as text (details / githubweb)
  988. x (details / githubweb)
  989. Lots of hooks (details / githubweb)
  990. Lots of hooks (details / githubweb)
  991. Still need to make the callbacks file load (details / githubweb)
  992. re-run-file (details / githubweb)
  993. toplevel_form -> toplevel (details / githubweb)
  994. quote the json (details / githubweb)
  995. start of nqueebs explaiantion (details / githubweb)
  996. !(pragma! interpreter bare-minimal) (details / githubweb)
  997. Fixed a typo thaqt was making assertEqualToResult appear twice" (details / githubweb)
  998. Sometimes its nice to have the output of the transpiler shown in a file (details / githubweb)
  999. Sometimes its nice to have the output of the transpiler shown in a _transout.pl (details / githubweb)
  1000. Sometimes its nice to have the output of the transpiler shown in a _transout.pl (details / githubweb)
  1001. metta_runtime (details / githubweb)
  1002. non_empty_atom (details / githubweb)
  1003. output_language (details / githubweb)
  1004. :- dynamic(enabled_log_progress/0). (details / githubweb)
  1005. testing updates (details / githubweb)
  1006. remove time/1 from startup (details / githubweb)
  1007. removed unused (details / githubweb)
  1008. settings and prolog directory (details / githubweb)
  1009. intial loader files (details / githubweb)
  1010. getting to startup (details / githubweb)
  1011. the pack.pl (details / githubweb)
  1012. ideally lsp server almost loads (details / githubweb)
  1013. lsp server mostly works again (details / githubweb)
  1014. comments added (details / githubweb)
  1015. answer-output (details / githubweb)
  1016. Attic Sync (details / githubweb)
  1017. Attic Sync 2 (details / githubweb)
  1018. sync to https://github.com/trueagi-io/hyperon-experimental/tree/49c4ab07379107a458998a6539dac46e65d50941 (details / githubweb)
  1019. split out pfc debug (details / githubweb)
  1020. fixed ERROR: /home/deb12user/metta-wam/prolog/metta_lang/metta_debug.pl:1129:80: Syntax error: Operator expected (details / githubweb)
  1021. added indenting to test pass/fail (details / githubweb)
  1022. 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 (details / githubweb)
  1023. tests/zebra/zebra1.pl (details / githubweb)
  1024. zebra5_no_states.metta (details / githubweb)