Commits · master · lvzhengyang / PropertyEmb · GitLab

28 Feb, 2026 5 commits
- implement the gen_data, train, and mine_properties executable by gemini 3.1 pro · bdc03b92
  lvzhengyang committed Feb 28, 2026
  
  bdc03b92 Browse Files
- refine the impl. according to Refinement.md and Property_Alignment_Objectuve.md · 3483b343
  lvzhengyang committed Feb 28, 2026
  
  3483b343 Browse Files
- add property alignment training · 165224f9
  lvzhengyang committed Feb 28, 2026
  
  165224f9 Browse Files
- impl. the train logic · ce346a35
  lvzhengyang committed Feb 28, 2026
  
  ce346a35 Browse Files
- update the command doc · d8d9890b
  lvzhengyang committed Feb 28, 2026
  
  d8d9890b Browse Files
27 Feb, 2026 5 commits
- add dataset builder · f4db720e
  lvzhengyang committed Feb 27, 2026
  
  f4db720e Browse Files
- aggregate the repo · da9db63a
  lvzhengyang committed Feb 27, 2026
  
  da9db63a Browse Files
- clean the cdfg tool dir · 4055a7ab
  lvzhengyang committed Feb 27, 2026
  
  4055a7ab Browse Files
- add a op support · 7404953b
  lvzhengyang committed Feb 27, 2026
  
  7404953b Browse Files
- add RTL2CDFG · 581d8f0f
  lvzhengyang committed Feb 27, 2026
  
  581d8f0f Browse Files
25 Feb, 2026 1 commit
- setup env and the fifo case · 4119eb3d
  lvzhengyang committed Feb 25, 2026
  
  4119eb3d Browse Files