Skip to content

Pull requests: sazare/cheaplogic

New pull request New
Clear current search query, filters, and sorts
0 Open 121 Closed
0 Open 121 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

added a memo of relation of NN and Logic
#26 by sazare was merged Dec 30, 2018 Loading…
added subst
#11 by sazare was merged Nov 18, 2018 Loading…
Dev
#12 by sazare was merged Nov 22, 2018 Loading…
Dev
#13 by sazare was merged Nov 24, 2018 Loading…
Dev
#14 by sazare was merged Dec 15, 2018 Loading…
removed @show for debug
#15 by sazare was merged Dec 15, 2018 Loading…
Dev
#16 by sazare was merged Dec 16, 2018 Loading…
Dev
#17 by sazare was merged Dec 17, 2018 Loading…
fixed: remained unused vars in fitting_vars()
#19 by sazare was merged Dec 22, 2018 Loading…
make some documents
#21 by sazare was merged Dec 25, 2018 Loading…
added code for howtowrite.txt
#22 by sazare was merged Dec 26, 2018 Loading…
document update
#24 by sazare was merged Dec 28, 2018 Loading…
added mapexpr which map fn to every symbol of an Expr
#9 by sazare was merged Nov 14, 2018 Loading…
refactor docs
#25 by sazare was merged Dec 28, 2018 Loading…
added unification of substitution
#27 by sazare was merged Jan 2, 2019 Loading…
added LPS
#28 by sazare was merged Jan 6, 2019 Loading…
added id.spec for showing a bug
#29 by sazare was merged Jan 7, 2019 Loading…
added test for fp_subst
#31 by sazare was merged Jan 15, 2019 Loading…
correct some mistakes in about_lps.txt.
#32 by sazare was merged Jan 16, 2019 Loading…
change inside to loopcheck
#33 by sazare was merged Jan 17, 2019 Loading…
added a lps spec for add but not bad
#34 by sazare was merged Jan 17, 2019 Loading…
complete add.spec
#35 by sazare was merged Jan 20, 2019 Loading…
Dev
#36 by sazare was merged Feb 24, 2019 Loading…
removed redundant codes
#37 by sazare was merged Feb 26, 2019 Loading…
changed cid, lid to atom not symbol (new branch)
#199 by sazare was merged Sep 22, 2020 Loading…
ProTip! Filter pull requests by the default branch with base:master.