Nit

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

Analyzed about 12 hours ago. based on code collected about 14 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 25, 2023 — Apr 25, 2024 Showing page 1 of 462 Search / Filter on:
Merge: doc: fixed some typos and other misc. corrections	Jean Privat	More...				about 2 years ago
doc: misc proofread	David Genois	More...				about 2 years ago
Merge pull request #2831 from Delja/contract_fix_error	Jean Privat	More...				over 3 years ago
tests: Add contract test	Delja	More...				over 3 years ago
src/contracts: Fix `null` omit argument error	Delja	More...				over 3 years ago
Merge: phase: Introduction of new hook method	Jean Privat	More...				almost 4 years ago
tests: Update nit test args	Florian Deljarry	More...				almost 4 years ago
nit: Add `run_global_phases` call	Florian Deljarry	More...				almost 4 years ago
erasure_compiler: Add contract phase dependency	Florian Deljarry	More...				almost 4 years ago
separate_compiler: Add contract phase dependency	Florian Deljarry	More...				almost 4 years ago
global_compiler: Add contract phase dependency	Florian Deljarry	More...				almost 4 years ago
abstract_compiler: Add import contract	Florian Deljarry	More...				almost 4 years ago
src/contracts: Modification of contract weaving	Florian Deljarry	More...				almost 4 years ago
Merge: Contract refactoring	Jean Privat	More...				almost 4 years ago
tests/sav: Update tests results	Florian Deljarry	More...				almost 4 years ago
contracts: Improvement contract implementation	Florian Deljarry	More...				almost 4 years ago
contracts: Modification contracts creation	Florian Deljarry	More...				almost 4 years ago
contracts: Remove `contract_name` property	Florian Deljarry	More...				almost 4 years ago
contracts: Update contracts declaration	Florian Deljarry	More...				almost 4 years ago
contracts: Remove useless return parameter	Florian Deljarry	More...				almost 4 years ago
Merge: Contract refactoring	Jean Privat	More...				almost 4 years ago
contracts: Improvement CallSiteVisitor	Florian Deljarry	More...				almost 4 years ago
Merge: Astbuilder improvement	Jean Privat	More...				almost 4 years ago
model/model_contract: Move contract model representation	Florian Deljarry	More...				almost 4 years ago
src/astbuilder: generalize `create_callsite`	Florian Deljarry	More...				almost 4 years ago
src/astbuilder: move `do_all` method in ASTBuilder	Florian Deljarry	More...				almost 4 years ago
Merge: Contract refactoring	Jean Privat	More...				almost 4 years ago
Merge: astbuilder: Introduction of new construction services	Jean Privat	More...				almost 4 years ago
Merge: modelize_property: Define a new API to modify AAttrPropdef	Jean Privat	More...				almost 4 years ago
Merge: typing: Add a mechanism to disable warnings	Jean Privat	More...				about 4 years ago

←
1
2
3
4
5
6
7
8
9
…
461
462
→