aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * Force _CoqProject generation and fix namespacesYann Herklotz2022-03-241-5/+2
| * Update makefile and remove _CoqProjectYann Herklotz2022-03-242-23/+11
| * Rename lit directoryYann Herklotz2022-03-249-16/+137
| * Rename changelogYann Herklotz2022-03-241-0/+0
| * Change origin of tangled filesYann Herklotz2022-03-239-22/+20
| * Create a few more org files about specific topicsYann Herklotz2022-03-233-1011/+1070
| * Add back equalitiesYann Herklotz2022-03-222-126/+117
| * Add first descriptions to org fileYann Herklotz2022-03-224-183/+199
| * Merge remote-tracking branch 'origin/dev/scheduling' into dev/schedulingYann Herklotz2022-03-220-0/+0
| |\
| | * Delete extra data files and scriptsYann Herklotz2022-03-1915-286/+6
| * | Add literate Coq fileYann Herklotz2022-03-224-9/+3287
| * | Add comments to allow for literate detanglingYann Herklotz2022-03-227-18/+362
| * | Add nops to partition generationYann Herklotz2022-03-221-4/+4
| * | Add to benchmark scriptYann Herklotz2022-03-221-36/+70
| * | Move forall_ptree into commonYann Herklotz2022-03-222-42/+43
| * | Fix proofs in Sat.vYann Herklotz2022-03-221-1/+1
| * | Remove main binaryYann Herklotz2022-03-221-0/+0
| * | Fix Makefiles in build and for benchmarksYann Herklotz2022-03-226-7/+17
| * | Add RTLBlockgenproofYann Herklotz2022-03-221-0/+52
| * | Delete extra data files and scriptsYann Herklotz2022-03-2216-286/+6
| |/
| * Update permissions and .gitignoreYann Herklotz2022-03-173-3/+11
| * Add a license to synthesis-resultsYann Herklotz2022-03-171-0/+15
| * Clean up scripts some moreYann Herklotz2022-03-176-40/+10
| * Update documentation filesYann Herklotz2022-03-178-35/+78
| * Remove more unnecessary scriptsYann Herklotz2022-03-173-133/+0
| * Add Makefile in scripts directoryYann Herklotz2022-03-171-0/+9
| * Rename into schemeYann Herklotz2022-03-171-1/+3
| * Add synthesis bash scriptsYann Herklotz2022-03-173-0/+86
| * Update copyright noticeYann Herklotz2022-03-171-1/+1
| * Add directory traversal to synthesise scriptYann Herklotz2022-03-171-18/+40
| * Add synthesis processing scriptYann Herklotz2022-03-171-0/+98
| * Start work on reverse if-conversionYann Herklotz2022-03-072-1/+84
| * Fix RAW dependency calculation for predicatesYann Herklotz2022-03-061-0/+3
| * Update links in READMEYann Herklotz2022-03-052-8/+8
| * Remove small customisations from license textYann Herklotz2022-03-051-3/+3
| * Add back proof of beq2_correctYann Herklotz2022-03-031-23/+76
| * Fix AbstrYann Herklotz2022-03-031-30/+17
| * Update Coq version to 8.14.1Yann Herklotz2022-03-027-86/+65
| * Rename IP using systemverilog extensionYann Herklotz2022-02-283-0/+0
| * Update .gitignoreYann Herklotz2022-02-281-66/+8
| * Add ptsets.ml library from CompCert for BourdoncleYann Herklotz2022-02-282-0/+791
| * Remove .envrc as it should be localYann Herklotz2022-02-271-1/+0
| * Update documentation linksYann Herklotz2022-02-274-11/+25
| * Update documentation generationYann Herklotz2022-02-2710-6/+1336
| * Final updates to the current documentationYann Herklotz2022-02-253-18/+18
| * Fix up some more documentationYann Herklotz2022-02-257-146/+68
| * Start converting commentsYann Herklotz2022-02-253-85/+45
| * Add more documentation and add coqdoc stylesheetYann Herklotz2022-02-256-3/+928
| * Add back pure documentationYann Herklotz2022-02-255-0/+1102
| * Delete docs submoduleYann Herklotz2022-02-242-3/+0
generated by cgit (git 2.34.1) at 2024-06-02 19:52:26 +0000