]> gitweb.factorcode.org Git - factor.git/history - basis/stack-checker/branches
Append input history to ~/.factor-history upon UI Listener ending
[factor.git] / basis / stack-checker / branches /
2023-10-23 John Benediktssonsequences: more use of minimum/maximum
2023-08-22 nomennescioMerge branch 'factor:master' into feature-vm-prepare...
2023-01-20 John BenediktssonSwitch to https urls
2017-06-02 Doug Colemancore/basis: Rename tuples kernel:curry -> curried,...
2016-08-04 Björn Lindqviststack-checker.*: new tests
2016-08-04 Björn Lindqviststack-checker.*: change pop-literal stack effect to...
2015-08-01 John Benediktssonstack-checker: using cleanup.
2015-07-21 John Benediktssonuse ``if*`` instead of ``dup [ ] [ drop ] if``.
2015-02-05 Björn Lindqviststack-checker.*: misc doc additions
2014-04-24 John Benediktssonnamespaces: removing make-assoc in favor of explicit...
2013-03-23 Doug Colemanstack-checker: Rename literal -> literal-tuple.
2013-03-23 Doug Colemanassocs: Add of and ?of. Change all the things at once...
2013-03-12 Doug Colemansequences: Add some short useful factors. Clean up...
2012-07-20 Doug Colemanstack-checker: meta-d was a word and symbol, now meta...
2011-10-18 John BenediktssonEliminate duplicate syntax for stack effects "(" no...
2011-08-27 John BenediktssonMerge remote-tracking branch 'malu/semantic-versioning'
2010-06-03 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2010-04-15 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/facto...
2010-04-14 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2010-04-14 Erik CharleboisMerge branch 'master' of git://github.com/slavapestov...
2010-04-13 Slava Pestovstack-checker: calling 'dispatch' with unbalanced branc...
2010-03-23 Daniel EhrenbergMerge branch 's3' of git://github.com/littledan/Factor...
2010-03-16 Daniel EhrenbergMerge branch 'bags' of git://github.com/littledan/Factor
2010-03-12 Joe GroffMerge branch 'master' of git://factorcode.org/git/facto...
2010-03-11 Slava PestovMerge branch 'master' of git://factorcode.org/git/facto...
2010-03-11 Slava PestovMerge branch 'row-polymorphism' of git://factorcode...
2010-03-10 Joe GroffMerge branch 'master' into row-polymorphism
2010-03-09 Joe GroffMerge branch 'master' of git://factorcode.org/git/facto...
2010-03-08 Joe Groffcombine unbalanced-branches-error and invalid-quotation...
2010-03-08 Joe Groffdeclare effect on inputs to infer-if in non-literal...
2010-03-08 Joe Groffunify inner-d-index when unifying branches; close a...
2010-03-08 Joe Grofftweak declared-effect to wrap the existing known instea...
2010-03-07 Joe Groffrow polymorphism new approach: wrap polymorphic quotati...
2010-02-22 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2010-02-07 Slava PestovMerge branch 'new-math-parser' of git://factorcode...
2010-01-20 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2009-11-27 Joe GroffMerge branch 'master' into simd-cleanup
2009-11-22 Slava PestovFix conflict
2009-11-22 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-11-21 Slava PestovFactor source files should not be executable
2009-11-15 Doug ColemanMerge branch 'master' into startup
2009-11-15 Doug ColemanMerge branch 'monotonic' of git://factorcode.org/git...
2009-11-15 Joe GroffMerge branch 'master' of git://factorcode.org/git/facto...
2009-11-09 Slava PestovMerge branch 'master' of git://github.com/killy971...
2009-11-09 Slava PestovMerge branch 'master' of git://github.com/Blei/factor
2009-11-09 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-11-09 Slava Pestovstack-checker: tighten some screws in error reporting
2009-06-02 Bruno DeferrariMerge branch 'master' into irc
2009-06-01 Doug ColemanMerge branch 'irc' of git://www.tiodante.com/git/factor
2009-05-24 Sam AnklesariaMerge branch 'master' of git://factorcode.org/git/factor
2009-05-24 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-05-23 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-05-23 Slava PestovMerge branch 'master' into global_optimization
2009-05-23 Slava Pestovstack-checker: fix case where invalid code could infer
2009-05-01 Sascha MatzkeMerge commit 'mongo-factor-driver/master' into mongo...
2009-02-25 Alex ChapmanMerge branch 'master' into experimental
2009-02-20 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-02-19 Tim WawrzynczakMerge branch 'master' of git://factorcode.org/git/factor
2009-02-19 Jason MerrillMerge branch 'master' of git://factorcode.org/git/factor
2009-02-18 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-02-18 Jose A. Ortega RuizMerge commit 'origin/master' into emacs
2009-02-17 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/facto...
2009-02-17 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-02-17 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-02-17 Slava PestovMerge branch 'master' into new_ui
2009-02-17 Slava PestovAdd summary for heaps more vocabs
2009-02-05 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-02-03 slavaTrying to fix a bad merge...
2009-02-03 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2009-02-03 Alex ChapmanMerge branch 'master' into experimental
2009-02-02 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2009-02-02 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-02-02 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-02-02 Slava PestovFix conflict
2009-02-02 Slava PestovUse [ max ] map-reduce instead of map supremum; would...
2009-02-01 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-01-31 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Slava PestovMerge branch 'emacs' of http://git.hacks-galore.org...
2009-01-30 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Jose A. Ortega RuizMerge commit 'origin/master' into emacs
2009-01-30 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Jeff BigotMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Alex ChapmanMerge branch 'master' into experimental
2009-01-30 Alex ChapmanMerge branch 'master' into experimental
2009-01-30 Slava PestovFix conflict
2009-01-30 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Doug Colemanrenaming: contain? -> any?, deep-contains? -> deep...
2009-01-28 Alex ChapmanMerge branch 'master' into experimental (untested!)
2009-01-26 Doug ColemanMerge branch 'master' of git://repo.or.cz/factor/jcg
2009-01-22 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-01-21 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2009-01-20 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-01-19 Eduardo CavazosMerge commit 'jao/master'
2009-01-19 Eduardo CavazosMerge commit 'dharmatech/master'
2009-01-17 Slava PestovMerge branch 'emacs' of http://git.hacks-galore.org...
2009-01-17 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-01-17 Slava PestovMerge branch 'emacs' of http://git.hacks-galore.org...
2009-01-16 Slava PestovMerge branch 'master' into new_ui
2009-01-16 Slava PestovUpdate usages of all-equal? now that its in the groupin...
next