Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 21, 2025

• (core) fix bug in new bu2_univ implementation (removed leftover heap push)

  Show description for fdff410
  jfmc

  committed
  fdff410

  Copy full SHA for fdff410

• (core) sockets: more size for socket name

  Show description for 5fb2352
  jfmc

  committed
  5fb2352

  Copy full SHA for 5fb2352

• (core) minor, note in loops

  Show description for 510a63f
  jfmc

  committed
  510a63f

  Copy full SHA for 510a63f

• (core) Minor fix in one of the sr examples

  Show description for 337b5ea
  

  Manuel Hermenegildo

  authored and

  jfmc

  committed
  337b5ea

  Copy full SHA for 337b5ea

Commits on Jun 17, 2025

• (ci) Updated github build.yml

  Show description for 9df68d6
  jfmc

  committed
  9df68d6

  Copy full SHA for 9df68d6

• (cio) Updated github build.yml: windows-2019 (deprecated) to windows-2025

  Show description for 62ccde8
  jfmc

  committed
  62ccde8

  Copy full SHA for 62ccde8

• Jump version to 1.25

  Show description for a4d4a6b
  jfmc

  committed
  a4d4a6b

  Copy full SHA for a4d4a6b

• (core) Updated CHANGELOG

  Show description for b9d9edd
  jfmc

  committed
  b9d9edd

  Copy full SHA for b9d9edd

• (engine) fix engine/README.md (CIAODBG instead of DBGENG)

  Show description for 4fc8c3e
  jfmc

  committed
  4fc8c3e

  Copy full SHA for 4fc8c3e

• (optim-comp) missing parenthesis around syntax '?' (due to := priority changes)

  Show description for 2a2fc98
  jfmc

  committed
  2a2fc98

  Copy full SHA for 2a2fc98

Commits on Jun 6, 2025

• Ops! Missing file

  Show description for e5515f4
  jfmc

  committed
  e5515f4

  Copy full SHA for e5515f4

• (builder) include ciaowasm32, ciaowasm64, and ciaowasm32p64 benchmark targets

  Show description for 3307f80
  jfmc

  committed
  3307f80

  Copy full SHA for 3307f80

• (ciaowasm) support for wasm32p64 architecture

  Show description for 4341149
  jfmc

  committed
  4341149

  Copy full SHA for 4341149

• (core) using system_info:eng_supports/1 instead of get_arch/1

  Show description for 37be6f8
  jfmc

  committed
  37be6f8

  Copy full SHA for 37be6f8

• (core) new system_info:eng_supports/1 predicate

  Show description for ad1389b
  jfmc

  committed
  ad1389b

  Copy full SHA for ad1389b

• (engine) fix atom_concat(X,X,aaaa)

  Show description for 124e60f
  jfmc

  committed
  124e60f

  Copy full SHA for 124e60f

• (engine) better timing for EMSCRIPTEN (wasm)

  Show description for 61e48e7
  jfmc

  committed
  61e48e7

  Copy full SHA for 61e48e7

• (engine) fix THREAD_T and THREAD_ID definition when threads are disabled

  Show description for bf21729
  jfmc

  committed
  bf21729

  Copy full SHA for bf21729

• (ciaowasm) cast pointers to BigInt if POINTER_SIZE==8 (needed for wasm64)

  Show description for ba0b82b
  jfmc

  committed
  ba0b82b

  Copy full SHA for ba0b82b

• (core) xsyntax/{loops,statevars,hiordx} moved outside xsyntax/

  Show description for 4e0e1b6
  jfmc

  committed
  4e0e1b6

  Copy full SHA for 4e0e1b6

• (core) removed undocumented and incomplete loops.pl attempt

  Show description for 5babc02
  jfmc

  committed
  5babc02

  Copy full SHA for 5babc02

• (core) xsyntax: arrays notation and interfaces

  Show description for 6f401ed
  jfmc

  committed
  6f401ed

  Copy full SHA for 6f401ed

• Minor

  Show description for 186ad49
  jfmc

  committed
  186ad49

  Copy full SHA for 186ad49

• (core) renamed arrays_log to logarrays

  Show description for d62e746
  jfmc

  committed
  d62e746

  Copy full SHA for d62e746

• (core) arrays.pl renamed to arrays_log.pl

  Show description for aff7abc
  jfmc

  committed
  aff7abc

  Copy full SHA for aff7abc

• (core) xsyntax: 'notation' declaration do not need to be prefixed with fun_eval

  Show description for 50a765f
  jfmc

  committed
  50a765f

  Copy full SHA for 50a765f

• (engine) prepare for wasm64

  Show description for 8d5832a
  jfmc

  committed
  8d5832a

  Copy full SHA for 8d5832a

• (unittest) prepare for wasm64

  Show description for 4ff99f9
  jfmc

  committed
  4ff99f9

  Copy full SHA for 4ff99f9

• (core) xsyntax: minor, moving flags

  Show description for 82ba522
  jfmc

  committed
  82ba522

  Copy full SHA for 82ba522

• (core) xsyntax: experimental pure loops (without cut)

  Show description for a7cecdf
  jfmc

  committed
  a7cecdf

  Copy full SHA for a7cecdf

• (engine) update build options for emscripten 4

  Show description for fb5bcc5
  jfmc

  committed
  fb5bcc5

  Copy full SHA for fb5bcc5

• (core) library: detect 32 vs 64 bits properly in tabling for all OS/arch

  Show description for 0ea2fac
  jfmc

  committed
  0ea2fac

  Copy full SHA for 0ea2fac

• (core) tabling: remove warnings, use newer mem alloc macros

  Show description for 3aae078
  jfmc

  committed
  3aae078

  Copy full SHA for 3aae078

• (core) minor reformating in tabling_rt.pl

  Show description for 3babae1
  jfmc

  committed
  3babae1

  Copy full SHA for 3babae1

• (engine) minor fixes for debugging the engine

  Show description for 2c7aa92
  jfmc

  committed
  2c7aa92

  Copy full SHA for 2c7aa92

Pagination

Previous

Next