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	2023-02-06	1	-1/+1
\|\
\| *	v0.10.6	Shinya Sato	2023-02-06	1	-1/+1
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-02-06	5	-43/+103
\|\\|
\| *	v0.10.6	Shinya Sato	2023-02-06	5	-43/+103
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-02-03	1	-2/+2
\|\\|
\| *	Update Changelog.md	Shinya Sato	2023-02-03	1	-2/+2
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-02-03	3	-5/+14
\|\\|
\| *	v0.10.5	Shinya Sato	2023-02-03	3	-5/+14
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-02-02	1	-10/+22
\|\\|
\| *	Update Gentle_introduction_Inpla.md	Shinya Sato	2023-02-02	1	-10/+22
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-01-28	5	-14/+68
\|\\|
\| *	v0.10.4	Shinya Sato	2023-01-28	1	-1/+1
\| \|
\| *	v0.10.4	Shinya Sato	2023-01-28	5	-14/+68
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-01-12	3	-23/+22
\|\\|
\| *	v0.10.3	Shinya Sato	2023-01-12	3	-23/+22
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-01-02	1	-4/+14
\|\\|
\| *	Update Changelog.md	Shinya Sato	2023-01-02	1	-4/+14
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-12-29	1	-1/+5
\|\\|
\| *	Update Changelog.md	Shinya Sato	2022-12-29	1	-1/+5
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-12-29	2	-0/+67
\|\\|
\| *	v0.10.2	Shinya Sato	2022-12-29	1	-1/+1
\| \|
\| *	v10.0.2	Shinya Sato	2022-12-29	2	-0/+67
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-12-29	1	-0/+39
\|\\|
\| *	Update map.in	Shinya Sato	2022-12-29	1	-5/+0
\| \|
\| *	Create map.in	Shinya Sato	2022-12-29	1	-0/+44
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-12-29	5	-72/+177
\|\\|
\| *	v10.0.2	Shinya Sato	2022-12-29	5	-72/+177
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-12-22	5	-62/+178
\|\\|
\| *	v0.10.1	Shinya Sato	2022-12-22	5	-62/+178
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-10-27	1	-1/+1
\|\\|
\| *	Update README.md	Shinya Sato	2022-10-27	1	-1/+1
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-10-22	1	-2/+2
\|\\|
\| *	Update README.md	Shinya Sato	2022-10-22	1	-2/+2
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-10-22	1	-2/+3
\|\\|
\| *	Update README.md	Shinya Sato	2022-10-22	1	-2/+3
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-09-28	1	-3/+5
\|\\|
\| *	Update Changelog.md	Shinya Sato	2022-09-28	1	-3/+5
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-09-17	19	-119/+498
\|\\|
\| *	v0.10.0	Shinya Sato	2022-09-17	19	-119/+498
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-08-28	1	-3/+4
\|\\|
\| *	Update README.md	Shinya Sato	2022-08-28	1	-3/+4
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-08-28	16	-18/+439
\|\\|
\| *	Update the speed-up ratio graph	Shinya Sato	2022-08-28	2	-13/+14
\| \|
\| *	Update for n-queens	Shinya Sato	2022-08-28	14	-5/+425
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-08-22	5	-290/+445
\|\\|
\| *	v0.9.2-3	Shinya Sato	2022-08-22	1	-1/+1
\| \|
\| *	v0.9.2-3	Shinya Sato	2022-08-22	5	-290/+445
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-08-21	5	-1242/+54
\|\\|
\| *	v0.9.2-2	Shinya Sato	2022-08-21	1	-4/+4
\| \|
\| *	v0.9.2-2	Shinya Sato	2022-08-21	1	-2/+2
\| \|