fib - the fibonacci only you would give me

	Commit message (Collapse)	Author	Age
*	typo	funemy	2022-10-25
\|
*	redundant line	funemy	2022-10-25
\|
*	minor	funemy	2022-10-25
\|
*	when i still have chance to format	funemy	2022-10-25
\|
*	Merge branch 'main' of github.com:braxtonhall/fib	funemy	2022-10-25
\|\
\| *	Merge pull request #41 from funemy/main	Braxton Hall	2022-10-25
\| \|\ \| \| \| \| \| \|	symbolic execution fib
\| * \	Merge branch 'braxtonhall:main' into lily	Lily	2022-10-25
\| \|\ \
\| * \| \|	Much simpler fractran program	Lily Lin	2022-10-25
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Why did I commit the complex one in the first place...
* \| \| \|	a different z3 constraint encoding	funemy	2022-10-25
\| \|_\|/ \|/\| \|
* \| \|	minor	funemy	2022-10-25
\| \| \|
* \| \|	Merge branch 'main' of github.com:braxtonhall/fib	funemy	2022-10-25
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Merge pull request #39 from braxtonhall/wc	Braxton Hall	2022-10-25
\| \|\ \ \| \| \| \| \| \| \| \|	Ensure wc fib(1)=1
\| \| * \|	ensure wc-fib(1)=1	braxtonhall	2022-10-25
\| \| \| \|
\| * \| \|	Merge pull request #36 from LucasZamprogno/main	Braxton Hall	2022-10-25
\| \|\ \ \ \| \| \| \| \| \| \| \| \| \|	Node things
\| \| * \| \|	Node things	Lucas Zamprogno	2022-10-25
\| \| \| \| \|
\| * \| \| \|	Merge pull request #38 from braxtonhall/wc	Braxton Hall	2022-10-25
\| \|\ \ \ \ \| \| \| \|/ / \| \| \|/\| / \| \| \|_\|/ \| \|/\| \|	Ruin my poor disk
\| \| * \|	Make wc a little bit safer	braxtonhall	2022-10-25
\| \| \| \|
\| \| * \|	Ruin my poor disk	braxtonhall	2022-10-25
\| \| \| \|
\| * \| \|	Cleanup	Lily Lin	2022-10-25
\| \| \| \|
\| * \| \|	Add entries	Lily Lin	2022-10-25
\| \| \| \|
\| * \| \|	Merge pull request #35 from markusdemedeiros/main	Braxton Hall	2022-10-25
\| \|\ \ \ \| \| \| \| \| \| \| \| \| \|	you wanted this
\| \| * \| \|	god is dead 2	markusde	2022-10-25
\| \| \| \| \|
\| \| * \| \|	Merge branch 'braxtonhall:main' into main	Markus de Medeiros	2022-10-25
\| \| \|\ \ \
\| \| * \| \| \|	god is dead	markusde	2022-10-25
\| \| \| \| \| \|
\| * \| \| \| \|	Merge pull request #34 from adirar111/main	Braxton Hall	2022-10-25
\| \|\ \ \ \ \ \| \| \|_\|/ / / \| \|/\| \| \| \|	filesystem cache in c
\| \| * \| \| \|	cleanup	Aymen Dirar	2022-10-25
\| \| \| \| \| \|
\| \| * \| \| \|	make wasm prettier	Aymen Dirar	2022-10-25
\| \| \| \| \| \|
\| \| * \| \| \|	c filesystem cache fib	Aymen Dirar	2022-10-25
\| \| \|/ / /
\| * / / /	people.json fixed	gonzalezf	2022-10-25
\| \|/ / /
\| * \| \|	Merge pull request #32 from jyoo980/main	Braxton Hall	2022-10-25
\| \|\ \ \ \| \| \| \| \| \| \| \| \| \|	Adding vintage HtDP version of Fib
\| \| * \ \	Merging local with remote main	James Yoo	2022-10-24
\| \| \|\ \ \
\| \| * \| \| \|	Adding HtDP version of fibonacci, pre @htdp tags	James Yoo	2022-10-24
\| \| \| \| \| \|
\| * \| \| \| \|	Merge branch 'main' into main	Braxton Hall	2022-10-24
\| \|\ \ \ \ \
\| \| * \| \| \| \|	Added compiled version	David Ewert	2022-10-24
\| \| \| \| \| \| \|
\| \| * \| \| \| \|	>=	David Ewert	2022-10-24
\| \| \| \| \| \| \|
\| \| * \| \| \| \|	Added Fib	David Ewert	2022-10-24
\| \| \| \|/ / / \| \| \|/\| \| \|
\| * \| \| \| \|	More consistent naming	Dave Pagurek	2022-10-24
\| \| \| \| \| \|
\| * \| \| \| \|	Rename fib.html to index.html	Dave Pagurek	2022-10-24
\| \| \| \| \| \|
\| * \| \| \| \|	Do some unholy things with CSS	Dave Pagurek	2022-10-24
\| \|/ / / /
\| * \| \| \|	Merge pull request #29 from braxtonhall/marie	Braxton Hall	2022-10-24
\| \|\ \ \ \ \| \| \| \|/ / \| \| \|/\| \|	Add Marie
\| \| * \| \|	Add Marie	braxtonhall	2022-10-24
\| \| \| \| \|
\| * \| \| \|	Add Ron	braxtonhall	2022-10-24
\| \|/ / /
\| * \| \|	Merge pull request #27 from StuartLiv/main	Braxton Hall	2022-10-24
\| \|\ \ \ \| \| \| \| \| \| \| \| \| \|	Added ThetaFibN
\| \| * \| \|	Added ThetaFibN	StuartLiv	2022-10-24
\| \| \| \| \|
\| * \| \| \|	Merge pull request #26 from braxtonhall/splaulette	Braxton Hall	2022-10-24
\| \|\ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \|	Update Paulette's fib
\| \| * \| \| \|	Update Paulette's fib	braxtonhall	2022-10-24
\| \| \| \| \| \|
\| * \| \| \| \|	Merge pull request #25 from braxtonhall/splaulette	Braxton Hall	2022-10-24
\| \|\\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Paulette
\| \| * \| \| \|	Add Paulette	braxtonhall	2022-10-24
\| \| \| \| \| \|
\| * \| \| \| \|	Merge branch 'main' into main	Braxton Hall	2022-10-24
\| \|\\| \| \| \|
\| \| * \| \| \|	Merge pull request #23 from braxtonhall/nico	Braxton Hall	2022-10-24
\| \| \|\ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Nico