]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2023-09-15 Nicolas LuckRemove lib_toplevel.pl commit | commitdiff | tree | snapshot
2023-09-15 Nicolas LuckCleanup code that's not needed anymore commit | commitdiff | tree | snapshot
2023-09-15 Nicolas LuckConstruct QueryResult from printer output commit | commitdiff | tree | snapshot
2023-09-15 Nicolas Luckmthom's changes to run_query with backtracking commit | commitdiff | tree | snapshot
2023-09-14 Nicolas Luckmthom's revised run_query with manually created printer... commit | commitdiff | tree | snapshot
2023-09-13 Nicolas Lucklib_machine tests should not be tokio/async commit | commitdiff | tree | snapshot
2023-09-13 Nicolas LuckMerge branch 'master' into library-use-case commit | commitdiff | tree | snapshot
2023-09-13 Nicolas LuckUse write_term_to_heap as suggest, clean up, and includ... commit | commitdiff | tree | snapshot
2023-09-12 Markupdate syn crates commit | commitdiff | tree | snapshot
2023-09-11 Markget rid of OssifiedOpDir, DBRef, simplify current_op/3 commit | commitdiff | tree | snapshot
2023-09-11 Mark ThomMerge pull request #1993 from coasys/dashu-fixes commit | commitdiff | tree | snapshot
2023-09-11 Mark ThomMerge pull request #2013 from gruhn/fix-docker-debian... commit | commitdiff | tree | snapshot
2023-09-10 Niklas Gruhnfix Docker image commit | commitdiff | tree | snapshot
2023-09-10 Mark ThomMerge pull request #2010 from aarroyoc/update-website... commit | commitdiff | tree | snapshot
2023-09-10 Adrián Arroyo... Update website to mention 0.9.2 and playground commit | commitdiff | tree | snapshot
2023-09-10 Fayeed PawaskarMerge branch 'master' into dashu-fixes commit | commitdiff | tree | snapshot
2023-09-10 Fayeed PawaskarRemoved value method and use deref to get type commit | commitdiff | tree | snapshot
2023-09-09 Mark ThomMerge pull request #2008 from triska/clpb_improvements commit | commitdiff | tree | snapshot
2023-09-09 Markus Triskaremove code that is not needed in Scryer Prolog commit | commitdiff | tree | snapshot
2023-09-09 Markus Triskaremove more attributes so that they do not appear in... commit | commitdiff | tree | snapshot
2023-09-09 Markus Triskamove compatibility predicates and meta_predicate/1... commit | commitdiff | tree | snapshot
2023-09-09 Mark ThomMerge pull request #2006 from infogulch/wasm-ci commit | commitdiff | tree | snapshot
2023-09-09 Mark ThomMerge pull request #2007 from triska/rust_1_70 commit | commitdiff | tree | snapshot
2023-09-09 Markus Triskashorter partition/5, relying on first instantiated... commit | commitdiff | tree | snapshot
2023-09-09 Markus Triskaadd meta_predicate/1 declaration for include/3 and... commit | commitdiff | tree | snapshot
2023-09-09 Markus Triskashorter include/3 and exclude/3, relying on improved... commit | commitdiff | tree | snapshot
2023-09-09 Markus Triskaadd licensing information, addressing part of #1798 commit | commitdiff | tree | snapshot
2023-09-09 Markus Triskaupdate required Rust version commit | commitdiff | tree | snapshot
2023-09-09 Joe TaberAdd wasm build steps commit | commitdiff | tree | snapshot
2023-09-08 Mark ThomMerge pull request #2004 from triska/generalize_description commit | commitdiff | tree | snapshot
2023-09-08 Mark ThomMerge pull request #2003 from triska/clpz_comment commit | commitdiff | tree | snapshot
2023-09-08 Markus Triskathis holds for all architectures (also 32-bit systems) commit | commitdiff | tree | snapshot
2023-09-08 Markus Triskaupdate comment commit | commitdiff | tree | snapshot
2023-09-08 Mark ThomMerge pull request #1986 from rujialiu/wasm32-support commit | commitdiff | tree | snapshot
2023-09-08 Rujia LiuBasic WebAssembly support with minimal Javascript API... commit | commitdiff | tree | snapshot
2023-09-05 Markcheck atom == ',' in ambiguity_check mirroring logic... commit | commitdiff | tree | snapshot
2023-09-05 Markremove error printing redundancy and inconsistent state... commit | commitdiff | tree | snapshot
2023-09-05 Mark ThomMerge pull request #1980 from Skgland/atomtable commit | commitdiff | tree | snapshot
2023-09-05 Mark ThomMerge pull request #1997 from triska/countall commit | commitdiff | tree | snapshot
2023-09-05 Markcall_with_inference_limit/3 should fail if inference... commit | commitdiff | tree | snapshot
2023-09-05 Markus TriskaFIXED: documentation of countall/2 (#1976) commit | commitdiff | tree | snapshot
2023-09-05 Bennet Bleßmannmake F64Table concurency safe commit | commitdiff | tree | snapshot
2023-09-05 Bennet Bleßmannremove locks from AtomTable commit | commitdiff | tree | snapshot
2023-09-05 Bennet Bleßmann[WIP] move towards lockless AtomTable commit | commitdiff | tree | snapshot
2023-09-05 Markus TriskaFIXED: countall/2 for zero solutions (#1996) commit | commitdiff | tree | snapshot
2023-09-05 Skglandfix `rust_beta_channel` feature commit | commitdiff | tree | snapshot
2023-09-05 Skglandfix accidentally left in println!() commit | commitdiff | tree | snapshot
2023-09-05 Skglandraise msrv for OnceLock support commit | commitdiff | tree | snapshot
2023-09-05 Skglandadd comment why blocking_write is not used commit | commitdiff | tree | snapshot
2023-09-05 Skglandfix deadlock in `load_library_as_stream` commit | commitdiff | tree | snapshot
2023-09-05 Bennet Bleßmann[WIP] fix deadlock in AtomTable::build_with commit | commitdiff | tree | snapshot
2023-09-05 Skgland[WIP] make AtomTable concurrentcy ready commit | commitdiff | tree | snapshot
2023-09-05 Skglandrun cargo fmt commit | commitdiff | tree | snapshot
2023-09-04 Markcorrect inference counting over index backtracking... commit | commitdiff | tree | snapshot
2023-09-04 Fayeed PawaskarImplemented num_order methods on Integer & Rational... commit | commitdiff | tree | snapshot
2023-09-04 Fayeed PawaskarAdded new unify methods commit | commitdiff | tree | snapshot
2023-09-04 Fayeed PawaskarFixed warning commit | commitdiff | tree | snapshot
2023-09-04 Fayeed PawaskarAdded value method to get the generic type from TypedAr... commit | commitdiff | tree | snapshot
2023-09-04 Fayeed PawaskarAdded latest dashu from github commit | commitdiff | tree | snapshot
2023-09-04 Mark ThomMerge pull request #1991 from triska/discoverable_flags commit | commitdiff | tree | snapshot
2023-09-04 Mark ThomMerge pull request #1990 from triska/clpb_max commit | commitdiff | tree | snapshot
2023-09-03 Markus TriskaFIXED: make occurs_check and answer_write_options flags... commit | commitdiff | tree | snapshot
2023-09-03 Markus Triskaupdate answer commit | commitdiff | tree | snapshot
2023-09-03 Markus Triskauntabify commit | commitdiff | tree | snapshot
2023-09-03 Markus Triskaremove clpb_max/1 attribute for residual goal projection commit | commitdiff | tree | snapshot
2023-09-03 Mark ThomMerge pull request #1988 from triska/answer_write_options commit | commitdiff | tree | snapshot
2023-09-03 Mark ThomMerge pull request #1989 from triska/mention_binaries commit | commitdiff | tree | snapshot
2023-09-03 Markus Triskamention precompiled binaries commit | commitdiff | tree | snapshot
2023-09-03 Markus TriskaADDED: New Prolog flag, answer_write_options. commit | commitdiff | tree | snapshot
2023-08-30 Nicolas LuckDebug print value of register 6 which leads to failing... commit | commitdiff | tree | snapshot
2023-08-30 Nicolas LuckAdd back needed dep. hyper-util and upgrade hyper to rc4 commit | commitdiff | tree | snapshot
2023-08-30 Nicolas LuckMerge branch 'master' into library-use-case commit | commitdiff | tree | snapshot
2023-08-30 Nicolas LuckWIP: Pure Rust impl. of run_query commit | commitdiff | tree | snapshot
2023-08-29 Markrefine is/2 compilation so errors are thrown when expec... commit | commitdiff | tree | snapshot
2023-08-29 Markdon't compile is instruction if bound to anonymous... commit | commitdiff | tree | snapshot
2023-08-28 Markupdate Cargo.toml version numbers and bump version... v0.9.2 commit | commitdiff | tree | snapshot
2023-08-27 Mark ThomMerge pull request #1978 from aarroyoc/ci-32-bits commit | commitdiff | tree | snapshot
2023-08-27 Mark ThomMerge pull request #1979 from triska/normalize_space commit | commitdiff | tree | snapshot
2023-08-27 Adrián Arroyo... 32 bit CI for Linux commit | commitdiff | tree | snapshot
2023-08-27 Markus Triskareplace adjacent whitespace characters with a single... commit | commitdiff | tree | snapshot
2023-08-27 Markus TriskaENHANCED: rudimentary implementation of normalize_space commit | commitdiff | tree | snapshot
2023-08-25 Mark ThomMerge pull request #1972 from rujialiu/32-bit-support commit | commitdiff | tree | snapshot
2023-08-24 Nicolas LuckRemove debug println!s commit | commitdiff | tree | snapshot
2023-08-24 Nicolas LuckCargo feature "multi_thread" for thread-local ATOM_TABL... commit | commitdiff | tree | snapshot
2023-08-24 Nicolas LuckRevert "Enable multiple Machines per process by having... commit | commitdiff | tree | snapshot
2023-08-24 Nicolas LuckFix parsing of floats commit | commitdiff | tree | snapshot
2023-08-24 Rujia Liu32-bit system support, addressing all (at most) 4GB... commit | commitdiff | tree | snapshot
2023-08-23 Nicolas LuckEnable multiple Machines per process by having ATOM_TAB... commit | commitdiff | tree | snapshot
2023-08-22 Mark ThomMerge pull request #1973 from triska/clpz commit | commitdiff | tree | snapshot
2023-08-22 Nicolas LuckFix list result parsing commit | commitdiff | tree | snapshot
2023-08-22 Markus Triskaattach more propagators before starting propagation commit | commitdiff | tree | snapshot
2023-08-22 Markus Triskaremove optional (+)/1 prefix in get_atts/2 and put_atts... commit | commitdiff | tree | snapshot
2023-08-22 Markus Triskause pneq/2 commit | commitdiff | tree | snapshot
2023-08-22 Markus Triskaenforce same queue in more constraints commit | commitdiff | tree | snapshot
2023-08-22 Markus Triskaappend the entire queues instead of inserting each... commit | commitdiff | tree | snapshot
2023-08-21 Markus Triskaadapt query to Scryer Prolog commit | commitdiff | tree | snapshot
2023-08-21 Markus Triskaupdate answers commit | commitdiff | tree | snapshot
2023-08-21 Markus Triskause can_be/2 commit | commitdiff | tree | snapshot
2023-08-21 Mark ThomMerge pull request #1967 from rujialiu/optional-features commit | commitdiff | tree | snapshot
2023-08-21 Rujia LiuAllow users to disable optional features. Needed for... commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust