OSDN Git Service
(root)
/
joypy
/
Thun.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
joypy/Thun.git
2019-08-13
Simon Forman
Minor cleanup.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
Move DCG stuff to own file.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
Parse ints; move line/{1,2} to main.pl.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
Parse floating point numbers.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
minor cleanup
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
minor cleanup
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
Numbers can be followed by space or [.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
Parse negative numbers.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
swapd function
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
assert_defs/1 got upset about not finding combo/5
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
Minor cleanup of the parser.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
rework parser DCGs
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
Oops! Regression.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
minor cleanup
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Simon Forman
swoncat and fiddling with parser.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-12
Simon Forman
Experiment with putting logic vars on the stack.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-12
Simon Forman
Remove a cut that sucked.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-12
Simon Forman
unstack, least_fraction
commit
|
commitdiff
|
tree
|
snapshot
2019-08-12
Simon Forman
Copyright notices.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-12
Simon Forman
The sqrt/1 predicate wasn't working.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-12
Simon Forman
Multifile func/3.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-12
Simon Forman
Build math & comparision functions.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-12
Simon Forman
Clean up REPL formatting.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Don't shadow funcs and combos.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Don't shadow funcs & combos.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Extract mainloop to own file.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Use double-quoted string for codes.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
cleanup old files
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Build defs.pl from defs.txt.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
build defs.pl
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
build defs.pl
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Move parser to own file.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
map combo
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Bring in funcs and combos.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Omit Prolog toplevel.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Do not need thses files.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Fold in parser, main loop, and support.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-11
Simon Forman
Rename foo to thun.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-10
Simon Forman
Make a version for GNU Prolog compiler.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-09
Simon Forman
Also don't shadow combinators.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-09
Simon Forman
Prevent definitions from shadowing functions.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-09
Simon Forman
Demo grow/shrink.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-09
Simon Forman
Some trailing whitespace or something.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-09
Simon Forman
A few more functions.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-08
Simon Forman
merge
commit
|
commitdiff
|
tree
|
snapshot
2019-08-08
Simon Forman
grow/shrink as DCGs.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-07
Simon Forman
Integer DCGs that work in both directions.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-04
Simon Forman
loop combinator handles ambiguity.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-04
Simon Forman
Move is_numerical() to joy.gui.utils.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-04
Simon Forman
Experiment in formatting stacks for output.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-04
Simon Forman
Minor refactor.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-04
Simon Forman
Gnarly fun with metaprogramming.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-03
Simon Forman
Get the path separator right on windows.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-22
Simon Forman
Comparisions are literals too.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-22
Simon Forman
Bits of formatting.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-22
Simon Forman
Minor cleanup.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-22
Simon Forman
Remove write_state/5.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-22
Simon Forman
Build a list of the moves taken.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-22
Simon Forman
Refactor a bit.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-21
Simon Forman
Assert definitions as they are read.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-21
Simon Forman
Messing with TLA+ in Prolog.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-21
Simon Forman
Implement map combinator.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-21
Simon Forman
Tiny edits. Almost nothing.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-21
Simon Forman
Remove cuts from branch combinator.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-21
Simon Forman
Add mod, gcd, and hypot; term_expansion for math ops.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-21
Simon Forman
Fold try_both_branches/4 into branch combo.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-21
Simon Forman
Replace ? with plain ol' def/2.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-21
Simon Forman
WTF error handler.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-20
Simon Forman
If I comment out the WTF handler...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-20
Simon Forman
Try to handle expressions in branch combinator.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-20
Simon Forman
Handle exceptions in comparison ops.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-16
Simon Forman
More readable genrec.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-16
Simon Forman
A little helper function to see compiled expressions.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-16
Simon Forman
Clear out CLP(FD) functions.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-16
Simon Forman
Opps! Here's the implementation of bool.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-16
Simon Forman
Add bool function to mimic Python semantics.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-16
Simon Forman
Change comparison ops to not use CLP(FD).
commit
|
commitdiff
|
tree
|
snapshot
2019-07-16
Simon Forman
Implement genrec combinator.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-16
Simon Forman
Minor cleanup of defs.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
Move all definitions to defs.txt.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
Retract previous definitions before asserting new ones.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
Load definitions from a file.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
Very minor docs change.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
Parse joy definitions from text.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
New combinator infrst == infra first
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
nullary combinator as definition.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
Infra as definition.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
Reimplement app1 and app2 as definitions.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
Got enough definitions, sort them.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Simon Forman
Switch to symbolic math (from CLP(FD).)
commit
|
commitdiff
|
tree
|
snapshot
2019-05-08
Simon Forman
Docs on Start Up Sequence
commit
|
commitdiff
|
tree
|
snapshot
2019-05-08
Simon Forman
Stop hg ignoring the build dir.
commit
|
commitdiff
|
tree
|
snapshot
2019-05-07
Simon Forman
More docs...
commit
|
commitdiff
|
tree
|
snapshot
2019-05-07
Simon Forman
A bit more on the docs.
commit
|
commitdiff
|
tree
|
snapshot
2019-05-07
Simon Forman
Move VUI package/module graph.
commit
|
commitdiff
|
tree
|
snapshot
2019-05-07
Simon Forman
screenshot
commit
|
commitdiff
|
tree
|
snapshot
2019-05-07
Simon Forman
A start on docs for VUI.
commit
|
commitdiff
|
tree
|
snapshot
2019-05-07
Simon Forman
Welcome to the Sphinx 1.8.5 quickstart utility.
commit
|
commitdiff
|
tree
|
snapshot
2019-05-07
Simon Forman
Rebuilt MANIFEST file.
commit
|
commitdiff
|
tree
|
snapshot
2019-05-06
Simon Forman
Use ~/.thun instead of ~/.joypy as default JOY_HOME.
commit
|
commitdiff
|
tree
|
snapshot
next