inpla.git - A fork of Inpla, a multi-threaded parallel interpreter of interaction nets

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'develop'	Shinya Sato	2022-04-27	22	-62/+9
\|\
\| *	Remove redundant letters	Shinya Sato	2022-04-27	21	-56/+3
\| \|
\| *	Update README.md	Shinya Sato	2022-04-27	1	-1/+1
\| \|
\| *	Update README.md	Shinya Sato	2022-04-27	1	-1/+1
\| \|
\| *	Update README.md	Shinya Sato	2022-04-27	1	-6/+6
\| \|
\| *	Update README.md	Shinya Sato	2022-04-27	1	-1/+1
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-04-16	1	-1/+1
\|\\|
\| *	Update README.md	Shinya Sato	2022-04-16	1	-1/+1
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-04-16	4	-12/+16
\|\\|
\| *	v0.8.1-2	Shinya Sato	2022-04-16	4	-12/+16
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-04-16	12	-16/+197
\|\\|
\| *	Update README.md	Shinya Sato	2022-04-16	1	-1/+1
\| \|
\| *	Update README.md	Shinya Sato	2022-04-16	1	-11/+11
\| \|
\| *	Benchmarks for OCaml	Shinya Sato	2022-04-16	11	-5/+186
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-03-26	1	-1/+2
\|\\|
\| *	Update hanoi.in	Shinya Sato	2022-03-26	1	-1/+2
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-03-10	1	-1/+3
\|\\|
\| *	Update Changelog.md	Shinya Sato	2022-03-10	1	-1/+3
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-03-10	8	-58/+204
\|\\|
\| *	v0.8.1-1	Shinya Sato	2022-03-10	8	-58/+204
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-03-10	1	-0/+39
\|\\|
\| *	Create hanoi.in	Shinya Sato	2022-03-10	1	-0/+39
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-03-05	1	-3/+3
\|\\|
\| *	Update Changelog.md	Shinya Sato	2022-03-05	1	-3/+3
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-03-03	1	-3/+3
\|\\|
\| *	Update Changelog.md	Shinya Sato	2022-03-03	1	-3/+3
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-03-03	1	-2/+2
\|\\|
\| *	Update Changelog.md	Shinya Sato	2022-03-03	1	-2/+2
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-03-03	11	-366/+857
\|\\|
\| *	v0.8.1	Shinya Sato	2022-03-03	2	-1/+8
\| \|
\| *	v0.8.1	Shinya Sato	2022-03-03	11	-366/+850
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-02-28	2	-10/+10
\|\\|
\| *	v0.8.0	Shinya Sato	2022-02-28	2	-10/+10
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-02-27	9	-307/+946
\|\\|
\| *	v0.8.0	Shinya Sato	2022-02-27	3	-3/+0
\| \|
\| *	v0.8.0	Shinya Sato	2022-02-27	12	-307/+949
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-02-24	3	-11/+40
\|\\|
\| *	v0.7.3-1	Shinya Sato	2022-02-24	3	-11/+40
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-02-21	1	-5/+5
\|\\|
\| *	Update Changelog.md	Shinya Sato	2022-02-21	1	-1/+1
\| \|
\| *	Update Changelog.md	Shinya Sato	2022-02-21	1	-2/+2
\| \|
\| *	Update Changelog.md	Shinya Sato	2022-02-21	1	-1/+1
\| \|
\| *	Update Changelog.md	Shinya Sato	2022-02-21	1	-5/+5
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-02-20	8	-1691/+2263
\|\\|
\| *	v0.7.3	Shinya Sato	2022-02-20	8	-1691/+2263
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-02-12	3	-9/+19
\|\\|
\| *	v0.7.2-1	Shinya Sato	2022-02-12	1	-1/+1
\| \|
\| *	v0.7.2-1	Shinya Sato	2022-02-12	1	-2/+2
\| \|
\| *	v0.7.2-1	Shinya Sato	2022-02-12	3	-9/+19
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-02-09	1	-2/+2
\|\\|