Activity
From 14 May 2023 to 12 Jun 2023
25 May 2023
- 11:31 0.25 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
- 11:30 0.25 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
23 May 2023
- 19:09 0.25 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
- Export or not?
- 16:58 0.75 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
- 16:57 0.50 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
- 16:51 0.50 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
19 May 2023
- 22:05 0.10 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
- Timeout
- 22:03 0.25 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
- More suggestions
18 May 2023
16 May 2023
- 09:24 0.25 hour (Slug #967 (Resolved): Improve saturate)
- Better idea
15 May 2023
- 20:32 0.50 hour (Slug #967 (Resolved): Improve saturate)
- An idea
Also available in: Atom