elvis
0 Followers · 0 Following
  • Joined on 2025-11-04
Repositories
9
 Projects Packages Public Activity Starred Repositories
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-29 16:15:29 +01:00
c72bdbcde5 dont ignore emacs config files
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-29 16:13:26 +01:00
fae224c000 Removed useless readme
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-29 14:07:44 +01:00
b0a114f9db Presentation + pdf
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-29 14:06:00 +01:00
ffcc6aff95 moved to folder thesis
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-29 14:04:51 +01:00
7ab2814e85 year
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-26 13:18:52 +01:00
d3255e47c1 Fix
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-26 03:44:45 +01:00
fe9ef69bb6 Reduced number of errors
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-25 18:29:05 +01:00
f0cbdadde6 appendix, instroduction
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-25 16:01:38 +01:00
75822cd92d Fixes
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-20 14:32:07 +01:00
3aa60e6aef Makefile, pdf/a-3u
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-18 21:00:13 +01:00
c0e68adfd7 Index
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-18 17:51:23 +01:00
f4deb59180 Final
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-18 15:37:40 +01:00
4c0b8d55d2 Missing conclusion
elvis pushed to main at elvis/ReactionSystemsGUI 2025-11-18 15:36:53 +01:00
36e5acb1ad fix
elvis pushed to main at elvis/ReactionSystemsGUI 2025-11-18 11:06:55 +01:00
c77d4b095b Colors and Naming
elvis pushed to master at elvis/ReactionSystems 2025-11-17 04:13:52 +01:00
a85c372462 better tokens
elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-17 04:05:16 +01:00
e298bac6cd validation
elvis pushed to main at elvis/ReactionSystemsGUI 2025-11-16 03:29:40 +01:00
719fd3082b Formatter instead of debug
elvis pushed to master at elvis/ReactionSystems 2025-11-16 03:29:05 +01:00
9a7ecc54fa Formatting for graph printer functions
elvis pushed to main at elvis/ReactionSystemsGUI 2025-11-16 02:08:42 +01:00
06c7432610 added instruction to save the svg, renamed bisimilarity