1
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected almost 4 years ago.
Mar 06, 2021 — Apr 05, 2021
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
(engine) fix casting in ComputeE macro More... over 2 years ago
(engine) merging ciao_prolog.c with OC (work in progress) More... over 2 years ago
(core) experimental scripts to build/run embedding example with optim-comp More... over 2 years ago
(engine) some refactoring in ciao_prolog.c for embedding in C code More... over 2 years ago
(core) minor in C embedding example More... over 2 years ago
(engine) avoid ciao specific typedefs in os_threads.h More... over 2 years ago
(engine) same args for engine init code in optim-comp More... over 2 years ago
(core) timeout.pl: minor in use_foreign_source decl More... over 2 years ago
(optim-comp) minor, option in comp.pl to generate static execs More... over 2 years ago
(engine) merging some timing code with OC More... over 2 years ago
promoted bootstrap compiler More... over 2 years ago
(core) Added runtime_control:time/1 metapred More... over 2 years ago
(lpdoc) Using system:now/1 More... over 2 years ago
Using now/1 More... over 2 years ago
Updated boostrap compiler More... over 2 years ago
(core) system:time/1 renamed to system:now/1 More... over 2 years ago
(engine) run,user,sys times mapped to walltime in EMSCRIPTEN More... over 2 years ago
(engine) simplified GC code for ANDPARALLEL (mostly refactoring) More... over 2 years ago
(engine) avoid duplicates More... over 2 years ago
(engine) use DEBUG__TRACE macro More... over 2 years ago
(engine) reformat eng_gc.c More... over 2 years ago
(engine) minor fixes in trace messages for GC (avoid 0x, ticks to seconds) More... over 2 years ago
Updated latest version tag More... over 2 years ago
(core) new '$yield'/0 predicate to suspend the current wam() function More... over 2 years ago
(core) fix curl installation examples More... over 2 years ago
Link to playground in README.md More... over 2 years ago
(github-ci) use emsdk only if needed More... over 2 years ago
(core) updated stable version More... over 2 years ago
(github-ci) updated build script to compile wasm engine and release website More... over 2 years ago
(gitlab-ci) fix again apt-get (tzdata blocks waiting for input) More... over 2 years ago