fib - the fibonacci only you would give me

	Commit message (Collapse)	Author	Age
*	Update people.json	Tarcisio-Teixeira	2022-10-25
\|
*	Create differential.py	Tarcisio-Teixeira	2022-10-25
\|
*	Merge pull request #42 from funemy/main	Braxton Hall	2022-10-25
\|\ \| \| \| \|	z3 but cooler
\| *	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
\| \|
\| *	update people.json	funemy	2022-10-25
\| \|
\| *	Merge branch 'main' of github.com:braxtonhall/fib	funemy	2022-10-25
\| \|\
\| * \|	a different z3 constraint encoding	funemy	2022-10-25
\| \| \|
* \| \|	Merge pull request #44 from jyoo980/main	Braxton Hall	2022-10-25
\|\ \ \ \| \| \| \| \| \| \| \|	Adding AspectJ version of Fibonacci
\| * \| \|	Adding AspectJ version of Fibonacci	James Yoo	2022-10-25
\| \| \| \|
* \| \| \|	Merge pull request #43 from jlouis/jlouis-implementation	Braxton Hall	2022-10-25
\|\ \ \ \ \| \|_\|_\|/ \|/\| \| \|	Provide a fib implementation for jlouis
\| * \| \|	Fix the location of the main code in README	Jesper Louis Andersen	2022-10-25
\| \| \| \|
\| * \| \|	Provide a fib implementation for jlouis	Jesper Louis Andersen	2022-10-25
\|/ / / \| \| \| \| \| \| \| \| \| \| \| \|	Most of the entry is pure build-scaffolding. The meat is in a single file, which is then referenced in people.json.
* \| \|	Merge pull request #41 from funemy/main	Braxton Hall	2022-10-25
\|\ \ \ \| \| \|/ \| \|/\|	symbolic execution fib
\| * \|	people.json	funemy	2022-10-25
\| \| \|
\| * \|	minor	funemy	2022-10-25
\| \| \|
\| * \|	Merge branch 'main' of github.com:braxtonhall/fib	funemy	2022-10-25
\| \|\ \
\| * \| \|	symbolic	funemy	2022-10-25
\| \| \| \|
* \| \| \|	Merge pull request #40 from rctcwyvrn/lily	Braxton Hall	2022-10-25
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|	Simplify fractran fib
\| * \| \|	Merge branch 'braxtonhall:main' into lily	Lily	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
\| \| \| \| \| \|
* \| \| \| \| \|	Merge pull request #37 from rctcwyvrn/lily	Braxton Hall	2022-10-25
\|\ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Lily's entries
\| \| \| \| * \| \|	Much simpler fractran program	Lily Lin	2022-10-25
\| \| \|_\|/ / / \| \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Why did I commit the complex one in the first place...
\| * \| \| \| \|	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 3	markusde	2022-10-25
\| \| \| \| \| \|
\| * \| \| \| \|	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
\| \|/ / / / /
* \| \| \| \| \|	Merge pull request #33 from gonzalezf/main	Braxton Hall	2022-10-25
\|\ \ \ \ \ \ \| \|/ / / / / \|/\| \| \| \| \|	people.json fixed
\| * \| \| \| \|	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
\| * \| \| \|	Updating people.json	James Yoo	2022-10-24
\| \| \| \| \|
\| * \| \| \|	Merging local with remote main	James Yoo	2022-10-24
\| \|\ \ \ \
\| * \| \| \| \|	Adding HtDP version of fibonacci, pre @htdp tags	James Yoo	2022-10-24
\| \| \| \| \| \|
* \| \| \| \| \|	Merge pull request #31 from davepagurek/main	Braxton Hall	2022-10-24
\|\ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Add a CSS version
\| * \ \ \ \ \	Merge branch 'main' into main	Braxton Hall	2022-10-24
\| \|\ \ \ \ \ \ \| \|/ / / / / / \|/\| \| \| \| \| \|