FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

History for python_modules - ASSERT-KTH/Vecogen · GitHub

Commits

History for

Commits on May 13, 2026

Add configurable candidate ranking methods
Merlijn Sevenhuijsen
committed
a7e11d4

Commits on May 10, 2026

Make LLM provider selection explicit and update README examples
Merlijn Sevenhuijsen
committed
abd0a79

Commits on May 9, 2026

Resolve recurring merge conflicts in CLI parsing and dependency files
Merlijn Sevenhuijsen
committed
e7f4a21
Resolve leftover merge conflicts and restore documented CLI aliases
Merlijn Sevenhuijsen
committed
9ff6840
Removed git inconsistencies
SevenhuijsenM
committed
acd9899

Commits on Sep 15, 2025

Ignore commands.txt
Merlijn Sevenhuijsen
committed
98587ec
Added extra code to the tool, reformatted a lot of code
Merlijn Sevenhuijsen
committed
58de871

Commits on Dec 4, 2024

Delete CodeLlama.py
SevenhuijsenM
committed
c9de1ff
Anonimized docker container
SevenhuijsenM
committed
008f18c
Cleaning up for the docker, updated information printing
SevenhuijsenM
committed
4458fc0

Commits on Nov 25, 2024

Updated readme
SevenhuijsenM
committed
7785333
Updated API key usage, use LLama through API
SevenhuijsenM
committed
72ab690

Commits on Nov 14, 2024

Resolved issues, updated one formal spec
SevenhuijsenM
committed
ae2ea3b

Commits on Nov 11, 2024

updated formal specification, added timeouts to verifier and tester
SevenhuijsenM
committed
e31c8ea

Commits on Nov 9, 2024

resolved issue with inconsistent return of verify and test functino
SevenhuijsenM
committed
0db44d8
Update pipeline.py
SevenhuijsenM
committed
f03d41e
Removed unused files, added verification time metric
SevenhuijsenM
committed
0819efd

Commits on Nov 8, 2024

Commits on Nov 7, 2024

Updated pipeline and problems
SevenhuijsenM
committed
e4c4e63

Commits on Oct 10, 2024

Remove the filtering, added one loop problem
SevenhuijsenM
committed
19b134e

Commits on Sep 3, 2024

Added groq
SevenhuijsenM
committed
43f58ab
Updated function for token count
SevenhuijsenM
committed
8682079

Commits on Sep 1, 2024

upload commands for pushing & bug fix in codellama
SevenhuijsenM
committed
ac1350a
Removed images, updated formal spec input
SevenhuijsenM
committed
b142068

Commits on Jul 5, 2024

updated image, created docker
SevenhuijsenM
committed
d365519

Commits on Jul 2, 2024

updated plots
SevenhuijsenM
committed
65633ef

Commits on Jun 28, 2024

renamed notebook for merging
SevenhuijsenM
committed
7ef6eef

Commits on Jun 18, 2024

Updated packages, requires setup of frama-c
SevenhuijsenM
committed
872f117
Updated graphs, resolved issue for codellama
SevenhuijsenM
committed
5369448

Commits on Jun 17, 2024

Updated graphs, resolved two minor issues
SevenhuijsenM
committed
7fc1886

Commits on Jun 13, 2024

Merge branch 'main' of https://github.com/ASSERT-KTH/Vecogen
SevenhuijsenM
committed
0b8dd72
added notebook for graphs
SevenhuijsenM
committed
3644bfe

Commits on Jun 11, 2024

Abstracted LLM module
SevenhuijsenM
committed
c668db6
Added CodeLLama template
SevenhuijsenM
committed
d834038

Back | FazBrowse Home | New Git URL