10
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 13 hours ago. based on code collected 1 day ago.
Apr 29, 2023 — Apr 29, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
more improvement on arm86 More... about 1 year ago
update mappers.sh More... about 1 year ago
update mappers.sh More... about 1 year ago
improve sub-compilers + adapt for very large sources e.g. wordnet (arm64) More... about 1 year ago
improve sub-compilers + adapt for very large sources e.g. wordnet (arm64) More... about 1 year ago
Merge branch 'master' into negative-domain More... about 1 year ago
improve all (sub-)compilers to handle large files More... about 1 year ago
improve all (sub-)compilers to handle large files More... about 1 year ago
fix More... about 1 year ago
fix More... about 1 year ago
fix More... about 1 year ago
fix More... about 1 year ago
improve speed: imrove bind_variables/4 and limit nb of atoms put in completion (Linedit) + others More... about 1 year ago
improve speed: imrove bind_variables/4 and limit nb of atoms put in completion (Linedit) + others More... about 1 year ago
speed up bind_variables/2 (also speed up the compiler for byte-code) increase max vars in a term to 2^20 (MAX_VAR_IN_TERM) More... about 1 year ago
speed up bind_variables/2 (also speed up the compiler for byte-code) increase max vars in a term to 2^20 (MAX_VAR_IN_TERM) More... about 1 year ago
improve compiler speed on large Prolog data bases (speed up generation of indexing instructions switch_on_atom/integer/structure) More... about 1 year ago
improve compiler speed on large Prolog data bases (speed up generation of indexing instructions switch_on_atom/integer/structure) More... about 1 year ago
fix on windows/cl.exe More... about 1 year ago
clean More... about 1 year ago
Merge branch 'master' into negative-domain More... about 1 year ago
fix More... about 1 year ago
fix More... about 1 year ago
cleaning More... about 1 year ago
Merge branch 'master' into negative-domain More... about 1 year ago
mod .indent.pro More... about 1 year ago
mod .indent.pro More... about 1 year ago
fix types and tests More... about 1 year ago
Merge branch 'master' into negative-domain More... about 1 year ago
Finally (re)remove Makefile in root dir (it is created by configure). It was added to git to have a Makefile even if the user don't do a first ./configure (the Makefile mainly informs the user to run ./configure). But this Makefile (being generated) artificially gives rise to a lot of git commit since it is changed very often : linux vs mac (/Users vs /home) vs win (specific win32 dll to build) More... about 1 year ago