Loading...
Loading...
Coding for 13 years.
99 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to master at Formal-Systems-Laboratory/fsl.cs.illinois.edu
February 4th, 2026 8:58 PM
Pushed to master at Formal-Systems-Laboratory/fsl.cs.illinois.edu
February 4th, 2026 4:28 PM
Pushed to master at Formal-Systems-Laboratory/fsl.cs.illinois.edu
January 30th, 2026 9:02 PM
Pushed to master at Formal-Systems-Laboratory/fsl.cs.illinois.edu
January 29th, 2026 9:40 PM
Pushed to master at Formal-Systems-Laboratory/fsl.cs.illinois.edu
January 28th, 2026 9:22 PM
Pushed to master at Formal-Systems-Laboratory/fsl.cs.illinois.edu
January 24th, 2026 1:33 PM
Pushed to master at Formal-Systems-Laboratory/fsl.cs.illinois.edu
January 24th, 2026 1:31 PM
Pushed to master at Formal-Systems-Laboratory/fsl.cs.illinois.edu
January 23rd, 2026 9:02 PM
Pushed to master at Formal-Systems-Laboratory/fsl.cs.illinois.edu
January 21st, 2026 8:59 PM
Pushed to master at Formal-Systems-Laboratory/fsl.cs.illinois.edu
January 21st, 2026 5:33 PM