Skip to content

Actions: Barnard-PL-Labs/tsltools

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
action.yml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

make sure all warns go to stderr build #196: Commit 0dc4e26 pushed by santolucito
August 12, 2024 17:30 5m 0s master
master
August 12, 2024 17:30 5m 0s
throw a warning and an error code on counterstrategy gen build #195: Commit a5f3691 pushed by santolucito
August 7, 2024 08:46 5m 6s master
master
August 7, 2024 08:46 5m 6s
we think this might implement counterstratgies generation, but still … build #194: Commit b253fa5 pushed by santolucito
August 6, 2024 09:15 4m 53s master
master
August 6, 2024 09:15 4m 53s
Merge branch 'master' of https://github.com/Barnard-PL-Labs/tsltools build #193: Commit ca03d58 pushed by santolucito
August 6, 2024 07:09 4m 57s master
master
August 6, 2024 07:09 4m 57s
update correct command build #192: Commit 59f6953 pushed by LeyiCui-Angel
June 28, 2024 16:41 4m 56s master
master
June 28, 2024 16:41 4m 56s
Codegen update (#75) build #191: Commit f62eb86 pushed by santolucito
April 19, 2024 22:21 4m 52s master
master
April 19, 2024 22:21 4m 52s
add currentState to the inputs and outputs of updateState build #190: Commit 2956168 pushed by leoqiao18
April 19, 2024 16:49 5m 3s codegen-function
codegen-function
April 19, 2024 16:49 5m 3s
change function name build #189: Commit 522efc2 pushed by leoqiao18
April 19, 2024 16:28 5m 10s codegen-function
codegen-function
April 19, 2024 16:28 5m 10s
update codegen to produce full function definition for javascript and… build #188: Commit 8dbc43d pushed by leoqiao18
April 18, 2024 02:27 4m 49s codegen-function
codegen-function
April 18, 2024 02:27 4m 49s
allow true and false in AST? (#73) build #187: Commit f665b2d pushed by santolucito
April 10, 2024 20:50 5m 9s master
master
April 10, 2024 20:50 5m 9s
allow true and false in AST? build #186: Commit 5144a92 pushed by santolucito
April 10, 2024 15:59 4m 54s codegen-update
codegen-update
April 10, 2024 15:59 4m 54s
fix precicate parser in CodeGen HOA parser (#71) build #185: Commit 57a1d89 pushed by leoqiao18
March 27, 2024 14:28 5m 32s master
master
March 27, 2024 14:28 5m 32s
refactor predicate parser in CodeGen HOA parser build #184: Commit 0eed7e6 pushed by leoqiao18
March 27, 2024 14:23 4m 52s fix-codegen-hoa-predicate-parser
fix-codegen-hoa-predicate-parser
March 27, 2024 14:23 4m 52s
fix precicate parser in CodeGen HOA parser build #183: Commit 95816b0 pushed by leoqiao18
March 27, 2024 14:14 5m 15s fix-codegen-hoa-predicate-parser
fix-codegen-hoa-predicate-parser
March 27, 2024 14:14 5m 15s
revert: wrong repo build #182: Commit d2f61d1 pushed by w14
March 25, 2024 22:19 4m 53s master
master
March 25, 2024 22:19 4m 53s
Example LLM pipelines: 4 steps (1) prompt (2) spec (3) synthesis (4) … build #181: Commit c25954a pushed by w14
March 25, 2024 22:13 4m 53s master
master
March 25, 2024 22:13 4m 53s
lowercase WARNING build #180: Commit 98b7455 pushed by leoqiao18
February 29, 2024 19:26 4m 49s master
master
February 29, 2024 19:26 4m 49s
add a WARNING prefix to warning messages build #179: Commit 129d61d pushed by leoqiao18
February 29, 2024 19:25 5m 3s master
master
February 29, 2024 19:25 5m 3s
warn about theory symbols in the case of no theory tag build #178: Commit 0846097 pushed by leoqiao18
February 29, 2024 19:23 4m 48s master
master
February 29, 2024 19:23 4m 48s
allow any symbol if we skip SYGUS build #177: Commit 6077f37 pushed by leoqiao18
February 29, 2024 16:15 4m 49s master
master
February 29, 2024 16:15 4m 49s
remove tmp solver logging build #176: Commit f5822b1 pushed by leoqiao18
February 20, 2024 18:27 5m 0s master
master
February 20, 2024 18:27 5m 0s
fix cvc5 location build #175: Commit 2861837 pushed by leoqiao18
February 20, 2024 18:19 4m 58s master
master
February 20, 2024 18:19 4m 58s
fix ModuloTheory tests build #174: Commit 9088740 pushed by leoqiao18
February 20, 2024 17:55 4m 51s master
master
February 20, 2024 17:55 4m 51s
try fixing cvc5 for stack test build #173: Commit ad9b0e0 pushed by leoqiao18
February 20, 2024 17:41 4m 54s master
master
February 20, 2024 17:41 4m 54s
restore ability to not specify a modulo theory build #172: Commit 9197a97 pushed by leoqiao18
February 20, 2024 17:24 25s master
master
February 20, 2024 17:24 25s