]> 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-10-04 Markuse eager_stackful_preorder_iter in variable_set, add... commit | commitdiff | tree | snapshot
2023-10-04 Markrewrite ground_test, add tests for ground/1 (#2075) commit | commitdiff | tree | snapshot
2023-10-04 MarkRevert "consider Str, PStrLoc in ElideLists of Stackful... commit | commitdiff | tree | snapshot
2023-10-04 Markconsider Str, PStrLoc in ElideLists of StackfulHeapIter... commit | commitdiff | tree | snapshot
2023-10-04 Mark ThomMerge pull request #2076 from infogulch/master commit | commitdiff | tree | snapshot
2023-10-04 infogulchPin logtalk to version before scryer support was removed commit | commitdiff | tree | snapshot
2023-10-03 Markcheck for free variables in locations removed from... commit | commitdiff | tree | snapshot
2023-10-03 Markcorrect cycle detection in ground/1 (#2073) commit | commitdiff | tree | snapshot
2023-10-03 Mark ThomMerge pull request #2074 from triska/expansion_simpler commit | commitdiff | tree | snapshot
2023-10-03 Markus TriskaRevert "FIXED: corrections to expansion_simpler/2" commit | commitdiff | tree | snapshot
2023-10-02 Mark ThomMerge pull request #2072 from aarroyoc/fix-urldecode commit | commitdiff | tree | snapshot
2023-10-02 Mark ThomMerge pull request #2070 from triska/expansion_simpler commit | commitdiff | tree | snapshot
2023-10-02 Adrián Arroyo... Improved version of url_decode commit | commitdiff | tree | snapshot
2023-10-02 Markus TriskaFIXED: corrections to expansion_simpler/2 commit | commitdiff | tree | snapshot
2023-10-02 Markadd registers to inlined instruction functors commit | commitdiff | tree | snapshot
2023-10-02 Markconsider an '$aux' a relation of the unexpanded goal... commit | commitdiff | tree | snapshot
2023-10-01 Markthrow instantiation_error from error/2 if Error_term... commit | commitdiff | tree | snapshot
2023-10-01 Markget rid of inference_limit_exceeded(B) as an error... commit | commitdiff | tree | snapshot
2023-10-01 Mark ThomMerge pull request #2066 from bakaq/dif_tests commit | commitdiff | tree | snapshot
2023-10-01 bakaqAdd tests for #2056 commit | commitdiff | tree | snapshot
2023-09-30 Markcorrect depth calculation for lists that are their... commit | commitdiff | tree | snapshot
2023-09-30 Marksubstitute names for cyclic variables permitted by... commit | commitdiff | tree | snapshot
2023-09-30 Markimplement ListElisionPolicy to restore previous printer... commit | commitdiff | tree | snapshot
2023-09-30 Markcorrect skipping of not fully visited lists in stackful... commit | commitdiff | tree | snapshot
2023-09-30 Markcorrect max_depth marking for lists commit | commitdiff | tree | snapshot
2023-09-29 Markfurther max_depth improvements commit | commitdiff | tree | snapshot
2023-09-29 Markimprove max_depth write option (#1876, #2053) commit | commitdiff | tree | snapshot
2023-09-28 Markdo not deref AttrVar binding in redo_attr_var_binding... commit | commitdiff | tree | snapshot
2023-09-28 Markrevert throwing domain errors for unexpected forms... commit | commitdiff | tree | snapshot
2023-09-28 Markcheck for ChildCloseList in print_struct on [] (#2039) commit | commitdiff | tree | snapshot
2023-09-27 Markfix add_predicate_declaration bug not correctly identif... commit | commitdiff | tree | snapshot
2023-09-27 Markremove debug symbols from release builds (#2054) commit | commitdiff | tree | snapshot
2023-09-27 Mark ThomMerge pull request #1998 from aarroyoc/warp-http-server commit | commitdiff | tree | snapshot
2023-09-27 Markfix max_depth settings for partial strings on lists... commit | commitdiff | tree | snapshot
2023-09-27 Adrián Arroyo... Replace Hyper with Warp for HTTP server commit | commitdiff | tree | snapshot
2023-09-27 Mark ThomMerge pull request #2048 from infogulch/master commit | commitdiff | tree | snapshot
2023-09-27 infogulchTidy ci.yaml commit | commitdiff | tree | snapshot
2023-09-27 infogulchBuild windows with msvc commit | commitdiff | tree | snapshot
2023-09-27 infogulchAdd ubuntu 22.04 commit | commitdiff | tree | snapshot
2023-09-26 Markremove module_resolution_error (#2035) commit | commitdiff | tree | snapshot
2023-09-26 Markfilter our builtins from current_predicate/1 (#153) commit | commitdiff | tree | snapshot
2023-09-26 Markcheck for predicate_indicator list and sequence types... commit | commitdiff | tree | snapshot
2023-09-26 Markthrow instantiation_error when appropriate from parse_w... commit | commitdiff | tree | snapshot
2023-09-26 Markcorrect OutOfFiles resource error (#1375) commit | commitdiff | tree | snapshot
2023-09-26 Markadd predicate indicator sequences to loader:add_predica... commit | commitdiff | tree | snapshot
2023-09-26 Markthrow an error instead of allowing builtin modules... commit | commitdiff | tree | snapshot
2023-09-25 MarkMerge branch 'master' of ssh://github.com/mthom/scryer... commit | commitdiff | tree | snapshot
2023-09-25 Markfix off-by-1 bug in '$skip_max_list'/4 (#2037) commit | commitdiff | tree | snapshot
2023-09-25 Mark ThomMerge pull request #2032 from bakaq/phrase_from_stream commit | commitdiff | tree | snapshot
2023-09-25 bakaqRemove reposition option from phrase_from_file/2 commit | commitdiff | tree | snapshot
2023-09-24 bakaqInline string_get_n_chars_/3 commit | commitdiff | tree | snapshot
2023-09-24 bakaqBetter string_get_n_chars_/3 commit | commitdiff | tree | snapshot
2023-09-24 bakaqFixed bug with '$skip_max_list'/4 commit | commitdiff | tree | snapshot
2023-09-24 bakaqUse '$skip_max_list'/4 in string_get_n_chars/4 commit | commitdiff | tree | snapshot
2023-09-24 bakaqAdd phrase_from_stream/2 to library(pio) commit | commitdiff | tree | snapshot
2023-09-24 Mark ThomMerge pull request #2040 from rujialiu/allow-cr commit | commitdiff | tree | snapshot
2023-09-24 Rujia LiuSolves CRLF/CR issue by considering'\r' a `layout_char... commit | commitdiff | tree | snapshot
2023-09-24 Mark ThomMerge pull request #2038 from infogulch/patch-1 commit | commitdiff | tree | snapshot
2023-09-24 Joe TaberAllow all jobs to run to completion even if one fails commit | commitdiff | tree | snapshot
2023-09-24 Markfix off-by-1 bug in ''/4 (#2037) commit | commitdiff | tree | snapshot
2023-09-23 Markdon't parse bracketed non-operators as functor terms... commit | commitdiff | tree | snapshot
2023-09-23 Markrecord compaction depth after reduce_op if '|' an opera... commit | commitdiff | tree | snapshot
2023-09-21 Markadd (now failing) test 317 to iso_conformity_tests.pl commit | commitdiff | tree | snapshot
2023-09-21 Markgeneralize multifile/dynamic/discontiguous declarations... commit | commitdiff | tree | snapshot
2023-09-21 Markthrow resource error if OpenOptions raises an error... commit | commitdiff | tree | snapshot
2023-09-21 Mark ThomMerge pull request #2027 from bakaq/dif commit | commitdiff | tree | snapshot
2023-09-21 Mark ThomMerge pull request #2026 from infogulch/master commit | commitdiff | tree | snapshot
2023-09-21 bakaqAvoid dif/1 attribute with empty list commit | commitdiff | tree | snapshot
2023-09-21 bakaqRun dif tests on cargo test commit | commitdiff | tree | snapshot
2023-09-20 bakaqTests for dif/2 commit | commitdiff | tree | snapshot
2023-09-20 bakaqImproved dif/2 commit | commitdiff | tree | snapshot
2023-09-20 infogulchSimplify maybe commit | commitdiff | tree | snapshot
2023-09-20 Mark ThomMerge pull request #2025 from aarroyoc/random-seed commit | commitdiff | tree | snapshot
2023-09-20 Adrián Arroyo... Use a SeedableRng to generate random numbers commit | commitdiff | tree | snapshot
2023-09-15 Markremove unnecessary Result return type from read_term_fr... commit | commitdiff | tree | snapshot
2023-09-13 Mark ThomMerge pull request #2018 from triska/libffi commit | commitdiff | tree | snapshot
2023-09-13 Markus Triskause version from crates.io commit | commitdiff | tree | snapshot
2023-09-13 Mark ThomMerge pull request #2017 from cmpute/master commit | commitdiff | tree | snapshot
2023-09-13 JacobUpgrade dashu and some changes 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
next
FORK: A modern Prolog implementation written mostly in Rust