Skip to content

Actions: awslabs/typecart

Actions

.NET

Actions

Loading...

Show workflow options

Create status badge

dotnet.yml
137 workflow runs
137 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add a switch to turn off generating backward translation functions .NET #229: Commit c62fe18 pushed by xumingkuan
December 14, 2023 23:37 39s main
main
December 14, 2023 23:37 39s
Add instruction to run Cedar .NET #228: Commit f0d774b pushed by xumingkuan
December 12, 2023 19:04 40s main
main
December 12, 2023 19:04 40s
Add comment about alpha equality .NET #227: Commit 1bd454b pushed by xumingkuan
October 31, 2023 17:35 53s main
main
October 31, 2023 17:35 53s
Rename Combined to Proofs .NET #226: Commit 6c22ce6 pushed by xumingkuan
October 29, 2023 19:49 1m 2s main
main
October 29, 2023 19:49 1m 2s
Replace anonymous names with _ (preprocessing) .NET #225: Commit 0fa74c9 pushed by xumingkuan
October 25, 2023 05:41 48s main
main
October 25, 2023 05:41 48s
Ignore lemmas in the DiffAnalysis .NET #224: Commit 7306e28 pushed by xumingkuan
October 18, 2023 22:11 49s main
main
October 18, 2023 22:11 49s
Add some documentation .NET #223: Commit 31a08f5 pushed by xumingkuan
August 26, 2023 00:00 49s main
main
August 26, 2023 00:00 49s
Enter new scope in typedef .NET #222: Commit 4694bca pushed by xumingkuan
August 25, 2023 00:00 59s main
main
August 25, 2023 00:00 59s
Remove top-level indentation .NET #221: Commit 2b425e6 pushed by xumingkuan
August 24, 2023 23:51 48s main
main
August 24, 2023 23:51 48s
Support witness clause with an expression .NET #220: Commit 3aa9ad5 pushed by xumingkuan
August 24, 2023 23:27 59s main
main
August 24, 2023 23:27 59s
Do not include modules in dependency analysis .NET #219: Commit 733d695 pushed by xumingkuan
August 24, 2023 22:34 49s main
main
August 24, 2023 22:34 49s
Comments on witness clause and update tokens .NET #218: Commit 217f101 pushed by xumingkuan
August 24, 2023 21:50 1m 1s main
main
August 24, 2023 21:50 1m 1s
Add comments .NET #217: Commit 805ca73 pushed by xumingkuan
August 24, 2023 21:36 47s main
main
August 24, 2023 21:36 47s
Make it clear in the previous commit that we do not need to add paren… .NET #216: Commit 090a2cc pushed by xumingkuan
August 18, 2023 22:41 2m 27s main
main
August 18, 2023 22:41 2m 27s
Avoid excessive parentheses when we have an ==> chain .NET #215: Commit 3dd42f4 pushed by xumingkuan
August 18, 2023 22:40 48s main
main
August 18, 2023 22:40 48s
Avoid excessive parentheses when we have an && or || chain .NET #214: Commit 67cb09c pushed by xumingkuan
August 18, 2023 22:25 56s main
main
August 18, 2023 22:25 56s
Add flags to generate lemma calls and generate proofs .NET #213: Commit 95669a8 pushed by xumingkuan
August 17, 2023 22:11 48s main
main
August 17, 2023 22:11 48s
Support translation between functions and predicates; better format w… .NET #212: Commit c39ad8a pushed by xumingkuan
August 17, 2023 22:01 51s main
main
August 17, 2023 22:01 51s
Add indentation to multiline forall conditions .NET #211: Commit 420d820 pushed by xumingkuan
August 16, 2023 23:42 47s main
main
August 16, 2023 23:42 47s
Generate lemma calls in proof sketches (#36) .NET #210: Commit 809071a pushed by xumingkuan
August 16, 2023 21:10 55s main
main
August 16, 2023 21:10 55s
Generate lemma calls in proof sketches .NET #209: Pull request #36 opened by xumingkuan
August 16, 2023 21:08 1m 19s dev
dev
August 16, 2023 21:08 1m 19s
Fix paths in Combine .NET #208: Commit d04ae5b pushed by xumingkuan
August 16, 2023 01:13 48s main
main
August 16, 2023 01:13 48s
Fix a bug causing wrong path qualifier introduced in a561f98 .NET #207: Commit a980f42 pushed by xumingkuan
August 16, 2023 00:00 54s main
main
August 16, 2023 00:00 54s
Revert the dual change on function bc condition .NET #206: Commit d975014 pushed by xumingkuan
August 15, 2023 18:08 2m 31s main
main
August 15, 2023 18:08 2m 31s
Remove export sets because it's causing trouble to VSCode plugin and … .NET #205: Commit c93d77b pushed by xumingkuan
August 10, 2023 21:26 47s main
main
August 10, 2023 21:26 47s