Juneyoung Lee
|
4b739dd6e4
|
Add more comments and fix broken proofs
|
2023-07-14 20:12:48 +00:00 |
|
Juneyoung Lee
|
34370c2c15
|
Merge pull request #3 from microsoft/users/GitHubPolicyService/582459da-1dd0-4168-a75b-bdd6bef95dc0
Adding Microsoft SECURITY.MD
|
2022-08-13 07:07:19 +09:00 |
microsoft-github-policy-service[bot]
|
9d93661d0a
|
Microsoft mandatory file
|
2022-08-12 19:19:08 +00:00 |
|
Juneyoung Lee
|
a21bfb90de
|
Use xargs -0 instead of --null
|
2019-04-21 03:05:36 +09:00 |
|
Juneyoung Lee
|
cdc18e16ec
|
Remove deprecated scripts
|
2019-02-08 09:00:21 +09:00 |
|
Juneyoung Lee
|
2c46ad7c5f
|
Remove TODOs, address the concerns at appropriate places
|
2019-02-08 07:52:51 +09:00 |
|
Juneyoung Lee
|
fda5e1d4a6
|
Add canonicalization of free variable types
|
2019-02-08 07:41:26 +09:00 |
|
Juneyoung Lee
|
d3adae072c
|
Reduce the size of proof
|
2019-02-08 07:41:22 +09:00 |
|
Juneyoung Lee
|
1bcfb96add
|
Let irtest_run take a random seed
|
2019-02-08 07:41:16 +09:00 |
|
aqjune
|
e744f08668
|
Update test scripts
|
2019-02-08 07:41:09 +09:00 |
|
Juneyoung Lee
|
a6dba0c6d0
|
Update README to explain run-irtest.sh
|
2019-02-08 07:41:02 +09:00 |
|
Juneyoung Lee
|
51a662647c
|
Minor fix
|
2019-02-08 07:40:57 +09:00 |
|
Juneyoung Lee
|
749741f7c7
|
Add verbose option to verifyopt
|
2019-02-08 07:40:49 +09:00 |
|
Juneyoung Lee
|
b3f858b399
|
Rename bigstep_exe/step_exe to bigstep/step
|
2019-02-08 07:40:45 +09:00 |
|
Juneyoung Lee
|
a8822290b9
|
Add never_poison
|
2019-02-08 07:39:45 +09:00 |
|
Juneyoung Lee
|
7f32644b73
|
Add simp to bop_isdiv, add a simple lemma
|
2019-02-08 07:38:50 +09:00 |
|
Juneyoung Lee
|
e4e64b7432
|
Implement irtest_run
|
2019-02-08 07:38:33 +09:00 |
|
aqjune
|
6112278d86
|
Update README.md, smt2_interface/mathlib commit id
|
2019-02-08 07:35:51 +09:00 |
|
Juneyoung Lee
|
bc1e5e41f4
|
Fix comments
|
2019-02-01 05:35:02 +09:00 |
|
aqjune
|
eddd12a153
|
Update run-alive.sh to generate all.opt
|
2019-02-01 05:35:02 +09:00 |
|
Juneyoung Lee
|
197f9f1556
|
Bump to Lean 3.4.2
|
2019-02-01 05:35:02 +09:00 |
|
Juneyoung Lee
|
f96639e7cf
|
Merge pull request #1 from aqjune/master
Update README.md
|
2018-05-17 17:57:40 +09:00 |
|
aqjune
|
2c39e53ab0
|
Update README.md
|
2018-05-17 17:51:46 +09:00 |
Nuno Lopes
|
4997aa7adf
|
license
|
2018-05-17 09:37:57 +01:00 |
|
Nuno Lopes
|
589e611e66
|
add copyright banner
|
2018-05-17 09:36:47 +01:00 |
|
Nuno Lopes
|
0112282889
|
update git revision of smt2_interface
|
2018-04-30 18:19:48 +01:00 |
Juneyoung Lee
|
22ee48175e
|
Initial commit
|
2018-04-27 17:47:06 +01:00 |
Microsoft Open Source
|
e456fec49b
|
Initial commit
|
2018-04-26 05:59:08 -07:00 |
|
Microsoft Open Source
|
67094bf4b0
|
Initial commit
|
2018-04-26 05:59:07 -07:00 |
Microsoft GitHub User
|
d1cb961d2f
|
Initial commit
|
2018-04-26 05:58:59 -07:00 |