Skip to content

Actions: VUISIS/formula

Actions

.NET

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dotnet.yml
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add 'noninteractive' command line argument .NET #210: Commit abc77ff pushed by balasub
November 6, 2024 20:40 4m 13s fix_noninteractive_issue
fix_noninteractive_issue
November 6, 2024 20:40 4m 13s
Merge pull request #65 from VUISIS/fix_counting_constraint_bug .NET #209: Commit 348a805 pushed by balasub
September 13, 2024 19:22 3m 24s master
master
September 13, 2024 19:22 3m 24s
Assert equality between all elements of intermediate comprehension te… .NET #208: Pull request #65 reopened by balasub
September 13, 2024 19:22 4m 3s fix_counting_constraint_bug
fix_counting_constraint_bug
September 13, 2024 19:22 4m 3s
Assert equality between all elements of intermediate comprehension te… .NET #207: Pull request #65 opened by balasub
September 13, 2024 19:21 5m 1s fix_counting_constraint_bug
fix_counting_constraint_bug
September 13, 2024 19:21 5m 1s
Assert equality between all elements of intermediate comprehension te… .NET #206: Commit 2d99d40 pushed by balasub
September 13, 2024 18:44 3m 58s fix_counting_constraint_bug
fix_counting_constraint_bug
September 13, 2024 18:44 3m 58s
Merge pull request #63 from VUISIS/fix_recursive_symbolic_constraints .NET #205: Commit 93b634d pushed by balasub
September 13, 2024 17:34 1m 21s master
master
September 13, 2024 17:34 1m 21s
Assert equality between user constants that unify to the same variabl… .NET #204: Pull request #63 opened by balasub
September 13, 2024 17:30 3m 40s fix_recursive_symbolic_constraints
fix_recursive_symbolic_constraints
September 13, 2024 17:30 3m 40s
replacing pm@~ .NET #203: Commit 8e7618d pushed by VeraZhang0311
July 9, 2024 20:15 3m 54s minSolution
minSolution
July 9, 2024 20:15 3m 54s
modified get constraints to have declarations and assertions .NET #202: Commit 6f9d2ee pushed by VeraZhang0311
July 8, 2024 16:34 4m 25s minSolution
minSolution
July 8, 2024 16:34 4m 25s
deleted unused code .NET #201: Commit 109d16d pushed by VeraZhang0311
July 3, 2024 19:47 4m 55s minSolution
minSolution
July 3, 2024 19:47 4m 55s
updated the message .NET #200: Commit 40a69bc pushed by VeraZhang0311
July 3, 2024 19:24 4m 44s minSolution
minSolution
July 3, 2024 19:24 4m 44s
try .NET #199: Commit 2d33653 pushed by VeraZhang0311
July 3, 2024 19:07 3m 27s minSolution
minSolution
July 3, 2024 19:07 3m 27s
trying to retrieve the solver .NET #198: Commit a0ff9d4 pushed by VeraZhang0311
July 3, 2024 17:51 1m 11s minSolution
minSolution
July 3, 2024 17:51 1m 11s
modified constraints for fetchConstraints .NET #197: Commit 57c9865 pushed by liy94
July 2, 2024 18:21 4m 57s minSolution
minSolution
July 2, 2024 18:21 4m 57s
test adding interface .NET #196: Commit 4e2807b pushed by VeraZhang0311
July 1, 2024 19:23 3m 54s minSolution
minSolution
July 1, 2024 19:23 3m 54s
declared DoFetchConstraints .NET #195: Commit 3efd12b pushed by liy94
July 1, 2024 17:25 4m 46s minSolution
minSolution
July 1, 2024 17:25 4m 46s
renamed msg variable .NET #194: Commit 2642a9f pushed by liy94
July 1, 2024 17:21 56s minSolution
minSolution
July 1, 2024 17:21 56s
fix syntax error. added command interface .NET #193: Commit babd40e pushed by liy94
July 1, 2024 17:18 50s minSolution
minSolution
July 1, 2024 17:18 50s
added commandInterface text description for FetchConstraints .NET #192: Commit ccb2009 pushed by liy94
July 1, 2024 17:08 1m 0s minSolution
minSolution
July 1, 2024 17:08 1m 0s
Merge pull request #60 from VUISIS/add-arm-builds .NET #191: Commit d9682fe pushed by VeraZhang0311
June 28, 2024 14:56 3m 20s minSolution
minSolution
June 28, 2024 14:56 3m 20s
Assert equality between user constants that unify to the same variabl… .NET #190: Commit e67da65 pushed by balasub
May 30, 2024 18:40 5m 21s fix_recursive_symbolic_constraints
fix_recursive_symbolic_constraints
May 30, 2024 18:40 5m 21s
Merge pull request #60 from VUISIS/add-arm-builds .NET #189: Commit d9682fe pushed by balasub
May 30, 2024 15:00 4m 21s master
master
May 30, 2024 15:00 4m 21s
Add arm builds .NET #188: Pull request #60 opened by liy94
May 29, 2024 21:03 4m 46s add-arm-builds
add-arm-builds
May 29, 2024 21:03 4m 46s
separate MacOS work from Ubuntu and Windows .NET #187: Commit 0364478 pushed by liy94
May 29, 2024 17:36 5m 59s add-arm-builds
add-arm-builds
May 29, 2024 17:36 5m 59s
temporarily remove macos .NET #186: Commit e2e7d24 pushed by liy94
May 29, 2024 17:24 6m 21s add-arm-builds
add-arm-builds
May 29, 2024 17:24 6m 21s