summaryrefslogtreecommitdiffhomepage
path: root/dev/examples/equiv/equiv.cc
AgeCommit message (Expand)Author
2025-11-24feat! breaking changes for OCL v1.0.48.Amlal El Mahrouss
2025-11-21feat: Using BSL now, final commit before the Cork release.Amlal El Mahrouss
2025-08-27feat: moved SOCL into OCL, without SNU's baggage.v1.0.41Amlal El Mahrouss
2025-07-26feat: SOCL v1.0.2, changelog soon!v1.0.2Amlal El Mahrouss