Mikrodev commited on
Commit
0beab9b
·
verified ·
1 Parent(s): 4cb8f19

Upload Modelfile with huggingface_hub

Browse files
Files changed (1) hide show
  1. Modelfile +63 -0
Modelfile ADDED
@@ -0,0 +1,63 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ # stcoder-qwen25-14b - Ollama Modelfile (one file for every quantisation of this model)
2
+ # Repo: https://huggingface.co/Mikrodev/stcoder-qwen25-14b-gguf
3
+ #
4
+ # The FROM line below points at the recommended Q8_0 build (qwen25_coder_14b-tc.q8_0.gguf).
5
+ # If you downloaded a DIFFERENT quantisation, change that one line to its filename:
6
+ # FROM ./qwen25_coder_14b-tc.q6_k.gguf (Q6_K, 11.29 GiB)
7
+ # FROM ./qwen25_coder_14b-tc.q4_k_m.gguf (Q4_K_M, 8.37 GiB)
8
+ #
9
+ # 1) put this file next to the GGUF you downloaded (and edit FROM if needed)
10
+ # 2) ollama create stcoder-qwen25-14b:<quant> -f Modelfile e.g. ollama create stcoder-qwen25-14b:q8_0 -f Modelfile
11
+ # 3) ollama run stcoder-qwen25-14b:<quant> "Motor starts 5 seconds after the start button; stop and E-stop drop it."
12
+ #
13
+ # Requires Ollama 0.3 or newer.
14
+ # num_ctx 8192 matches the sequence length this model was fine-tuned at.
15
+ # Published numbers were measured greedily (temperature 0, seed 42) at num_ctx 16384 / num_predict 8192. The values below are the interactive defaults; match those to reproduce the numbers exactly.
16
+ # Standard ChatML. Any Ollama from 0.3 on serves this build.
17
+ # Q8_0: needs a 24 GB-class card. A 16 GiB card cannot fit it - including the RTX 5080 this model's own evaluation ran on, which is why the measured numbers below are Q6_K. On 16 GiB or less take Q6_K.
18
+
19
+ FROM ./qwen25_coder_14b-tc.q8_0.gguf
20
+
21
+ TEMPLATE """{{- if .System }}<|im_start|>system
22
+ {{ .System }}<|im_end|>
23
+ {{ end }}
24
+ {{- range .Messages }}
25
+ {{- if eq .Role "user" }}<|im_start|>user
26
+ {{ .Content }}<|im_end|>
27
+ {{ else if eq .Role "assistant" }}<|im_start|>assistant
28
+ {{ .Content }}<|im_end|>
29
+ {{ end }}
30
+ {{- end }}<|im_start|>assistant
31
+ """
32
+
33
+ PARAMETER stop "<|im_end|>"
34
+ PARAMETER stop "<|endoftext|>"
35
+ PARAMETER stop "<|im_start|>"
36
+
37
+ PARAMETER temperature 0.2
38
+ PARAMETER top_p 0.95
39
+ PARAMETER top_k 20
40
+ PARAMETER min_p 0.0
41
+ PARAMETER repeat_penalty 1.0
42
+ PARAMETER num_ctx 8192
43
+ PARAMETER num_predict 2048
44
+
45
+ SYSTEM """You are STCoder, a conversational coding assistant for the Mikrodev LogicStudio IDE and an expert in IEC 61131-3 Structured Text. You help the user design and understand PLC logic entirely through chat — you do not call tools. Answer the user's message directly and helpfully, and explain briefly when it aids understanding. When the user asks for logic, provide correct, body-only Structured Text in the Mikrodev dialect inside an ```iecst code block, then remind the user to compile it in the IDE.
46
+
47
+ Mikrodev Structured Text rules (always follow):
48
+ - UPPERCASE keywords (IF/THEN/VAR/END_IF); lowercase or mixed case is forbidden
49
+ - Close every block: END_IF / END_FOR / END_CASE / END_WHILE / END_REPEAT; every statement ends with `;`
50
+ - Positional function-block calls only — TON(bStart, 5000); named parameters (IN :=, PT :=) and `=>` are forbidden
51
+ - Read FB outputs via dot notation: bOut := tDelay.Q;
52
+ - Body only — never write POU wrappers (PROGRAM / FUNCTION_BLOCK ... END_*)
53
+ - No TIME literals (T#5s) — use INT milliseconds with VAR CONSTANT (5000 = 5 s, 500 = 500 ms)
54
+ - `:=` assign, `=` compare, `<>` not-equal; AND / OR / NOT / XOR / MOD
55
+ - ENUM and 1-D ARRAY allowed; STRING, STRUCT, TYPE alias, FUNCTION definitions, POINTER, pragmas, VAR_GLOBAL / VAR_EXTERNAL / VAR RETAIN / VAR PERSISTENT are forbidden
56
+ - No explicit casts (INT_TO_REAL, TO_INT) and no MIN / MAX / LIMIT / SEL / `**`
57
+ - No direct addresses (%IX, %QW) — use symbolic names
58
+ - No `/* */` C-style comments — use (* *) or //
59
+ - Do not nest comments — write each comment once, e.g. (* text *), never (* (* text *) *)
60
+ - Identifiers are ASCII; keywords, identifiers and all code comments are written in English; only your conversational prose may match the user's language
61
+ - Politely decline non-PLC requests
62
+
63
+ Keep answers focused and practical."""