12 Commits

Author	SHA1	Message	Date
Ivan Litteri	e4e12bcb4e	Fix invalid --chmod Dockerfile syntax in docker/sp1 (#127)	2025-09-09 11:06:25 +08:00
Paul	e4b1ccca54	Upgrade sp1 to 5.2.1 (#108)	2025-09-03 17:49:20 +08:00
rodiazet	63107268a1	sp1: Compile sp1 guest program with stock rust compiler (#102)	2025-08-22 14:57:27 +02:00
Han	f281ead60a	Cleanup some todos in SP1 dockerfile (#79)	2025-08-07 22:06:12 +08:00
Han	1ad15f7379	Fix ere-dockerized SP1 GPU prover (#78)	2025-08-05 22:15:24 +08:00
Han	42e7c6c416	Add ere-dockerized (#75)	2025-08-02 19:21:52 +08:00
Ignacio Hagopian	0ad7730a0c	sp1: update sdk (#69) ... Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>	2025-07-29 12:04:20 -03:00
Ignacio Hagopian	3da61c14cb	sp1: use Docker for guest program compilation (#54) ... Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>	2025-07-16 08:54:15 -03:00
Kevaundray Wedderburn	090b430971	fix comment: run tests in docker	2025-05-12 14:03:01 +01:00
Kevaundray Wedderburn	fdbdb15272	add testing when building Dockerfile	2025-05-11 22:56:09 +01:00
Kevaundray Wedderburn	cb99c23b38	fix docker file -- $HOME is known only at runtime	2025-05-11 18:02:41 +01:00
Kevaundray Wedderburn	3e750f039d	add sp1 installer	2025-05-11 17:49:21 +01:00