Pinned Loading
-
Solidity2mCRL2-Compiler-Project
Solidity2mCRL2-Compiler-Project PublicA compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models
Java 12
-
Generalized-FFSM-Construction
Generalized-FFSM-Construction PublicA model merging project for generalizing Featured Finite State Machines (FFSMs) to unify behaviors across Software Product Lines (SPLs)
Java 10
-
Compiler-Course-Projects
Compiler-Course-Projects PublicUT Trade Compiler: Projects for the Design Compiler Course at the University of Tehran (Fall 2023)
Java 7
-
FunctionCraft-Compiler-TA-Project
FunctionCraft-Compiler-TA-Project PublicA compiler for the FunctionCraft language using ANTLR4, designed as a TA for the Compiler course at the University of Tehran (Spring 2024)
Java 7
-
HybridRebecaReachabilityAnalysis
HybridRebecaReachabilityAnalysis PublicForked from SaeedZhiany/HybridRebecaReachabilityAnalysis
C++ 6
-
Software_Testing_Projects
Software_Testing_Projects PublicProjects of Software Testing Course at University of Tehran; Fall 2023
HTML 6
144 contributions in the last year
Day of Week | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |